1. 链接基础：什么是链接、静态链接与动态链接的区别、链接器的工作流程

大家好，我是你们的老朋友，一个在构建系统里摸爬滚打了十几年的工程师。今天咱们来聊聊链接这件事。

说实话，我刚入行那会儿，觉得链接就是个「黑盒」。代码写好了，编译通过，链接一下，啪，一个可执行文件出来了。至于中间发生了什么？嗯，没怎么想过。直到有一次，我花了一整个通宵去追一个莫名其妙的崩溃——最后发现是链接顺序搞错了。从那以后，我再也不敢小看链接器了。

好，咱们正式开始。

1.1 什么是链接？

链接，说白了就是把一堆零散的「零件」拼成一个完整的「机器」。

你写代码的时候，通常不会把所有东西都塞到一个文件里。你会分模块：main.c、utils.c、network.c……每个文件编译后生成一个目标文件（.o 或 .obj）。这些目标文件里，有的函数调用了别的文件里的函数，有的变量引用了别的模块的变量。

链接器的工作，就是把这些「互相引用」的关系给对上，然后把它们合并成一个可执行文件或者库。

核心一句话：链接就是「符号解析 + 地址重定位」的过程。

符号解析，就是找到每个符号（函数名、全局变量名）的定义在哪里。地址重定位，就是把原来那些「占位符」的地址，替换成真正的内存地址。

1.2 静态链接 vs 动态链接

这个问题，面试的时候几乎必问。我自己的理解是这样的——

静态链接，就像你搬家的时候，把所有家具都自己搬过去。你的可执行文件里，把用到的库函数（比如 printf、malloc）的机器码，直接复制了一份进来。好处是：独立性强，拿到哪都能跑。坏处是：文件体积大，而且如果库有更新，你得重新链接。

动态链接，就像你住酒店，需要什么就去前台借。可执行文件里只记录了一个「引用」，运行时才去加载对应的动态库（.so 或 .dll）。好处是：节省磁盘和内存空间，库更新了不用重新编译你的程序。坏处是：依赖环境，万一缺了某个动态库，程序就启动不了。

我举个例子你就明白了：

// 静态链接编译
gcc -static main.c -o main_static

// 动态链接编译（默认）
gcc main.c -o main_dynamic

看看文件大小：

$ ls -lh main_static main_dynamic
-rwxr-xr-x 1 root root 1.2M main_static
-rwxr-xr-x 1 root root  16K main_dynamic

看到了吗？静态链接的可执行文件大了将近 80 倍。这就是把整个 libc 都塞进去的代价。

咱们用表格总结一下区别：

对比项	静态链接	动态链接
文件大小	大	小
运行时依赖	无	需要动态库
更新库	需重新链接	替换库文件即可
内存占用	每个进程一份	多进程共享一份
启动速度	快	稍慢（需加载库）
兼容性	好	可能因库版本出问题

我的建议：对于核心工具链、嵌入式系统、或者需要极致性能的场景，用静态链接。对于普通应用、插件系统、或者需要频繁更新库的场景，用动态链接。

1.3 链接器的工作流程

链接器到底是怎么工作的？我把它拆成三步，你记一下：

符号解析（Symbol Resolution）
地址重定位（Relocation）
段合并（Section Merging）

咱们一个一个说。

1.3.1 符号解析

链接器会扫描所有的目标文件，建立一个「符号表」。这个表里记录了每个符号是「定义」还是「引用」。

比如你写了：

// file1.c
extern void foo();  // 引用，foo 定义在其他地方

void bar() {
    foo();
}

// file2.c
void foo() {        // 定义
    // ...
}

链接器在 file1.o 里看到 foo 是「未定义引用」，在 file2.o 里看到 foo 是「定义」。于是它就把这两个符号关联起来。

注意：如果链接器找不到某个符号的定义，就会报「undefined reference」错误。我曾经在一个大型项目中，因为少链接了一个 .o 文件，排查了整整半天。嗯，从那以后我写 Makefile 就格外小心了。

1.3.2 地址重定位

这一步是链接器的核心。每个目标文件在编译时，并不知道自己最终会被加载到哪个内存地址。所以编译器会先用「占位符」代替真实地址。

比如：

call foo   ; 这里的 foo 地址是 0x00000000，占位

链接器在合并完所有目标文件后，就知道了每个符号的最终地址。然后它会把所有占位符替换成真实地址。

这个过程，就叫「重定位」。

1.3.3 段合并

每个目标文件都有多个「段」（section）：

.text：代码段
.data：已初始化的全局变量
.bss：未初始化的全局变量
等等

链接器会把所有目标文件中同名的段合并到一起。比如把所有 .text 段拼成一个大的 .text 段，所有 .data 段拼成一个大的 .data 段。

最后，再把这些段按照一定的布局，放到可执行文件里。

下面这张图，是我自己画的链接器工作流程，你一看就明白了：

你看，整个流程其实很清晰。输入是一堆 .o 文件，输出是一个可执行文件。中间经过符号解析、地址重定位、段合并这三步。

一个小技巧：如果你想知道链接器到底干了什么，可以用 gcc -v 或者 ld --verbose 查看详细输出。我调试链接问题的时候，经常用 readelf -s 查看符号表，用 objdump -d 查看反汇编后的地址。这些工具，真的是链接调试的「瑞士军刀」。

好了，关于链接的基础知识，咱们就聊到这儿。记住：链接不是玄学，它就是一个「对号入座」的过程。理解了符号解析和地址重定位，你就掌握了链接的核心。

可可精品资料库

📚 课程目录

1. 链接基础：什么是链接、静态链接与动态链接的区别、链接器的工作流程

1.1 什么是链接？

1.2 静态链接 vs 动态链接

1.3 链接器的工作流程

1.3.1 符号解析

1.3.2 地址重定位

1.3.3 段合并