GCC如何处理全局变量与static同名变量的链接冲突？

这个问题的核心其实要从C语言的static关键字语义和GCC的编译链接流程两个层面来解释：

1. static全局变量的本质：内部链接属性 #

首先要明确：用static修饰的全局变量，它的链接属性是internal（内部链接），作用域仅限于当前编译单元（也就是它所在的.c文件）；而没有static的普通全局变量，链接属性是external（外部链接），作用域覆盖整个程序。

这意味着，在编译阶段（而非链接阶段），GCC就已经把file2.c里的static var标记为局部符号，不会暴露给链接器做全局符号解析。

2. GCC的符号处理机制 #

当GCC编译每个.c文件生成目标文件（.o）时：

• 对于file1.c里的普通全局变量var，会生成一个全局可见的符号，在目标文件里用大写的符号类型标识（比如用nm命令查看会显示0000000000000000 B var，B代表全局可读写数据）。
• 对于file2.c里的static var，会生成一个仅当前目标文件可见的局部符号，用小写的符号类型标识（比如nm file2.o会显示0000000000000000 b var，小写b代表局部可读写数据）。

链接器在处理多个目标文件时，只会对**全局符号（STB_GLOBAL类型）**进行统一解析和分配内存，而局部符号（STB_LOCAL类型）只会在各自的目标文件内被引用，完全不会和其他文件的同名符号产生冲突——它们本质上是两个完全独立的变量，拥有各自的内存地址。

3. 关于符号前缀的问题 #

GCC确实会对static变量的符号名做修饰，但这不是为了区分全局变量，而是为了保证同一编译单元内的符号唯一性（比如处理嵌套static变量的场景）。比如在file2.c里的static var，可能会被修饰成类似var.abc123这样的名字（具体修饰规则和GCC版本、编译选项有关），但核心是这个修饰后的符号是局部的，链接器不会把它和其他文件的全局var关联起来。

验证方法 #

你可以用nm命令查看两个目标文件的符号，直观确认差异：

# 查看file1.o的符号，var是全局符号
nm file1.o
# 输出示例：0000000000000000 B var

# 查看file2.o的符号，var是局部符号
nm file2.o
# 输出示例：0000000000000000 b var

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