1、如果有多个重名的强符号,则报错。
2、如果有一个强符号,多个弱符号,则以强符号为准。
3、如果没有强符号,但有多个重名的弱符号,则任选一个弱符号。
基于以上规则看下面的程序:(编译器为gcc 3.4.6, VC下结果不一样)
main.cpp: int x; void foo(); int main(int argc, char* argv[]) { printf("x1:%d\n", x); foo(); printf("x2:%d\n", x); return 0; } var.cpp: int x; void foo() { x = 2; } |
因为两个文件里面的x都被初始化了,所以编译出来的两个目标文件里x都是强符号,连接的时候会报错:
multiple definition of `x'
符合规则1。
把var.cpp里面的int x = 0;改成 int x; 不做初始化,编译、连接无任何警告,运行结果为:
x:1
x:2
说明连接的时候以main.cpp中的x为准,foo函数修改的是main.cpp中定义的x。符合规则2。
把main.cpp中的初始化也去掉,改成 int x; 编译、连接仍然很顺利,运行结果为:
x:1
x:2
说明main函数和foo函数修改的是同一个x,连接器自己选择了一个x,符合规则3.
大部分情况下,我们不希望连接器为我们做决定,所以我不是很认同后两个规则,至少应该给个警告,而不应该安静地通过。
也许写var.cpp的人根本不知道main.cpp里面也有一个x呢,foo函数的本意也许并不是要修改main.cpp中的x。因为这种问题引起的bug会很难查。
所以我们要尽量把全局变量初始化,对于不想给别的文件引用的变量,也尽量用static修饰。
除了连接时的表现不一样外,为初始化的符号在目标文件的bss段中,而初始化的符号在data段中。