每个源程序(.c文件)都需要经过编译+链接形成 .exe的可执行文件。
在ANSI C的任何一种实现中,存在两个不同的环境
- 第一种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。
- 第二种是执行环境,它用于实际执行代码。
我们以C语言为例,下面来详细学习一下程序的翻译环境和执行环境。
一、程序的翻译环境
VS不方便查看每个细节,接下来,使用gcc编译器。
编译部分本身也分成一下几个阶段:
第一个阶段预编译——预编译阶段要做的事情:
- 头文件的包含
- 注释的删除
- #define定义的符号替换
//gcc预处理选项
gcc -E test.c -o test.i
1.预处理完成之后就停下来了,预处理之后产生的结果都放在test.i文件中。
第二个阶段编译——编译阶段要做的事情:
- 把C语言代码翻译成汇编语言
- 语法分析
- 词法分析
- 语义分析
- 符号汇总
//编译选项
gcc -S test.i -o test.s
2.编译完成之后就停下来,结果保存咋子test.s中。
第三个阶段汇编——汇编阶段要做的事情:
- 生成目标文件.o文件
- 把汇编语言转换成二进制指令
- 形成符号表
//gcc汇编
gcc -c test.s -o test.o
3.汇编完成之后就停下来,结果保存在test.o(目标文件)中
编译部分分成三个部分,上面三点可总结为下图所示:
链接部分:合并段表、符号表的合并和符号表表的重定位
二、程序的执行环境
程序执行的过程:
- 程序必须载入内存中,在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
- 程序的执行便开始。接招便调用main函数
- 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack), 存储函数的局部变量和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
- 终止程序。正常终止main函数;也有可能是意外终止。