计算机系统基础 链接器之符号和符号表

参考链接： 程序的链接(一)：链接的概述 https://www.jianshu.com/p/b7e44f749211 程序的链接(二)：ELF目标文件 https://www.jianshu.com/p/a90a3015b1e5 程序的链接(三)：符号和符号表 https://www.jianshu.com/p/bda60193808d 程序的链接(四)：静态链接 https://www.jianshu.com/p/7d13ec4735ba 程序的链接(五)：共享库和动态链接 https://www.jianshu.com/p/36bc5c84955b

链接的第一步就是符号的解析。要理解符号的解析过程，得先搞明白以下几点：

什么是符号 什么是符号的定义，什么是符号的引用 链接符号的类型有哪些，各自有什么特点 符号表的结构 链接器对符号的解析规则 下面就来一步步搞明白这些点。

符号就是其实程序中的变量名、函数名。 符号的定义和引用，可见下图： 注意：局部变量temp分配在栈中，不会在函数外部被引用，因此不是符号定义。

链接符号的类型

每个可重定位目标模块m都有一个符号表，它包含了在m中定义和引用的符号。有三种链接器符号：

Global symbols（模块内部定义的全局符号） 由模块m定义并能被其他模块引用的符号。例如，非static C函数和非static C全局变量 如，main.c 中的全局变量名buf

External symbols（外部定义的全局符号） 由其他模块定义并被模块m引用的全局符号 如，main.c 中的函数名swap

Local symbols（本模块的局部符号） 仅由模块m定义和引用的本地符号。例如，在模块m中定义的带static的C函数和全局变量 如，swap.c中的static变量名bufp1. 注意：链接器的局部符号不是指程序中的局部变量（分配在栈中的临时性变量），链接>器不关心这种局部变量

链接器的符号类型，示例如下： 目标文件中的符号表

目标文件的.symtab节记录着符号表信息，符号表示一个结构体数组，每个表项（16字节）的结构如下： 使用readelf -s 可查看目标文件的符号表信息，以上面的main.o和swap.o为例： 符号定义的本质

符号定义的本质是：指被分配了存储空间。如果是函数名则指代码所在区；如果是变量名则指其所在的静态数据区。 所有定义的符号的值就是其目标所在的首地址。 因此，符号的解析就是将符号引用和符号定义建立关联后，将引用符号的地址重定位为相关联的符号定义的地址。

全局符号的强、弱 全局符号有强、弱的特性。 强符号：函数名和已初始化的全局变量名是强符号。 弱符号：未初始化的全局变量名是弱符号。 举例如下： 链接器对符号的解析规则 符号解析时，只能有一个确定的定义（即每个符号仅占一处存储空间）。 所以，如果碰到符号存在多重定义时，就得有相应的处理规则：

Rule 1：强符号不能多次定义 强符号只能被定义一次，否则链接错误。

Rule 2：若一个符号被定义为一次强符号和多次弱符号，则按强符号定义为准。

Rule 3：若有多个弱符号定义，则任选其中一个。 使用命令 gcc -fno-common链接时，会告诉链接器在遇到多个弱定义的全局符号时输出一条警告信息。

下面是几个多重定义符号的解析示例： 关于全局符号的多重定义的问题：

尽量避免使用全局变量

一定要使用的话，就按以下规则使用 尽量使用本地变量（static） 全局变量要赋初值 外部全局变量要使用extern 多重定义全局变量会造成一些意想不到的错误，而且是默默发生的，编译系统不会警告，并会在程序执行很久后才能表现出来，且远离错误处。特别是在模块很多的大型软件中，这类错误很难修正。