【C语言】 [程序环境】简析翻译环境、执行环境

程序的翻译环境和执行环境 

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

第一种是翻译环境，在这个环境中源代码被转换为可执行的机器指令。

第二种是执行环境，它用于实际执行代码。 

 

1.程序的翻译环境

需要注意的是，一个工程中可能会有多个.c文件， 每一个.c文件都是单独编译的。

1. 组成一个程序的每个源文件通过编译过程分别转换成目标代码（object code）。
2. 每个目标文件由链接器（linker）捆绑在一起，形成一个单一而完整的可执行程序。
3. 链接器同时也会引入标准C函数库中任何被该程序所用到的函数，而且它可以搜索程序员个人的程序库，将其需要的函数也链接到程序中。

• 编译的步骤

 

以gcc为例： 

1.预处理 选项 gcc -E test.c -o test.i
预处理完成之后就停下来，预处理之后产生的结果都放在test.i文件中。
2.编译 选项 gcc -S test.c
编译完成之后就停下来，结果保存在test.s中。
3.汇编 gcc -c test.c
汇编完成之后就停下来，结果保存在test.o中
 

• 预编译（预处理）  -  文本操作    -    预处理的指令相关

1. 头文件的包含（#include）
2. 注释的删除
3. #define定义的符号的替换 

•  编译

1. 语法分析
2. 词法分析
3. 语义分析
4. 符号汇总 

•  汇编

生成目标文件（gcc  :  test.o     /  VS  :  test.obj   )  （二进制文件）

把汇编代码转换成二进制的指令

形成符号表

• 链接 

1. 合并段表
2. 符号表的合并和重定位 

2.程序的执行环境

程序执行的过程：
1. 程序必须载入内存中。在有操作系统的环境中：一般这个由操作系统完成。在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。
2. 程序的执行便开始。接着便调用main函数。
3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈（stack），存储函数的局部变量和返回地址。程序同时也可以使用静态（static）内存，存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
4. 终止程序。正常终止main函数；也有可能是意外终止。