4. 函数声明与定义分离：头文件的作用，多文件编程基础

好，咱们进入第四章。这一章讲的是多文件编程，说白了就是怎么把代码拆开，放到不同的文件里。很多初学者觉得这步无所谓，一个 main.c 写完拉倒。嗯，我当年也这么干过，直到项目代码超过 2000 行，找函数定义找到想砸键盘……

今天咱们就聊聊：为什么要把声明和定义分开？头文件到底在干嘛？

4.1 为什么需要分离？

先看一个最简单的例子。假设你写了一个加法函数：

// main.c
#include <stdio.h>

int add(int a, int b) {
    return a + b;
}

int main() {
    int result = add(3, 5);
    printf("%d\n", result);
    return 0;
}

这个文件里，add 函数的定义在 main 函数之前。如果我把 add 的定义放到 main 后面呢？

// main.c
#include <stdio.h>

int main() {
    int result = add(3, 5);  // 编译报错：add 未声明
    printf("%d\n", result);
    return 0;
}

int add(int a, int b) {
    return a + b;
}

编译器从上往下读，读到 main 里的 add 调用时，它还不知道 add 是什么东西。这时候就需要函数声明来提前告诉编译器：

// main.c
#include <stdio.h>

int add(int a, int b);  // 函数声明

int main() {
    int result = add(3, 5);
    printf("%d\n", result);
    return 0;
}

int add(int a, int b) {  // 函数定义
    return a + b;
}

这样就能编译通过了。但问题来了——如果我有 50 个函数，每个都要在文件开头写一遍声明？那文件开头就变成一堵声明墙了。

4.2 头文件到底长什么样？

头文件通常以 .h 结尾。里面放的是：函数声明、宏定义、类型定义、全局变量声明（extern）。

举个例子，把 add 函数拆出来：

// math_utils.h
#ifndef MATH_UTILS_H
#define MATH_UTILS_H

int add(int a, int b);
int subtract(int a, int b);

#endif

// math_utils.c
#include "math_utils.h"

int add(int a, int b) {
    return a + b;
}

int subtract(int a, int b) {
    return a - b;
}

// main.c
#include <stdio.h>
#include "math_utils.h"

int main() {
    printf("%d\n", add(3, 5));
    printf("%d\n", subtract(10, 4));
    return 0;
}

看到没？main.c 里只需要 #include "math_utils.h"，就能直接调用 add 和 subtract。编译器看到头文件里的声明，就知道这些函数存在，链接的时候再去找对应的 .c 文件里的定义。

4.3 头文件里的“三件套”：#ifndef / #define / #endif

你肯定注意到了头文件开头那三行：

#ifndef MATH_UTILS_H
#define MATH_UTILS_H
// ... 内容 ...
#endif

这叫头文件保护符（include guard）。作用是防止同一个头文件被多次包含。

为什么会多次包含？举个例子：

// a.h
#include "b.h"

// b.h
#include "a.h"

// main.c
#include "a.h"
#include "b.h"

如果没有保护符，a.h 包含 b.h，b.h 又包含 a.h……无限循环，编译器直接崩溃。有了保护符，第一次包含时定义 MATH_UTILS_H，第二次再遇到就直接跳过。

4.4 多文件编程的“潜规则”

我在项目里踩过不少坑，总结几条经验：

• 每个 .c 文件都要包含它自己的 .h 文件。比如 math_utils.c 第一行就是 #include "math_utils.h"。这样编译器能检查声明和定义是否一致。
• 不要在头文件里写函数定义。除非是 static inline 函数。否则多个 .c 文件包含同一个头文件，链接时会报重复定义。
• 全局变量用 extern 声明在头文件里，定义在 .c 文件里。

举个例子：

// config.h
#ifndef CONFIG_H
#define CONFIG_H

extern int debug_level;  // 声明，不分配内存

#endif

// config.c
#include "config.h"

int debug_level = 2;  // 定义，分配内存

// main.c
#include "config.h"

int main() {
    debug_level = 5;  // 可以访问
    return 0;
}

我曾经犯过一个错：在头文件里直接写了 int debug_level = 2;，结果两个 .c 文件都包含这个头文件，链接时报了重复定义。嗯，从那以后我再也不敢在头文件里定义变量了。

4.5 多文件编译：怎么把它们连起来？

假设你有三个文件：main.c、math_utils.c、math_utils.h。编译命令是：

gcc main.c math_utils.c -o program

或者分步编译：

gcc -c main.c          # 生成 main.o
gcc -c math_utils.c    # 生成 math_utils.o
gcc main.o math_utils.o -o program

分步编译的好处是：只修改了 math_utils.c，就只需要重新编译 math_utils.c，然后链接。大型项目里能省很多时间。

4.6 一张图看懂多文件编程

下面这张 SVG 图展示了多文件编程的核心流程：

从这张图可以看得很清楚：头文件是“桥梁”，它被 .c 文件包含，让编译器知道函数长什么样。然后每个 .c 文件单独编译成 .o 目标文件，最后链接成一个可执行文件。

4.7 避坑指南

最后分享几个我踩过的坑：

• 头文件里不要放变量定义。我前面说过了，血的教训。
• 函数声明和定义要一致。参数类型、返回值类型、参数个数，一个都不能错。我曾经把 int add(int a, int b) 声明成 int add(int a, int b, int c)，编译没报错，链接也没报错，运行时结果完全不对。查了三天才发现。
• 头文件保护符的名字别重复。两个不同的头文件用了同一个保护符名字，第二个头文件的内容会被编译器忽略。
• 别在头文件里写 #include <stdio.h> 这种系统头文件。除非你的头文件真的需要用到 printf 之类的函数。否则会增加编译时间，还可能引起命名冲突。

---