编译与链接

概述

很多人知道“把源码编译成程序”，但真正落到工具链时，经常会把编译、汇编、链接统称成“编译一下”。这么说平时问题不大，可一旦开始排查符号找不到、库没连上、运行时找不到动态库，就需要把过程拆开了。

从源码到可执行文件，通常不是一步，而是一条流水线。以 C 或 C++ 为例，最常见的过程可以分成：预处理、编译、汇编、链接。

源码不会直接变成可执行文件

以一个简单的 C 程序为例：

#include <stdio.h>

int main(void) {
    printf("hello\n");
    return 0;
}

它从源码到最终程序，大致会经历下面几个阶段。

预处理在做什么

预处理主要处理这些内容：

• #include
• #define
• 条件编译，例如 #ifdef

也就是说，它先把“源码里的文本指令”展开成更完整的源代码。

例如：

• 头文件内容会被展开进来
• 宏会被替换
• 某些条件分支会被保留或去掉

这一步之后，程序还不是机器指令，仍然是更接近源码的文本结果。

编译在做什么

编译阶段会把高级语言翻译成汇编层面的表示，并完成语法分析、语义检查、优化等工作。

这里更像是在回答：

• 代码写得是否合法
• 类型能不能对上
• 哪些逻辑可以优化

这一步结束后，已经离机器能执行的形式更近了，但通常还不是最终的二进制目标文件。

汇编在做什么

汇编阶段把汇编代码转成目标文件，也就是常见的 .o 文件。

目标文件里通常已经包含：

• 机器指令
• 符号表
• 重定位信息

它已经不是源码了，但通常也还不能独立运行，因为很多外部符号还没被真正接上。

链接在做什么

链接阶段的核心任务，是把多个目标文件和依赖库拼到一起，解决符号引用关系，生成最终可执行文件或共享库。

例如：

• main.o 里调用了 printf
• printf 的实现并不在 main.o 里
• 链接器需要到标准库里把这个符号接上

如果链接器找不到对应实现，就会报出常见的“undefined reference”之类错误。

什么是符号

符号可以简单理解为程序构建过程里的名字，例如：

• 函数名
• 全局变量名

编译后，源代码不再只是文本，但这些名字仍会以某种形式存在于目标文件或库里，供链接器匹配和解析。

所以很多链接错误，本质上不是“代码没写”，而是“名字对不上”或者“库没参与链接”。

静态链接和动态链接

静态链接

静态链接会把依赖库的目标代码直接拷贝进最终程序。

优点：

• 部署相对简单
• 运行时外部依赖少

代价：

• 产物体积更大
• 多个程序重复包含同一份库代码

动态链接

动态链接会在运行时加载共享库，例如 .so、.dylib、.dll。

优点：

• 可执行文件更小
• 多个程序可以共享同一份库

代价：

• 运行时要找到正确版本的动态库
• 环境问题更容易冒出来

一个常见命令流程

使用 gcc 时，常见流程可以概括成：

只编译，不链接：

gcc -c main.c -o main.o

把目标文件链接成可执行文件：

gcc main.o -o app

如果依赖数学库之类的外部库，还需要显式加上链接参数，例如：

gcc main.o -lm -o app

这里的顺序有时也重要，尤其在某些工具链里，库参数放错位置会导致链接失败。

为什么“编译通过”不代表“一定能运行”

一个程序可能：

• 编译阶段通过
• 链接阶段也通过
• 但运行时仍然失败

常见原因包括：

• 动态库运行时找不到
• 运行环境中的库版本不匹配
• 依赖的系统资源或配置缺失

所以“能编过”只是构建链路中的一个阶段，不等于部署链路已经完整。

开发里最常见的几类错误

头文件有声明，但没有实现

编译能过，链接时报未定义符号。

实现有了，但目标文件没参与链接

源码写了，结果构建脚本没把对应 .o 或库文件带进去。

库版本不匹配

编译时找到的是一套头文件，运行时加载的是另一套动态库。

把“编译错误”和“链接错误”混成一类

前者通常是代码本身不合法，后者通常是多个编译产物之间接不上。两类问题的排查思路不同。