目录
程序环境和预处理
任何的C语言的代码都会存在二种环境:
- 翻译环境,这个环境是把代码转换成机器可以执行的指令
- 执行环境,它用于实际执行代码
程序的翻译环境
一个源文件最后的可执行程序一共有三步:
- 首先是每个源文件会单独的经过编译器处理生成一个目标文件
(在Windows环境的目标文件的后缀是.obj
,在Linux环境下目标文件的后缀为.0
) - 链接器会把所有的目标文件捆绑到一起,同时链接器也引用
标准C函数库
中被该程序所引用的函数
同时它也可以搜索程序员个人创建的程序库,将其需要的函数也链接到程序中(链接库操作
) - 最后形成一个单一而完整的可执行程序 (.exe 文件)
程序的执行环境
程序的实际执行值执行环境中进行,程序执行的具体过程分三步:
- 程序必须先被载入内存中。在有操作系统的环境中,此过程一般由操作系统完成;在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
- 接下来程序开始执行,调用main函数。
开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),用于存储函数的局部变量和返回地址;程序同时也可以使用静态(static)内存,存储于静态内存中的变量其值在程序的整个执行过程将会被一直保留。 - 终止程序。正常终止main函数,也有可能是意外终止。
编译的具体过程
这里是比较笼统的写写,感兴趣的可以看看《编译原理》,里面有详细的讲解
一·个源文件的编译还可以分成三步:预处理、编译、汇编
预处理
预处理也叫预编译,程序在预处理阶段会完成如下操作:
#define 定义的全局变量会在预处理的时候把文件中出现的全局变量替换成定义的数值
- 注释的删除
注释是给程序员自己看的,所以会直接删除掉
当然后面还有很多操作,这里就不介绍了
总结:在预处理中都是文本操作
编译
在编译时会生成一个 文件名.s
,是把C语言代码转换成汇编代码
而转换成汇编代码会进行 语法分析
、词法分析
、符号分析
、语义分析
- 这里主要讲
符号分析
:
符号汇总会将我们代码中的全局的符号全部汇总起来
比如全局变量名、函数名;符号汇总不会将局部的变量名汇总进来
经过编译,我们的C语言代码会被转化为汇编代码
汇编,
在汇编式会生成一个 文件名.o
文件
在进行汇编时,会把汇编代码转换成二进制代码(二进制指令),还会形成符号表
符号表就是会给这些全局变量一个地址,并且通过符号表查找变量
如果在符号表找不到对应的变量,那么代表这个变量不存在
链接
程序在链接期间会有二个操作:
- 合并链表
编译器会把之前在汇编中生成多个目标文件相同格式的数据合并成一个可执行程序 .exe
- 符号表的的合并
符号表的合并是指在汇编阶段生成的多个符号表合并成一个符号表,并且重新定位
重新定位是指符号表出现相同的符号时,编译器会选取和符号相关的地址,舍弃另外一个
链接过程符号表的合并和重定向的实际意义是非常大的,因为它保证了符号表中的每一个符号都和有效的地址相关联,我们可以通过该地址找到对应符号,可以让我们跨文件的调用函数,使得我们链接生成的 .exe 文件能够被正常执行。
如果程序在合并符号表时,发现某一符号是无效地址时,程序会发生链接性错误
例如:
上面就是简略的介绍C程序的执行过程,实际上编译器在编译、汇编、链接时还有很多操作
如果详细的介绍的话,那就要深入的去学习编译原理等相关知识
如果很感兴趣可以看看《程序员的自我修养》这本书,里面细致的介绍了程序执行的过程
运行环境
程序执行的过程:
- 程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序
的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。 - 程序的执行便开始。接着便调用main函数。
- 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回
地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程
一直保留他们的值。 - 终止程序。正常终止main函数;也有可能是意外终止。
预处理详解
接下来是详细的学习预处理操作的相关的操作
预定义符号
C语言中有许多内置的预定义符号,我们可以在程序中直接使用:
__FILE__ | 进行编译的源文件的路径 |
---|---|
__LINE__ | 文件当前的行号 |
__DATE__ | 文件被编译的日期 |
__TIME__ | 文件被编译的时间 |
__STDC__ | 如果编译器遵循ANSI C,其值为1,否则未定义 |
例如:
int main()
{
int i = 0;
for (i = 1; i <= 10; i++)
{
printf("%s %d %s %s \n%d\n", __FILE__, __LINE__, __DATE__, __TIME__, i);
}
return 0;
}
结果:
#define 定义标识符
用 #define
定义的除了可以定义常量,还可以定义字符串、关键字等等
例如:
#define MAX 100 //用 MAX 来代替100这个数值
#define STR "Hello China"
#define print printf("blaue\n")
#define reg register //为 register这个关键字,创建一个简短的名字
#define do_forever for(;;