链接器如何解析在多个位置定义的全局符号（）

在编译时, 编译器将每个全局符号以强或弱形式导出到汇编器, 并且汇编器在可重定位目标文件的符号表中隐式编码此信息。函数和初始化的全局变量会获得强符号。未初始化的全局变量会得到弱符号。
对于以下示例程序, buf, bufp0, main和swap是强符号； bufp1是一个弱符号。

/* main.c */ void swap(); int buf[2] = {1, 2}; int main() { swap(); return 0; }/* swap.c */ extern int buf[]; int *bufp0 = & buf[0]; int *bufp1; void swap() { int temp; bufp1 = & buf[1]; temp = *bufp0; *bufp0 = *bufp1; *bufp1 = temp; }

考虑到强符号和弱符号的概念, Unix链接器使用以下规则来处理多个定义的符号：
【链接器如何解析在多个位置定义的全局符号（）】规则1：
不允许使用多个强符号(具有相同的变量名)。
规则2：
给定一个强符号和多个弱符号, 请选择强符号。
规则三：
给定多个弱符号, 请选择任意弱符号。
例如, 假设我们尝试编译并链接以下两个C模块：

/* foo1.c */ int main() { return 0; }/* bar1.c */ int main() { return 0; }

在这种情况下, 链接器将生成错误消息, 因为强符号main被多次定义(规则1)：

$ gcc foo1.c bar1.c /tmp/cca015022.o: In function ‘main’: /tmp/cca015022.o(.text+0x0): multiple definition of ‘main’ /tmp/cca015021.o(.text+0x0): first defined here

同样, 链接器将为以下模块生成错误消息, 因为强符号x被定义了两次(规则1)：

/* foo2.c */ int x = 15213; int main() { return 0; }/* bar2.c */ int x = 15213; void f() { }

但是, 如果x在一个模块中未初始化, 则链接器将安静地选择在另一个模块中定义的强符号(规则2), 如以下程序所示：

/* foo3.c */ #include < stdio.h> void f( void ); int x = 15213; int main() { f(); printf ( "x = %d\n" , x); return 0; }/* bar3.c */ int x; void f() { x = 15212; }

在运行时, 函数f()将x的值从15213更改为15212, 这对于函数main的作者可能是不受欢迎的！请注意, 链接器通常不表示已检测到x的多个定义。

$ gcc -o gfg foo3.c bar3.c $ ./gfg x = 15212

如果x的两个弱定义(, 规则3)：

/*a.c*/ #include < stdio.h> void b( void ); int x; int main() { x = 2016; b(); printf ( "x = %d " , x); return 0; } /*b.c*/ #include < stdio.h> int x; void b() { x = 2017; }

规则2和3的适用：可能会引入一些难以理解的程序员难以理解的隐蔽运行时错误, 尤其是在重复的符号定义具有不同类型的情况下。
示例：” x” 在一个模块中定义为int, 在另一个模块中定义为double。

/*a.c*/ #include < stdio.h> void b( void ); int x = 2016; int y = 2017; int main() { b(); printf ( "x = 0x%x y = 0x%x \n" , x, y); return 0; } /*b.c*/ double x; void b() { x = -0.0; }

执行：

$ gcc a.c b.c -o srcmini $ ./srcmini x = 0x0 y = 0x80000000

这是一个微妙而令人讨厌的错误, 尤其是因为它是无提示地发生的, 没有来自编译系统的警告, 并且因为它通常在程序执行的更晚时显现出来, 并且远离发生错误的地方。在具有数百个模块的大型系统中, 此类错误极难修复, 尤其是因为许多程序员并不了解链接器的工作方式。如有疑问, 请使用诸如gcc -fno-common标志之类的标志调用链接器, 如果遇到多个已定义的全局符号, 该标志将触发错误。
资料来源：http://csapp.cs.cmu.edu/public/ch7-preview.pdf
如果发现任何不正确的地方, 或者想分享有关上述主题的更多信息, 请写评论。