程序的翻译环境和执行环境（C语言）

目录

1.翻译环境

2.运行环境 

3.预处理详解 

3.1预定义符号 

3.2 #define

3.2.1 #define定义标识符  

3.2.2 #define定义宏

3.2.3 #define替换规则

3.2.4宏和函数对比 

---

 

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

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

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

1.翻译环境

   翻译环境主要由以下四部分组成。

四个模块大概会完成的工作

a) 预编译模块：  1、头文件的包含 2、注释的删除 3、#define符号的替换 等等

b) 编译模块： 把C语言代码转换成汇编代码，1、语法分析 2、词法分析 3、语义分析 4、符号汇总

c) 汇编模块：把汇编指令转换成二进制指令，形成符号表

d) 链接模块：1、合并符号表 2、符号表的合并和重定位

2.运行环境 

程序执行的过程：

  1. 程序必须载入内存中。在有操作系统的环境中：一般这个由操作系统完成。在独立的环境中，程序 的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。

  2. 程序的执行便开始。接着便调用main函数。 

  3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈（stack），存储函数的局部变量和返回 地址。程序同时也可以使用静态（static）内存，存储于静态内存中的变量在程序的整个执行过程 一直保留他们的值。

  4. 终止程序。正常终止main函数；也有可能是意外终止。  

3.预处理详解 

3.1预定义符号 

 __FILE__      //进行编译的源文件

 __LINE__     //文件当前的行号

 __DATE__    //文件被编译的日期

 __TIME__    //文件被编译的时间

 __STDC__    //如果编译器遵循ANSI C，其值为1，否则未定义

使用示例：

3.2 #define

3.2.1 #define定义标识符  

#define name stuff 

使用示例： 

 

 3.2.2 #define定义宏

 #define 机制包括了一个规定，允许把参数替换到文本中，这种实现通常称为宏（macro）或定义 宏（define macro。

#define name( parament-list ) stuff 

 使用示例： 

注意：

  所有用于对数值表达式进行求值的宏定义都应该主动加上括号，避免在使用宏时由于参数中 的操作符或邻近操作符之间不可预料的相互作用。 

3.2.3 #define替换规则

 在程序中扩展#define定义符号和宏时，需要涉及几个步骤。

1. 在调用宏时，首先对参数进行检查，看看是否包含任何由#define定义的符号。如果是，它们首先被替换。

2. 替换文本随后被插入到程序中原来文本的位置。对于宏，参数名被他们的值所替换。

3. 最后，再次对结果文件进行扫描，看看它是否包含任何由#define定义的符号。如果是，就重复上述处理过程。

注意：

  1. 宏参数和#define 定义中可以出现其他#define定义的符号。但是对于宏，不能出现递归。

  2. 当预处理器搜索#define定义的符号的时候，字符串常量的内容并不被搜索。

3.2.4宏和函数对比 

属 性	#define定义宏	函数
代 码 长 度	每次使用时，宏代码都会被插入到程序中。除了非常小的宏之外，程序的长度会大幅度增长	函数代码只出现于一个地方；每 次使用这个函数时，都调用那个 地方的同一份代码
执 行 速度	更快	存在函数的调用和返回的额外开 销，所以相对慢一些
操 作 符 优 先级	宏参数的求值是在所有周围表达式的上下文环境里， 除非加上括号，否则邻近操作符的优先级可能会产生 不可预料的后果，所以建议宏在书写的时候多些括 号。	函数参数只在函数调用的时候求 值一次，它的结果值传递给函 数。表达式的求值结果更容易预 测。
带 有 副 作 用 的参数	参数可能被替换到宏体中的多个位置，所以带有副作用的参数求值可能会产生不可预料的结果。	函数参数只在传参的时候求值一 次，结果更容易控制。
参 数类型	宏的参数与类型无关，只要对参数的操作是合法的， 它就可以使用于任何参数类型。	函数的参数是与类型有关的，如 果参数的类型不同，就需要不同 的函数，即使他们执行的任务是 相同的。
调试	宏是不方便调试的	函数是可以逐语句调试的
递归	宏是不能递归的	函数是可以递归的