linker如何解析多处定义的全局符号【读书摘记】

from：深入理解计算机系统

 

对于全局符号的引用解析，当编译器遇到一个不是在当前模块中定义的符号（变量或函数名）时，它会假设该符号是在其他某个模块中定义的，生成一个linker符号表表目，并把它交给linker处理。如果linker在它的任何输入模块中都找不到这个被引用的符号，它就输出一条错误信息并终止。

 

在编译时，编译器输出每个全局符号给汇编器，或者是强（strong），或者是弱（weak），而汇编器把这个小溪隐含地编码在可重定位目标文件的符号表里。函数和已初始化的的全局变量是强符号，未初始化的全局变量是弱符号。

 

unix linker使用下面的规则来处理多出定义的符号：

1. 不允许有多个强符号

2. 如果有一个强符号和多个弱符号，选择强符号

3. 如果有多个弱符号，那么从这些弱符号中任选一个