包含头文件是否可免除C语言中extern声明的需求？

核心结论 #

常规做法不是规避extern声明的需求，而是把分散在多个源文件中的extern声明集中到头文件统一管理，本质上还是依赖extern来建立变量的跨文件关联。

关键概念区分 #

• 变量定义：比如int global_var;，负责给变量分配内存，整个程序中只能出现一次，否则链接时会报重复定义错误。
• 变量声明：比如extern int global_var;，仅告知编译器“这个变量在其他源文件中定义，我这里只是使用它”，不会分配内存，一个变量可以有多次声明。

头文件的实际作用 #

头文件里存放的是变量的extern声明（以及函数声明，函数声明默认带有extern属性），而非变量定义。

• 当你在file2、file3中#include "xxx.h"时，预处理器会把头文件的内容直接复制到当前源文件中，相当于自动插入了extern int global_var;，和你手动在每个源文件里写extern声明的效果完全一致。
• 注意：如果头文件里直接写int global_var;（不带extern），那就是定义了，多个源文件包含这个头文件时，会出现重复定义的链接错误，所以头文件里必须用extern做声明，再配合头文件保护（比如#ifndef ... #define ... #endif）防止重复包含。

不用头文件的场景 #

如果不使用头文件，那么在file2、file3中必须手动添加extern声明，否则编译阶段编译器不知道该变量的类型（现代C标准会直接报错，旧标准会默认当作int类型处理，容易引发类型不匹配问题），链接阶段也无法正确找到变量的定义位置。

编译链接流程补充 #

• 编译阶段：每个源文件独立编译成目标文件（.o），编译器只处理当前源文件的内容。如果当前源文件没有声明外部变量，编译器无法识别该变量的类型，会直接报错或做错误的默认处理，这时候必须用extern声明来告知编译器变量的类型和存在性。
• 链接阶段：链接器将所有目标文件合并成可执行文件，会为每个extern声明寻找对应的变量定义，找不到就会报“未定义引用”错误。

内容的提问来源于stack exchange，提问作者EE18