C语言头文件全局变量无初始化可编译、初始化报多重定义问题

这个现象的核心是C语言标准中**试探性定义（Tentative Definition）**的规则和全局符号的强弱链接规则差异导致的。

两种全局变量声明的差异 #

• 未初始化的全局声明 int my_var;
  这种没有显式初始化的全局变量声明属于C标准规定的试探性定义：如果单个编译单元（预处理完成后的单个.c文件）内没有找到该变量的带显式初始化的定义，编译器会将这个试探性定义转换为默认初始化为0的公共弱符号。链接器处理多个目标文件的同名弱符号时，会自动合并为唯一的全局变量实例，因此不会触发重定义报错。

• 带显式初始化的全局声明 int my_var = 0;
  只要添加了显式初始化，这个语句就不再是试探性定义，而是强定义。每一个包含该头文件的.c文件在预处理展开后，都会独立生成一个my_var的强符号。C语言的链接规则要求全局范围内同一个强符号只能存在一个定义，因此链接阶段会直接抛出重复定义的错误。

你遇到的报错实际是链接阶段而非编译阶段抛出的，错误信息中提到的testfile.o就是已经编译完成的目标文件，报错发生在多个目标文件合并链接的环节。

标准实现方案 #

如果需要跨文件共享全局变量，正确的实现方式为：

1. 头文件中仅放置外部声明，不产生实际的符号定义：

#ifndef INC_MAIN_H_
#define INC_MAIN_H_

extern int my_var;

#endif 

2. 在任意一个对应的.c源文件中放置唯一的定义：

// 可放在任意一个.c文件中，整个程序仅保留这一处定义即可
int my_var = 0;

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