在C语言中可使用extern标识符时，为何仍需要头文件？

• 避免重复劳动与拼写错误
  要是每个用到外部符号的文件都手动写extern声明，不仅要重复敲类型、变量名/函数签名，还很容易写错——比如把int写成long，或者函数参数个数、类型写错。这种错误编译和链接阶段都查不出来，要到运行时才暴露，排查起来特别费劲。头文件只需要写一次声明，所有用到的文件直接包含就行，既省事儿又能保证一致性。

• 编译期类型校验
  extern只是告诉编译器“这个符号在别处定义了”，但不会校验你使用的类型和实际定义是否匹配。比如在a.c里定义int total = 10;，在b.c里写extern long total;，编译和链接都能通过，但运行时会因为类型不匹配出现诡异问题。头文件里的声明和源文件的定义严格一致，编译器在编译阶段就能检查出类型不匹配的错误，提前把问题扼杀在摇篮里。

• 统一接口与可读性
  头文件相当于模块的“使用说明书”，别人看头文件就能快速知道这个模块对外提供了哪些函数、变量，以及它们的参数、返回值类型。如果全靠extern手动声明，团队协作或者新人接手时，根本不知道有哪些可用的符号，也不知道正确的使用方式，很容易用错。

• 支持复杂类型与宏定义
  要是你定义了自定义结构体、枚举或者宏，不用头文件的话，每个用到的文件都得重新定义一遍这些类型或宏，不然编译器根本识别不了。比如你在a.c里写typedef struct { int x; int y; } Point;，在b.c里要使用extern Point p;，就得先在b.c里再写一遍这个结构体定义，不仅重复，还容易出现定义不一致的情况。头文件能把这些复杂类型、宏统一管理，所有文件包含头文件就能直接用。

内容的提问来源于stack exchange，提问作者Now.Zero