《CSAPP》符号解析

时间:2024-01-08 08:13:32

符号解析

链接器解析符号引用的方法是将每个引用与它输入的可重定位目标文件的符号表中的一个确定的符号定义联系起来。编译器只允许每个模块中每个本地符号只有一个定义。

对于全局符号,当编译器遇到一个不是在当前模块定义的符号时,它会假设该符号是在其他某个模块中定义的,生成一个链接器符号表条目,并把它交给链接器处理。如果链接器在它的所有输入模块都找不到这个符号,就会输出一条很难阅读的错误信息。

多重定义的全局符号:
编译器把全局变量分为两类:强符号和弱符号。
函数和已初始化的全局变量是强符号,未初始化的全局变量是弱符号。
Unix链接器根据以下规则来处理多重定义的符号:

  1. 不允许有多个强符号。
  2. 如果有一个强符号和多个弱符号,那么选择强符号。
  3. 如果有多个弱符号,那么任意选择一个。

例如:
《CSAPP》符号解析
链接错误,因为强符号main被定义了多次。

《CSAPP》符号解析
链接错误,强符号x被定义了两次。

《CSAPP》符号解析
编译成功,右侧x未初始化,为弱符号。左侧为强符号所以选择左侧。

《CSAPP》符号解析
编译成功,两个弱定义,任意选择一个。