一、链接器到底在忙什么？

说实话，很多学C语言的朋友，写了好几年代码，对链接器的理解还停留在「把.o文件拼在一起」。这其实是个误区。

我个人习惯把链接器比作「建筑工地的总包工头」。编译器呢？它只是砖厂，负责把每一块砖（源文件）烧好。但砖怎么砌、哪里放窗户、哪里走水管——这些活儿，全是链接器干的。

你想想看，我们写一个 printf("hello")，编译器根本不知道 printf 的代码在哪。它只是在目标文件里留了个记号：「这里缺一个函数，地址待定」。链接器拿到所有目标文件和库文件后，才开始真正干活：找到 printf 的实现，把地址填进去。

这就是链接器的核心任务：符号解析 和 重定位。

1.1 符号解析：谁定义了谁？

每个目标文件都会导出一些符号（函数名、全局变量名），也会引用一些符号。链接器要做的第一件事，就是检查所有引用的符号，有没有对应的定义。

我在项目中遇到过最典型的错误，就是「未定义的符号」。有一次我写了一个驱动库，忘了把某个底层函数编译进去，结果链接时报了一堆 undefined reference。当时排查了半天，最后发现是 Makefile 里少写了一个 .o 文件。

1.2 重定位：把地址填对

编译器编译每个源文件时，并不知道其他文件的内存布局。所以它只能生成「相对地址」或者「临时地址」。链接器拿到所有目标文件后，统一分配内存地址，然后回头修改那些临时地址——这个过程就叫重定位。

举个例子：

// file1.c
int global_var = 42;
void func() { ... }

// file2.c
extern int global_var;
void func();

int main() {
    func();
    return global_var;
}

编译后，file2.o 里调用 func() 的指令，地址是 0x00000000 这种占位符。链接器把 file1.o 和 file2.o 合并后，才知道 func 在最终可执行文件里的实际地址，然后回头把调用指令里的地址改掉。

二、静态链接 vs 动态链接

这是面试高频题，也是实际工程中必须做的选择。我直接说结论：没有绝对的好坏，只有合不合适的场景。

2.1 静态链接：把所有东西打包带走

静态链接会把所有用到的库函数代码，直接复制到最终的可执行文件里。你编译出一个 a.out，拿到任何一台同架构的机器上都能跑。

优点：

• 部署简单，不依赖外部库
• 启动速度快，不需要运行时加载
• 不会出现「DLL地狱」

缺点：

• 文件体积大（一个 hello world 静态链接可能几百 KB）
• 内存浪费（多个进程用同一个库，各自有一份副本）
• 更新麻烦（库有 bug？重新编译整个程序）

2.2 动态链接：按需加载，共享内存

动态链接的可执行文件里，只记录「我需要哪些库」和「库里的哪些函数」。程序启动时，操作系统负责把需要的 .so（Linux）或 .dll（Windows）加载到内存，然后链接器再做一次「运行时重定位」。

优点：

• 文件体积小
• 内存共享（系统里所有进程共用一份 libc.so）
• 更新灵活（替换库文件即可，不用重新编译程序）

缺点：

• 启动时有加载开销
• 可能出现「库版本不兼容」问题
• 部署时需要带上依赖的库

2.3 对比表格

特性	静态链接	动态链接
文件大小	大	小
内存占用	高（每个进程独立副本）	低（共享内存）
部署难度	低（单文件）	高（需带库文件）
更新维护	需重新编译	替换库文件即可
启动速度	快	稍慢（加载+重定位）
兼容性风险	低	高（版本冲突）

三、链接过程全景图

下面这张图，是我自己画的一个链接过程概览。从源文件到可执行文件，每一步发生了什么，一目了然。

四、链接器的工作细节

4.1 符号解析的规则

链接器解析符号时，遵循一套严格的规则。我总结成三点：

1. 强符号不重复：同一个强符号不能出现两次。否则报 multiple definition 错误。
2. 强符号优先：如果同时有强符号和弱符号，链接器选择强符号。
3. 弱符号可重复：多个弱符号可以共存，链接器任选一个（通常是第一个）。

4.2 重定位的类型

不同的 CPU 架构、不同的指令，重定位方式也不同。常见的有：

• 绝对重定位：直接把绝对地址写死。简单粗暴，但不利于位置无关代码。
• 相对重定位：计算当前指令和目标地址的偏移量。PIC（位置无关代码）就是靠这个实现的。
• GOT/PLT 重定位：动态链接专用的间接跳转机制。第一次调用时解析地址，后续直接跳转。

嗯，这里要注意：动态链接的重定位比静态链接复杂得多。因为它不仅要处理自己的地址，还要处理共享库的地址。而且共享库的加载地址是运行时才确定的——这就是为什么动态链接需要 GOT（全局偏移表）和 PLT（过程链接表）。

五、总结

链接器不是什么神秘的东西。说白了，它就是一个「地址修补工」。编译器把半成品交给它，它负责把所有的碎片拼成完整的可执行文件。

静态链接和动态链接的选择，本质上是在「部署便利性」和「资源效率」之间做权衡。我个人在开发工具链、命令行工具时偏好静态链接，省心。在开发大型服务端程序时用动态链接，方便热更新和内存共享。

至于符号解析和重定位，它们是链接器的两大核心能力。理解了这两个概念，你就能看懂链接器报错信息，也能写出更健壮的多文件程序。

---

公众号:蓝海资料掘金营，微信deep3321