目录
1.翻译环境和运行环境
在ANSI C(标准c)的任何一种实现中,存在两个不同的环境
1.翻译环境:在这个环境中,源代码被转换成可执行的机器指令(二进制指令)。
2.运行环境:用来实际执行代码。
2.翻译环境
翻译环境是由编译和链接两个大的过程组成,编译又细分为预编译,编译,汇编,三个过程:
编译时,每一个.c文件会独立的编译成一个.obj的目标文件,然后链接器将一个工程中所有的.obj目标文件链接起来形成一个.exe的可执行文件。 注意:链接库是指运行时库或者第三方库。
visual studio使用的是cl.exe的编译器:
link.exe的链接器:
下面这个简单的工程是由test.c和add.c组成(工程的名字叫做编译链接)
其运行时线各自经过编译生成各自对应的.obj目标文件:
然后经过链接生成可执行文件:
下面是详细的编译链接过程:
2.1预编译(预处理)
在预处理阶段,源文件跟头文件会被处理成以 .i 为后缀的文件。
预处理阶段主要处理那些源文件中#开始的预编译指令,比如:#include #define,处理的规则如下:
--将所有的#define删除,并展开所有的宏定义
--处理所有的条件编译指令:#if #ifdef #elif #else #endif
--处理#include预编译指令,将包含的头文件内容插入到该预编译指令的位置,这个过程是递归进行的,也就是说被包含的头文件也 可能包含其他文件。
--删除所有注释,变成一个' '(空格)
--添加行号和文件名标识,方便后续编译器生成调试信息
--保留所有的#pragma的编译器指令,编译器后续会使用
2.2编译
编译过程就是将预处理后的文件进行一系列的:词法分析,语法分析,语义分析及优化,生成相应的汇编代码文件(.s文件)。
2.2.1词法分析
将生成的.i文件输入到扫描器进行简单的词法分析,把代码中的字符分割成一系列的标记(关键字,标识符,字面量,特殊字符等)
代码为:array[index]=(index+4)*(2+6);的词法分析结果:
2.2.2语法分析
语法分析器将扫描产生的记号进行语法分析,从而产生语法树。这些语法树是以表达式为节点的树:
2.2.3语义分析
语法分析器完成语音分析,即堆表达式进行语法层面的分析。这里的分析指的是语义的静态分析,通常包括:声明和类型的匹配,类型的转换等
2.3汇编
将汇编代码转换为机器可执行的指令,每一个汇编语句几乎都对应一条机器指令。生成.o(.obj)的二进制文件
对于每一个源文件,会形成自己的符号表,里面放着全局的变量或函数跟他们的地址。
2.4链接
链接过程主要包括:地址和空间的分配,符号决议,符号表的合并和重定位等步骤。
链接解决的是一个项目中多文件,多模块互相调用的问题。
3.运行环境
1.程序必须载入到内存中。在有操作系统的环境中,一般由这个操作系统完成。在独立的环境中,程序的载入必须通过手工安排,也可能是通过可执行代码置入只读内存来完成。
2.程序接着便开始运行,接着就是调用main函数。
3.开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回地址。同时也可以使用静态(static)内存,存储与静态内存中的变量在程序的整个执行过程一直保留他们的值。
4.终止程序。可能正常终止main函数,也可能意外终止。