【C语言】C程序编译过程详解

概述：C代码通过编译器编译成可执行代码，经历了五个阶段，依次为：预处理、编译、汇编、链接、运行。

                                                                                                图1 编译过程图

---

一、预处理 

 任务：1、删除注释；2、宏替换；3、展开include

具体处理如下：

• 将所有的#define删除，并且展开所有的宏定义
• 处理所有的条件预编译指令，比如#if #ifdef #elif #else #endif等
• 处理#include 预编译指令，将被包含的文件插入到该预编译指令的位置。
• 删除所有注释 “//”和”/* */”.
• 添加行号和文件标识，以便编译时产生调试用的行号及编译错误警告行号。
• 保留所有的#pragma编译器指令，因为编译器需要使用它们

二、编译

任务：把预处理完的文件进行一系列的词法分析，语法分析，语义分析及中间代码生成、优化后生成相应的汇编代码。（查错）

词法分析：分析关键词，标识符，常数，界符等是否合法。

语法分析：分析表达式是否遵循语法规则。

语义分析：在语法分析的基础上进一步分析表达式是否合法。

分析结束后进行中间代码的优化生成相应的汇编代码文件。

三、汇编

任务：将汇编文件生成目标文件（2进制文件）（翻译）计算机可以识别的代码。

四、链接

1）任务：找到依赖的库文件（使各个模块之间的相互引用的部分正确衔接），将目标文件链接为可执行程序。

2）链接分为静态链接和动态链接。

静态链接是指在编译阶段直接把静态库加入到可执行文件中去（.o文件与链接库.a文件拼接在一起），这样可执行文件会比较大，比较占内存空间。如果可执行程序被并发运行多次，就会重复调用.a链接库文件进入内存，这样会造成很大的空间资源浪费，即静态链接是以空间换时间。静态链接如下图

                                                                                            图2 静态链接

而动态链接则是指链接阶段仅仅只加入一些描述信息，而程序执行时再从系统中把相应动态库加载到内存中去。

                                                                                             图3 动态链接

静态链接和动态链接的区别：

静态链接在编译期完成，动态链接在运行期完成

3）作用：
  a.符号表的合并和符号表的重定位  
        将汇编阶段生成的符号表进行合并。可重定位目标文件之中用来存放变量和其入口地址的符号表，重定位是指在链接阶段连接器会查找符号表，当发现某个符号表存在没有决议的内存地址时，连接器就会查找所有符号表，一直发现这些这些尚未决议的符号变量的内存地址写进符号表。直达所有的符号变量都能够找到合法的内存地址时，链接阶段重定位完成。否则会出现链接错误。

b.段表的合并
         在汇编阶段生成的Main.o为elf格式的文件，里面包含段表等信息，合并段表是将每个可执行文件中对应的各段信息进行合并。

 五、运行

在 Windows 下，可执行程序的后缀有.exe和.com（其中.exe比较常见）；在类 UNIX 系统（Linux、Mac OS 等）下，可执行程序没有特定的后缀，系统根据文件的头部信息来判断是否是可执行程序。

 1. 程序必须载入内存。 在有操作系统的环境中，一般由操作系统完成。
 2. 程序的执行开始。接着便调用main函数
 3. 开始执行程序代码，这个时候程序将使用一个运行时堆栈，存储函数的局部变量和返回地址。程序也可以使用静态内容，存储以静态内存中的变量在程序的整个执行过程一直保留他们的值。
 4. 终止程序。 正常终止main函数，也有可能是意外终止。