在ANSI C的任何一种实现中,存在两个不同的环境。
第1种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。
第2种是运行环境,它用于实际执行代码。
🍔 程序的翻译环境
我们使用C语言写出来的代码并不能直接被机器识别运行,而是要经过翻译,生成能让机器理解的可执行文件才能在运行环境中运行生成运行结果。
在VS2022中,我们所使用的VS2022集成开发环境就是我们代码的翻译环境。
源文件经过翻译的一系列操作生成可执行文件的过程如下图:
组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code)。
每个目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人的程序库,将其需要的函数也链接到程序中。
由上图我们可以知道,程序的翻译分为两个部分,编译和链接。那么编译和链接过程中又做了什么呢?请看下图:
🍔 程序的运行环境
程序执行的过程:
- 程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
- 程序的执行便开始。接着便调用main函数。
- 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
- 终止程序。正常终止main函数;也有可能是意外终止。
此处推荐一本书:《程序员的自我修养》 该书详细介绍了程序翻译与运行过程中发生的活动。