20、编译链接原理：预处理、编译、汇编、链接，静态库与动态库的制作

说实话，很多写了三五年C语言的工程师，对编译链接的理解还停留在「点一下编译按钮，出来一个可执行文件」的阶段。我以前带团队时，有个同事遇到一个诡异的bug——函数名写对了，链接却说找不到符号。他折腾了一整天，最后发现是忘了链接对应的目标文件。

嗯，这就是典型的「不懂链接原理」的代价。今天咱们就把这层窗户纸捅破。

一、编译的四个阶段：从源码到机器码

一个C源文件变成可执行文件，中间经历了四个阶段。我习惯把这四个阶段比作「翻译官的工作流程」：先整理原文，再翻译成外语，然后写成正式文稿，最后装订成册。

阶段	输入	输出	命令示例
预处理	.c 源文件	.i 预处理文件	gcc -E main.c -o main.i
编译	.i 预处理文件	.s 汇编文件	gcc -S main.i -o main.s
汇编	.s 汇编文件	.o 目标文件	gcc -c main.s -o main.o
链接	.o 目标文件 + 库	可执行文件	gcc main.o -o main

1.1 预处理：展开一切

预处理阶段干的事，说白了就是「文本替换」。#include 把头文件内容原封不动复制进来，#define 把宏定义替换成实际值，#ifdef 条件编译决定哪些代码保留。

我曾经遇到过一个坑：某个头文件被包含了十几次，每次展开都产生大量重复代码，最后编译出来的目标文件体积大得离谱。后来用 #pragma once 解决了。

// 示例：预处理前后的对比
// 源文件 test.c
#include <stdio.h>
#define PI 3.14159
#define AREA(r) (PI * (r) * (r))

int main() {
    printf("Area = %f\n", AREA(5));
    return 0;
}

// 预处理后 test.i（部分）
int main() {
    printf("Area = %f\n", (3.14159 * (5) * (5)));
    return 0;
}

1.2 编译：C语言 → 汇编

编译阶段把预处理后的代码翻译成汇编语言。这里会做词法分析、语法分析、语义分析，还有各种优化。你想想看，i++ 和 ++i 在编译阶段就可能被优化成不同的指令序列。

我个人习惯在调试阶段加 -O0 关闭优化，避免优化后的代码和源码对应不上。发布时再用 -O2 或 -O3。

1.3 汇编：汇编 → 机器码

汇编器把汇编指令翻译成机器码，生成目标文件（.o 或 .obj）。目标文件里已经是二进制了，但还不能直接运行——因为函数调用、全局变量这些地址还没确定。

你可以用 objdump -d 查看目标文件的反汇编结果，看看你的C代码到底变成了什么指令。

1.4 链接：拼装成完整程序

链接是最后一步，也是最容易出问题的一步。链接器把多个目标文件和库文件拼在一起，解决符号引用，分配内存地址。

链接分为两种：

• 静态链接：在编译时把所有代码打包进可执行文件
• 动态链接：在运行时才加载库文件

二、静态库的制作与使用

静态库的本质，就是把一堆 .o 目标文件打包成一个 .a 文件（Linux）或 .lib 文件（Windows）。链接时，链接器会把静态库中用到的代码复制到最终的可执行文件中。

2.1 制作静态库

// 1. 编译源文件为目标文件
gcc -c add.c -o add.o
gcc -c sub.c -o sub.o

// 2. 打包成静态库
ar rcs libmath.a add.o sub.o

// 3. 查看静态库内容
ar t libmath.a

ar 命令的三个参数：r 表示插入文件，c 表示创建库，s 表示建立索引。我刚开始用的时候经常漏掉 s，结果链接时提示找不到符号。

2.2 使用静态库

// 方式一：直接指定库文件
gcc main.c libmath.a -o main

// 方式二：用 -L 指定库路径，-l 指定库名
gcc main.c -L. -lmath -o main

注意 -lmath 会去找 libmath.a 或 libmath.so，这是命名规则。

三、动态库的制作与使用

动态库在 Linux 下是 .so 文件，Windows 下是 .dll 文件。它的特点是：可执行文件里只记录库的路径和符号信息，运行时才加载。

3.1 制作动态库

// 编译位置无关代码
gcc -fPIC -c add.c -o add.o
gcc -fPIC -c sub.c -o sub.o

// 生成动态库
gcc -shared -o libmath.so add.o sub.o

-fPIC 是 Position Independent Code 的缩写，生成位置无关代码。为什么需要这个？因为动态库在运行时可能被加载到任意内存地址，代码里的地址必须是相对的。

3.2 使用动态库

// 编译时链接
gcc main.c -L. -lmath -o main

// 运行时需要告诉系统库的位置
export LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH
./main

如果不设置 LD_LIBRARY_PATH，系统会去默认路径找。找不到就报错：error while loading shared libraries。这个错误我见过太多次了。

四、静态库 vs 动态库：怎么选？

对比项	静态库	动态库
文件大小	可执行文件大	可执行文件小
运行速度	稍快（无加载开销）	稍慢（有加载开销）
更新维护	需重新编译	替换 .so 即可
内存占用	每个进程一份	多个进程共享一份
部署复杂度	简单（单文件）	需携带 .so 文件

我的建议是：工具类、基础算法库用静态库，方便部署；插件系统、公共运行时库用动态库，方便更新。

五、知识体系总览

下面这张图把整个编译链接流程和库的制作串起来了，你可以保存下来当参考。

六、避坑总结

最后，把我这些年踩过的坑总结一下：

• 链接顺序问题：静态库之间的依赖顺序很重要。被依赖的库要放在后面。比如 gcc main.o -lB -lA，如果 B 依赖 A，这个顺序是对的。反过来就会报 undefined reference。
• 动态库版本兼容：动态库更新时，要保持接口兼容。我见过有人改了函数参数类型没重新编译调用方，结果运行时崩溃。
• 不要混用静态和动态：同一个库的静态版和动态版不要同时链接，否则会出现符号冲突，行为不可预测。
• 检查符号：用 nm 命令查看目标文件或库中的符号表，可以快速定位「有没有这个函数」的问题。

---

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