28、多文件编程：全局变量的extern声明与定义分离

多文件编程，说白了就是“分而治之”。

一个项目动辄几十万行代码，全塞在一个文件里？那维护起来简直是噩梦。我早年接手过一个遗留项目，一个.c文件两万多行，全局变量满天飞，改一个变量得全局搜索半天——嗯，那滋味，谁经历谁知道。

今天聊的extern声明与定义分离，就是多文件编程里最基础也最容易翻车的一环。

什么是“声明”与“定义”？

先搞清楚这两个概念，很多坑都是从这里开始的。

• 定义：告诉编译器“我要创建一个变量”，分配内存。比如 int g_counter = 0; 这就是定义。
• 声明：告诉编译器“这个变量存在，但它在别处定义”，不分配内存。比如 extern int g_counter; 这就是声明。

一个变量只能被定义一次（One Definition Rule），但可以被声明无数次。这个规则，C语言标准写得明明白白。

典型做法：定义与声明分离

我个人习惯这样组织代码：

// ========== module_a.c ==========
#include "module_a.h"

// 定义全局变量
int g_system_status = 0;
int g_error_code = -1;

void set_status(int status) {
    g_system_status = status;
}

// ========== module_a.h ==========
#ifndef MODULE_A_H
#define MODULE_A_H

// 声明全局变量（注意extern关键字）
extern int g_system_status;
extern int g_error_code;

void set_status(int status);

#endif

// ========== main.c ==========
#include "module_a.h"
#include <stdio.h>

int main() {
    g_system_status = 1;  // 通过声明访问定义
    printf("Status: %d\n", g_system_status);
    return 0;
}

你看，g_system_status 只在 module_a.c 里定义了一次，但 main.c 通过包含 module_a.h 拿到了它的声明，就能正常使用了。

常见的坑：重复定义

我曾经见过一个项目，新手把全局变量定义写在了头文件里：

// ========== bad_example.h ==========
#ifndef BAD_EXAMPLE_H
#define BAD_EXAMPLE_H

int g_shared_flag = 0;  // 这是定义，不是声明！

#endif

然后两个.c文件都包含了这个头文件。链接的时候，编译器报错：multiple definition of 'g_shared_flag'。

为什么会这样？因为每个包含该头文件的.c文件都会生成一个 g_shared_flag 的定义，链接器发现多个定义，直接罢工。

避坑指南：我曾经踩过的雷

• extern关键字不能少：在头文件里声明变量时，extern 必须写。漏掉它，就变成了定义，重复包含就出问题。
• 定义时不要加extern：在.c文件里定义变量时，extern 是多余的，甚至在某些编译器下会引发警告。
• 初始化只能放在定义处：extern int g_val = 5; 这种写法是错的——extern声明不能带初始化值。
• static全局变量要小心：如果某个全局变量只在本文件内使用，加 static 限制作用域。这时候不要在头文件里extern它，其他文件根本不该知道它的存在。

// module_a.h
extern int g_system_status;  // 定义于 module_a.c，表示系统当前运行状态

知识体系图：extern声明与定义分离的核心逻辑

下面这张图帮你理清整个流程：

总结一下

extern声明与定义分离，说白了就是“一处定义，多处声明”。

• 定义在.c，声明在.h，其他文件包含.h来用。
• 头文件里永远不要写变量定义，只写extern声明。
• static全局变量不要extern出去，它只属于本文件。

做到这几点，多文件编程的全局变量管理就不会出大乱子。我见过太多项目因为这个问题在链接阶段翻车，其实只要养成这个习惯，就能省下大量调试时间。