C语言多文件中全局变量带/不带初始化的编译差异问询

核心概念：强符号与弱符号 #

C语言编译器会把全局变量分为两类：

• 强符号：带有显式初始化的全局变量（比如int a = 10;），这类符号代表明确的变量定义，有确定的初始值。
• 弱符号：未初始化的全局变量（比如int a;），这类符号属于“暂定定义”，默认初始值为0，且允许在多个文件中存在。

链接器的处理规则 #

链接器在合并多个目标文件时，会遵循以下核心规则：

1. 多个强符号冲突：如果同一个全局符号在多个文件中都被定义为强符号（即都有显式初始化），链接器会直接抛出「multiple definition」错误。因为链接器无法判断应该采用哪个定义的初始值，这违反了C语言中全局变量唯一定义的原则。
   对应你第一个场景：file1.c和file2.c中的int a = 10;、int a = 20;都是强符号，触发链接错误。

2. 多个弱符号共存：如果同一个全局符号在多个文件中都是弱符号（未初始化），链接器会自动合并这些符号，最终只生成一个全局变量实例，默认初始化为0，不会报错。
   对应你第二个场景：两个文件中的int a;都是弱符号，链接器合并后正常生成可执行文件。

3. 强符号覆盖弱符号：如果同一个符号既有强符号又有弱符号，链接器会优先采用强符号的定义，弱符号会被忽略，不会产生错误。比如file1.c定义int a =10;（强符号），file2.c定义int a;（弱符号），最终程序中a的值为10。

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