C 语言编译的完整流程是什么？

核心回答

以 GCC 编译普通 C 程序为例，从源码到可执行文件通常经过预处理、编译、汇编、链接四个阶段。每个 .c 文件在预处理后形成一个翻译单元，通常先独立生成目标文件，再由链接器把多个目标文件与所需库组合起来。平时一条 gcc 命令可以驱动这些步骤，所以没有看到中间文件并不代表没有这些阶段。

四个阶段分别做什么

1. 预处理：展开 #include、宏替换、条件编译并处理注释等，得到预处理后的源代码，常用 .i 表示。头文件通常在这里被包含进翻译单元，并非每个头文件都独立编译一次。
2. 编译：进行词法、语法、语义分析及优化等，把 C 代码转换为目标平台的汇编表示，常用 .s 表示。语法错误、未声明标识符等往往在这一阶段暴露。
3. 汇编：将汇编指令转换成机器指令，生成 .o 目标文件。目标文件已有机器码，也包含符号表、重定位信息等，通常还不能直接作为完整程序运行。
4. 链接：解析跨文件的符号引用、安排代码与数据地址，并完成必要的重定位。例如 main.o 调用了 add，链接器需要从其他目标文件或库中找到其定义；找不到可能报未定义引用，重复强定义也可能报错。

GCC 的 -E、-S、-c 分别可以让流程停在预处理、生成汇编、生成目标文件处，便于定位问题。它们是驱动流程的控制选项，具体中间产物还取决于输入文件和工具链。

编译成功为什么还会失败

声明让编译器知道函数的类型，定义才提供实现。只有声明、没有参与链接的定义，可能编译通过但链接失败。静态库中的代码按链接需要被纳入最终产物；动态链接则保留对共享库的依赖，加载和运行时还可能发生库缺失、符号或 ABI 不兼容等问题。

因此排查时先区分预处理错误、编译错误、链接错误和运行时加载错误，而不是把它们都叫“编译不过”。严格说，C 标准描述的是翻译阶段，以上四步是常见工具链的工程化划分，不能把扩展名当成所有编译器必须落盘的文件。

常见追问

多个 .c 文件如何协作？ 通过头文件共享声明，各翻译单元独立检查和生成目标文件，再通过外部符号链接；声明与定义需要保持类型和调用约定一致。

链接完成等于程序已经执行吗？ 不等于。操作系统加载可执行文件、动态加载器处理依赖、运行时初始化后才进入程序执行。

参考资料