Linux 编译与链接全解析
在 Linux 环境下，将人类可读的源代码（如 C/C++）转换为计算机可执行文件的过程，主要分为编译 (Compilation) 和 链接 (Linking) 两个大阶段,理解这一过程对于调试程序和优化构建流程至关重要。
编译的四个阶段
一个完整的编译过程通常由编译器（如 GCC）驱动,内部划分为四个逻辑步骤：
![[5分钟学linux] 13-linux基础：绝对路径、相对路径和touch命令-2022新linux极速入门教程](https://i2.hdslb.com/bfs/archive/f9f163aefd62de7a85386a22d1b1a6315f18c727.jpg)
-
预处理 (Preprocessing)
- 任务：处理源代码中的宏定义 (
#define)、包含文件 (#include)、条件编译 (#ifdef) 等指令。 - 输出：生成扩展后的源代码文件（通常以
.i为后缀）。 - 特点：此阶段主要是文本替换,不涉及语法检查。
- 任务：处理源代码中的宏定义 (
-
编译 (Compilation)
- 任务：将预处理后的代码翻译成特定架构的汇编语言。
- 输出：生成汇编代码文件（通常以
.s为后缀）。 - 特点：这是进行语法分析、
语义分析
和优化的核心阶段。
汇编 (Assembly)
- 任务：将汇编代码转换为机器能够识别的二进制指令。
- 输出：生成目标文件 (Object File)（通常以
.o为后缀）。 - 特点：此时的代码已经是二进制格式，但还不能直接运行,因为它还没有解决函数调用等地址问题。
-
链接 (Linking)
- 任务：将多个目标文件以及所需的库文件（Library）合并成一个完整的可执行文件。
- 输出：生成最终的可执行文件（如
a.out或自定义名称）。 - 特点：解决符号引用（Symbol Resolution）和重定位（Relocation）问题。
链接的两种方式
在链接阶段，程序需要引入外部库的功能,主要有两种实现方式：
-
静态链接 (Static Linking)
- 原理：在链接阶段，将库文件的代码直接拷贝到最终的可执行文件中。
- 优点：程序运行不依赖外部库，具有良好的移植性；运行速度稍快。
- 缺点：生成的可执行文件体积较大；如果库文件更新,必须重新编译整个程序。
- 文件后缀：Linux 下通常为
.a(archive)。
-
动态链接 (Dynamic Linking)
- 原理：在链接阶段仅记录库的名字和符号信息，程序在运行时才由操作系统加载库文件。
- 优点：可执行文件体积小；多个程序可以共享同一个库文件，节省内存；更新库文件无需重新编译程序。
- 缺点：运行时如果缺少对应的库文件，程序无法启动（即著名的 “shared library not found” 错误）。
- 文件后缀：Linux 下通常为
.so(shared object)。
常用工具链
在 Linux 开发中，我们通常不会手动执行上述四个步骤,而是使用自动化工具：
- GCC / G++：最核心的编译器驱动程序，负责调用预处理器、编译器、汇编器和链接器。
- Make：通过编写
Makefile文件，根据文件的修改时间自动决定哪些部分需要重新编译，实现增量编译。 - CMake：一种高级构建系统生成器，它通过
CMakeLists.txt生成Makefile或其他构建文件，是现代 C++ 项目的标准工具。
常见错误类型
通过错误信息可以快速判断问题发生在哪个阶段：
-
编译错误 (Compilation Error)
- 特征：提示
syntax error（语法错误）、undeclared identifier（未声明的标识符）等。 - 原因：代码写错了,或者头文件没包含对。
- 特征：提示
-
链接错误 (Linker Error)
- 特征：提示
undefined reference to 'xxx'（对 xxx 的未定义引用）或symbol not found。 - 原因：函数声明了但没有实现，或者在链接时忘记加上对应的库文件（如
-lpthread）。
- 特征：提示
首发原创文章，作者：王坚，如若转载，请注明出处：https://idctop.com/linux%e7%bc%96%e8%af%91%e8%bf%9e%e6%8e%a5%e6%b5%81%e7%a8%8b%e6%98%af%e4%bb%80%e4%b9%88%ef%bc%8c%e9%9d%99%e6%80%81%e9%93%be%e6%8e%a5%e5%92%8c%e5%8a%a8%e6%80%81%e9%93%be%e6%8e%a5%e6%9c%89%e4%bb%80/
