C语言-编译过程

本文最后更新于:1 年前

综述

从源代码生成可执行文件可以分为四个步骤,分别是预处理(Preprocessing)编译(Compilation)汇编(Assembly)链接(Linking)

直接生成可执行文件(带调试信息):

$gcc -g demo.c -o demo

不带调试信息 :

$gcc demo.c -o demo

预处理(Preprocessing)

预编译指令(directive)

预处理过程主要是处理那些源文件和头文件中以#开头的命令,比如 #include、#define、#ifdef 等。预处理的规则一般如下:

  • 将所有的#define删除,并展开所有的宏定义。
  • 处理所有条件编译命令,比如 #if、#ifdef、#elif、#else、#endif 等。
  • 处理#include命令,将被包含文件的内容插入到该命令所在的位置,这与复制粘贴的效果一样。注意,这个过程是递归进行的,也就是说被包含的文件可能还会包含其他的文件。
  • 删除所有的注释//和/* … */。
  • 添加行号和文件名标识,便于在调试和出错时给出具体的代码位置。
  • 保留所有的#pragma命令,因为编译器需要使用它们。

预处理的结果是生成.i文件。.i文件也是包含C语言代码的源文件,只不过所有的宏已经被展开,所有包含的文件已经被插入到当前文件中。当你无法判断宏定义是否正确,或者文件包含是否有效时,可以查看.i文件来确定问题。

在 GCC 中,可以通过下面的命令生成.i文件:

$gcc -E demo.c -o demo.i // -E表示只进行预编译。

在 Visual Studio 中,在当前工程的属性面板中将“预处理到文件”设置为“是”,如下图所示:

编译(Compilation)

编译就是把预处理完的文件进行一些列的词法分析、语法分析、语义分析以及优化后生成相应的汇编代码文件。

在 GCC 中,可以使用下面的命令生成.s文件:

$gcc -S demo.i -o demo.s

或者

$gcc -S demo.c -o demo.s

在 Visual Studio 中,不用进行任何设置就可以在工程目录下看到 demo.asm 文件。

汇编(Assembly)

汇编的过程就是将汇编代码转换成可以执行的机器指令。大部分汇编语句对应一条机器指令,有的汇编语句对应多条机器指令。

汇编的结果是产生目标文件,在 GCC 下的后缀为.o,在 Visual Studio 下的后缀为.obj

汇编过程简单,仅是查表翻译,通常作为编译过程一部分。

$gcc -c demo.i -o demo.o

链接(Linking)

目标文件已经是二进制文件,与可执行文件的组织形式类似,只是有些函数和全局变量的地址还未找到,程序不能执行。链接的作用就是找到这些目标地址,将所有的目标文件组织成一个可以执行的二进制文件。

将多个目标文件链接:

$gcc demo1.o demo2.o demo2.o