在头文件声明extern变量与仅在C文件定义的差异探究

嘿，这个问题问到点子上了——extern的细节确实容易让人绕晕，我来给你掰扯清楚这两种全局变量设置方式的核心差异！

1. 带one.h的规范写法 #

先还原一下你最初的合理代码场景：one.h里写了extern int g_val;，one.c里定义int g_val = 10;，然后two.c和main.c都通过#include "one.h"来使用这个变量。这种写法的核心是声明与定义严格分离：

• one.h里的extern int g_val;是全局变量的声明：它只是告诉编译器“这个变量在其他文件里已经被定义了，你不用为它分配内存，直接用就行”，相当于给编译器一个“提前通知”。
• one.c里的int g_val = 10;是定义：这一步才是真正在内存里开辟空间、初始化变量的操作。
• 这种写法的好处：
  • 类型安全：所有包含one.h的文件都会拿到一致的变量类型声明，如果有人在某个文件里误把g_val当成float用，编译器会直接报错，避免运行时的诡异问题。
  • 可维护性拉满：以后要是想把变量类型改成long，只需要修改one.h里的声明，所有引用它的文件都会自动同步，不用逐个文件去改。

2. 空one.h的“侥幸”写法 #

当你把one.h设为空后程序还能正常跑，本质是依赖了C语言旧标准（C89）的隐式声明特性：

• 当main.c或two.c里直接使用g_val但没有提前声明时，老版本的C编译器会默认假设这是一个extern int类型的变量——相当于编译器自动给你补了一句extern int g_val;。
• 但这种写法全是坑：
  • 完全没有类型检查：如果哪天你把one.c里的g_val改成long g_val = 10;，其他文件还是按int来用，编译器不会报错，运行时可能出现数值截断或者未定义行为，排查起来巨麻烦。
  • 可读性为0：其他接手代码的人看到g_val根本不知道它是哪里来的，得翻遍所有文件找定义，维护成本直线上升。
  • 编译器兼容性差：C99及以后的标准已经彻底废除了隐式声明，如果你用gcc -std=c99 main.c one.c two.c这种方式编译，编译器会直接抛出“implicit declaration of variable 'g_val'”的错误，根本过不了编译。

为啥两种情况都能输出10？ #

不管是显式通过one.h声明，还是隐式让编译器补声明，最终链接器都会找到one.c里定义的int g_val = 10，所以运行时都能正确拿到值。但后者是不规范的“钻空子”行为，绝对不是推荐的写法。

内容的提问来源于stack exchange，提问作者J. Arrillaga