c语言程序都是经过翻译环境和运行环境处理后才能运行结果。
翻译环境
由上图可知,翻译环境还分为编译、链接两大过程。多个.c文件单独经过编译器,编译处理后生成后缀为obj的目标文件,(Windows环境下是.obj,Linux环境下是.o),这些目标文件和链接库(运行时库)一起经过链接器处理生成最终的可执行程序。
编译又可分解成预处理、编译、汇编三个过程。
预处理
在预处理阶段,源文件和头文件都会变成后缀为.i的 文件。预处理阶段主要是对源文件中#的命令进行处理。例如:#include,#define。
具体做的事有以下几点:
会将#define删除,并且展开宏定义。
处理条件编译指令 #if #ifdef #elif #else #enif
处理#include指令,将包含的头文件放到预处理指令的位置。(头文件中包含的其他文件都会被处理。)
删除所有注释
添加行号和文件名标识
或保留所有的#pragma的编译器指令,编译器后续会使用。
编译
编译就是将预处理后的文件进行词法分析、语法分析、语义分析及优化。
词法分析
扫描器将代码中的字符分割成一系列的记号(关键字、标识符、字⾯量、特殊字符等)。
处理后的记号:
语法分析
对刚刚的记号就行语法分析,生成语法分析树
语义分析及优化
对表达式进行语法层面的剖析,编译器进行一些静态分析(声名、类型的匹配、类型的转换等)。
汇编
汇编器是将汇编代码转转变成机器可执行的指令,每⼀个汇编语句几乎都对应⼀条机器指令。就是根 据汇编指令和机器指令的对照表⼀⼀的进行翻译,也不做指令优化。
链接
链接是一个复杂的过程,主要包括地址和空间分配、符号决议、重定位等这些问题。
链接的目的是解决多文件、多模板相互调用的情况。
运行环境
程序必须载入内存中。在有操作系统的环境中:⼀般这个由操作系统完成。在独立的环境中,程序 的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
程序的执行便开始。接着便调用main函数。
接着开始执行程序代码。这个时候程序将使用⼀个运行时堆栈(stack),存储函数的局部变量和返回 地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程 ⼀直保留他们的值。
最后终止程序。