一、.程序的翻译环境与执行环境
在ANSI C的任何一种实现中,存在两个不同的环境。
1.翻译环境:在这个环境中源代码被转换为可执行的机械指令
2.执行环境:用于实际执行代码
翻译环境包含编译器和链接器
在VS中,编译器叫做 cl.exe,链接器叫做 link.exe
1.翻译环境
在翻译环境中执行的操作,简单来说可以分为三个步骤:
- 组成一个程序的每个源文件通过编译过程分别转换成目标代码(.obj)。
- 每个目标文件由链接器捆绑在一起,形成一个单一而完整的可执行程序。
- 链接器同时也会引入标准C函数库(链接库)中任何被该程序所用到的函数,而且它可以搜索程序员个人的程序库,将其需要的函数也链接到程序中。
编译运行完成之后,我们可以在文件中发现 .exe文件和.obj文件
2.编译与链接
翻译又分为编译与链接两个阶段
①.编译
其中编译又分为预编译(预处理),编译,汇编
②.链接
二、预处理
1.预定义符号
- __ FILE__ //进行编译的源文件
- __ LINE__ //文件当前的行号
- __ DATE__ //文件被编译的日期
- __ TIME__ //文件被编译的时间
- __ STDC__ //如果编译器遵循ANSI C,其值为1,否则未定义
2.#define
#define 的用处非常多,就比如我们常用的定义标识符常量、定义宏等等,而在这个过程中,也有一些细节值得我们去注意。
①. #define 定义标识符:
#define MAX 1000
#define reg register
//为 register这个关键字,创建一个简短的名字
#define do_forever for(;;)
//用更形象的符号来替换一种实现
#define CASE break;case
//在写case语句的时候自动把 break写上。
// 如果定义的 stuff过长,可以分成几行写,除了最后一行外,每行的后面都加一个反斜杠(续行符)。
#define DEBUG_PRINT printf("file:%s\tline:%d\t \
date:%s\ttime:%s\n",\
__FILE__,__LINE__,\
__DATE__,__TIME__)
注:在 #define 的最后,最好不要加上分号 “ ; ” 加上可能会出现两个;号,可能会导致语法错误:
在用 #define的时候我们可能遇见以下的问题
列:
#include<stdio.h>
#define SUM(x) x * x
int main()
{
printf("%d ", SUM(4 + 1));
return 0;
}
看起来这段代码打印的是 25
实际上打印的是 9
为什么?
因为在 #define中执行的是一比一替换!
在替换的时候,参数(x)被替换成了4+1,这样打印语句就变成
printf("%d ", 4+1*4+1);所以结果是 9
我们可以把这个宏进行修改成:
#define SUM(x) (x)*(x)
这样结果就会变成25,由此可以看出我们在定义宏的时候能加括号,一定要加括号!
避免在使用宏时由于参数中的操作符和领近操作符的不可预料的相互作用。
②. #define 替换规则:
#define 在进行符号替换时,遵循以下规则:
- 调用宏时首先对参数进行检查,检查是否包含任何由 #define 定义的符号。如果有,它们将首先被替换。
- 替换文本随后被插入到程序中原来文本的位置。对于宏,参数名被他们的值所替换。
- 最后,再次对结果文件进行扫描,看看它是否包含任何由 #define 定义的符号。如果有,就重复上述处理过程。