你有没有好奇过,我们平时写的C语言代码是如何转换成计算机可以读懂并运行的文件,这个过程到底是发生了什么?其实一个源代码文件运行起来要进过要经过翻译环境和运行环境。
如下图:
顾名思义翻译环境就是把所有的源文件(test.c)翻译成计算机可以读懂的二进制语言,生成一个可执行程序(test.exe)然后通过运行环境将这个代码的结果输出出来。
翻译环境
翻译环境可以分成编译和链接两部分,而编译又可以细分成预处理(也叫预编译)、编译和汇编三个过程。
如下图:
多个.c文件单独经过编译出编译处理生产对应的目标文件,多个目标⽂件和链接库⼀起经过链接器处理生成最终的可执⾏程序。
编译的各个部分又是执行什么任务的?
预处理
在预处理阶段,源文件和头文件会被处理成为.i为后缀的文件。
预处理主要处理那些源文件中#开始的预编译指令。比如:#include,#define,处理的规则如下:
1.将所有的#define删除,并展开所有的宏定义。
2.处理所有的条件编译指令,如:#if 、#ifdef 、#elif 、#else 、#endif 。
3.处理#include预编译指令,将包含的头文件的内容插入到该预编译指令的位置。
4.删除所有注释。
5.添加行号和文件名标识,方便后续编译器生成调试信息等。
6.或保留所有的#pragma的编译器指令,编译器后续会使用。
编译
编译过程就是将预处理后的文件进行一系列的:词法分析、语法分析、语义分析及优化,生成相应的汇编代码文件。
词法分析:将源代码程序被输⼊扫描器,扫描器的任务就是简单的进行词法分析,把代码中的字符分割成一系列的记号(关键字、标识符、字面量、特殊字符等)。
eg:array[index] = (index+4)*(2+6);
将上述代码进行词法分析的结构如下图:
语法分析:接下来语法分析器,将对扫描产生的记号进行语法分析,从而产生语法树。这些语法树是以表达式为节点的树。
eg:array[index] = (index+4)*(2+6);
将上述代码进行语法分析的结构如下图:
语义分析:由语义分析器来完成语义分析,即对表达式的语法层面分析。编译器所能做的分析是语义的静态分析。静态语义分析通常包括声明和类型的匹配,类型的转换等。这个阶段会报告错误的语法信息。
eg:array[index] = (index+4)*(2+6);
将上述代码进行语义分析的结构如下图:
汇编
汇编器是将汇编代码转转变成机器可执行的指令,每⼀个汇编语句几乎都对应一条机器指令。就是根据汇编指令和机器指令的对照表一一的进行翻译,也不做指令优化。
链接
链接是⼀个复杂的过程,链接的时候需要把一堆文件链接在⼀起才生成可执行程序。 链接过程主要包括:地址和空间分配,符号决议和重定位等这些步骤。 链接解决的是一个项目中多文件、多模块之间互相调用的问题。