7、静态链接(上)：链接器的工作原理，符号解析与重定位的核心机制
说到链接器，很多同学觉得它就是个「搬运工」——把目标文件拼在一起就完事了。说实话，我当年刚入行时也是这么想的。直到有一次，我负责一个嵌入式项目，代码量不大，但链接死活过不去，报了一堆莫名其妙的「重定位截断」错误。那时候我才意识到，链接器远比你想象的要聪明，也远比你想象的要「死板」。
今天我们就来扒一扒链接器的底裤。看看它到底是怎么工作的，符号解析和重定位这两个核心机制又是怎么回事。
7.1 链接器到底在干什么？
你写了一个 main.c，里面调用了 foo() 函数，而 foo() 定义在 bar.c 里。编译器编译 main.c 时，它只知道「我要调用 foo，但 foo 在哪？我不知道」。于是它就在目标文件里留了个占位符，写着「这里需要 foo 的地址，谁来帮我填一下」。
链接器就是来填这个坑的。
它的核心任务就两个：
- 符号解析：把每个目标文件里「引用了但没定义」的符号，找到它的定义位置。
- 重定位：把那些占位符，替换成真正的内存地址。
说白了，编译器负责「翻译」，链接器负责「拼图」。没有链接器，你的代码就是一堆散落的拼图块，永远跑不起来。
核心理解： 链接器不关心你的代码逻辑，它只关心「符号」——函数名、全局变量名。它像是一个大型的「符号寻人启事」系统。
7.2 符号解析：一场「寻人启事」
每个目标文件（.o 文件）里都有两个符号表：
- 导出符号表：这个文件「提供了」哪些符号（比如定义的函数、全局变量）。
- 导入符号表：这个文件「需要」哪些符号（比如调用了外部函数）。
链接器拿到一堆 .o 文件后，它会遍历所有导入符号，去所有导出符号表里找匹配项。找到了，就记录下这个符号的「最终地址」；找不到，就报「未定义引用」错误。
嗯，这里要注意：符号解析不是简单的名字匹配。C++ 里还有名字修饰（name mangling）的问题。我记得有一次，一个同事在 C++ 代码里声明了一个 extern "C" 的函数，但实现文件忘了加，结果链接器死活找不到符号。查了半天，原来是 C++ 编译器把函数名给「装饰」了，而 C 链接器不认识这个装饰后的名字。
避坑指南： 我曾经在一个大型项目中，因为两个 .o 文件定义了同名的全局变量，导致链接器只取了其中一个，另一个模块里的值被静默覆盖了。这种 bug 极难排查。所以，全局变量尽量加 static 或者放到匿名命名空间里。
7.3 重定位：填坑的艺术
符号解析完成后，链接器知道了每个符号的最终地址。但目标文件里的指令，用的还是「相对地址」或者「临时地址」。比如：
// 编译后的汇编片段（伪代码）
call foo // 这里的 foo 地址是 0x00000000，占位符链接器需要把这个占位符，改成真正的地址。这个过程就叫重定位。
重定位的核心是「重定位表」。每个目标文件里都有一张表，记录了哪些位置需要修改，以及怎么修改。常见的重定位类型有：
| 重定位类型 | 含义 | 示例 |
|---|---|---|
| R_X86_64_PC32 | 相对寻址，计算当前指令到目标符号的偏移 | 函数调用 call |
| R_X86_64_32 | 绝对寻址，直接填入目标符号的地址 | 全局变量访问 mov |
| R_X86_64_GOTPCREL | 通过 GOT 表间接寻址（动态链接用） | 共享库函数调用 |
我个人习惯把重定位理解为「打补丁」。链接器拿着重定位表，挨个给目标文件打补丁。每个补丁的「打法」都不同——有的是相对偏移，有的是绝对地址，有的还要考虑对齐。
7.4 链接器的工作流程（一张图说清楚）
下面这张图，是我自己画的一个简化版链接器工作流程。你仔细看一遍，基本就能理解全貌了。
你看，整个过程其实就三步。但每一步都有很多细节。比如段合并时，不同目标文件的 .text 段怎么对齐？全局符号表里如果有重复定义怎么办？这些我们后面会细讲。
7.5 静态链接 vs 动态链接
这里简单提一嘴。静态链接是把所有代码都打包进最终的可执行文件里。好处是部署简单，不依赖外部环境。坏处是文件体积大，而且如果公共库有更新，你得重新链接。
动态链接则是在运行时才加载共享库。我个人的经验是：对于大型项目，动态链接是更好的选择。但要注意，动态链接引入了额外的复杂度——比如符号冲突、加载顺序问题。我曾经在一个项目中，因为两个动态库导出了同名函数，导致程序崩溃在启动阶段，查了整整两天。
警告： 静态链接时，如果多个目标文件定义了同名的全局变量（非 static），链接器会报「多重定义」错误。但有一种特殊情况：如果一个变量在多个文件中都定义了，且没有初始化，某些链接器会静默合并它们。这是未定义行为，千万不要依赖它。
7.6 链接脚本：链接器的「配置文件」
你可能不知道，链接器其实是可以「编程」的。通过链接脚本（linker script），你可以控制段的布局、地址的分配、甚至插入自定义段。
比如在嵌入式开发中，我们经常需要把代码放到特定的内存地址：
/* 简单的链接脚本示例 */
SECTIONS
{
. = 0x10000; /* 起始地址 */
.text : { *(.text) } /* 所有 .text 段放这里 */
.data : { *(.data) } /* 所有 .data 段放这里 */
.bss : { *(.bss) } /* 所有 .bss 段放这里 */
}说实话，链接脚本平时用得不多。但一旦你需要做 bootloader、内核模块、或者某些特殊的内存映射，链接脚本就是你的救命稻草。我记得有一次做 ARM 裸机开发，就是因为链接脚本里少写了一个对齐指令，导致中断向量表错位，程序一跑就飞。
7.7 小结
静态链接的本质，就是「符号解析 + 重定位」。链接器不关心你的代码逻辑，它只关心符号的「供需关系」。理解了这一点，你就掌握了链接器的核心。
下一节我们会深入重定位的细节，看看不同的重定位类型到底是怎么计算的。还会聊聊链接器优化——比如为什么链接器能帮你消除未使用的代码（gc-sections）。
公众号:蓝海资料掘金营，微信deep3321