编译和链接

1.翻译环境和运行环境

在ANSI C的任何一种实现中，都存在两个不同的环境。

翻译环境就是源代码被转化成可执行的机器指令，执行环境就是进行执行代码。

2.翻译环境

翻译环境是包含编译和链接两大部分，其中编译还包含预处理（预编译）、编译、汇编三种。所以，详细来说，翻译环境包含预处理（预翻译）、编译、汇编、链接。

• 多个.c文件经过编译产生目标文件【在Windows中目标文件的后缀是.obj，而在Linux中魔表文件后缀是.o】
• 多个目标文件和链接库经过链接器生成可执行程序。

 2.1预编译（预处理）

在预处理阶段，源文件和头文件会被处理成.i后缀的文件。

在gcc环境下，命令如下：

gcc -E test.c -o test.i

预处理阶段主要处理那些源文件中#开始的预编译处理。比如：#define和#include的处理

• 头文件的包含：#include是预处理指令。将包含的头文件的内容插入到该预编译指令的位置。
• 替换#define，展开所有宏定义的内容。
• 处理所有的条件编译指令【#if, #ifdef, #ifndef, #endif】等。
• 注释的删除。（替换成空格）

 经过预处理后，宏定义已不存在（被代替），而且头文件已经插入.i文件中。如果我们不知道宏定义或头文件是否包含正确可以在预处理后的.i文件中。

说到这里，预编译过程就类似于文本操作~

2.2编译

编译主要任务是把c语言代码翻译成汇编语言。

包含词法分析、语法分析、语义分析。

比如如下代码：

  array[ index ] = (index+4) * (2+6);

 2.2.1词法分析

将源代码程序输入到扫描器中，把代码中的字符分割成一系列的记号（关键字、特殊符号等）

比如：

2.2.2语法分析 

用语法分析器，对上一步扫描产生的记号进行语法分析，形成语法分析树。

2.2.3语义分析 

整个过程用语义分析器来完成，完成对表达式语法层面的分析。编译器所能做的是静态语义分析。静态语义分析通常包括声明和类型的匹配，类型的转换等，可以检查出错误的语法信息。

2.3汇编 

目标就是把刚刚生成的汇编代码翻译成二进制指令。

使用汇编器，将汇编代码转变成可执行指令，并不做指令优化。

2.4链接

• 链接的过程很复杂，需要将一堆文件链接在一起才能生成可执行程序。
• 链接主要包括：地址和空间分配，符号决议和重定位等这些步骤。
• 链接解决的是⼀个项目中多文件、多模块之间互相调用的问题

 

add.c经过编译生成add.o

test.c经过编译生成test.o 

在add.c中使用了test.c中的函数和变量。在这里，我们务必要知道Mul函数和变量n的地址，但是由于每个文件都是单独编译的，在编译器编译add.c时并不知道Mul函数和变量n的地址，所以暂时把调用Mul函数的目标地址和变量n的地址就先搁置。等到最后链接的时候，由链接器根据符号Mul在其他模块中找到Mul函数的地址，然后将add.c中所有用到Mul函数的地址进行修正，让目标地址为真正的地址。这个过程称为：重定位

图例或许会更清晰一点：

 

3.执行环境

1. 程序存入内存中。
2. 程序开始执行，接着便调用main函数。
3. 开始执行程序代码。
4. 终止程序。（可能是main函数正常结束，也可能是非正常结束）

over~