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.执行环境
- 程序存入内存中。
- 程序开始执行,接着便调用main函数。
- 开始执行程序代码。
- 终止程序。(可能是main函数正常结束,也可能是非正常结束)
over~