【手把手教你C】程序背后那些事：编译和链接

目录

翻译环境和运行环境

1、翻译环境

1.1 预处理（预编译）

1.2 编译

1.2.1 词法分析

1.2.2 语法分析

1.2.3 语义分析

1.3 汇编

1.4 链接

2、运行环境

---

翻译环境和运行环境

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

1、翻译环境：在此环境中源代码被转换为可执行的机器指令（二进制指令）。

2、执行环境：用于实际执行代码。

注：ANSI C是由美国国家标准协会（ANSI）及国际标准化组织（ISO）推出的关于C语言的标准。

1、翻译环境

翻译环境包括编译和链接，而编译又可分为预处理（预编译）、编译、汇编三个步骤。

• 一个C语言的项目可能有多个. c  文件，这多个. c 文件单独经过编译器处理，生成对应的目标文件。
• 多个目标文件和链接库一起经过连接器处理生成最终的可执行程序。

注：windows环境下目标文件的后缀是 . obj ，Linux环境下目标文件的后缀是 . o 

       链接库是指运行时库（支持程序运行的基本函数集合）或者第三方库。

以gcc为例，拆解编译、链接的过程：

1.1 预处理（预编译）

预处理阶段：

1. 源文件和头文件会被处理为 . i 为后缀的文件。
2. 处理源文件中#开始的预编译指令（e.g. #include, #define），处理规则如下：

• 将所有的 #define 删除，并展开所有的宏定义。
• 处理所有的条件编译指令，如：#if、#ifdef、#elif、#else、#endif。
• 处理#include预编译指令，将包含的头文件的内容插入到该预编译指令的位置。这个过程递归进行，被包含的头文件也可能包含其他文件。
• 删除所有的注释。
• 添加行号和文件名标识，方便后续编译器生成调试信息等。
• 或保留所有的#pragma的编译器指令，编译器后续会使用。

1.2 编译

编译过程就是将预处理后的文件进行一系列的：词法分析、语法分析、语义分析及优化，生成相应的汇编代码文件。

1.2.1 词法分析

源代码程序被输入扫描器，扫描器简单地进行词法分析，把代码中的字符分割成一系列的记号（关键字、标识符、字面量、特殊字符等）。

array[ index ] = ( index + 4) * (2 + 6)；

词法分析后得到16个记号：

array  标识符

[         左方括号

index  标识符

]         右方括号

=        赋值

(         左圆括号

index  标识符

+         加号

4         数字

)          右圆括号

*          乘号

(          左圆括号

2         数字

+         加号

6         数字

）       右圆括号

1.2.2 语法分析

接下来语法分析器，将对扫描产生的记号进行语法分析，从而生成语法树。这些语法树以表达式为节点。

1.2.3 语义分析

由语义分析器来完成语义分析，即对表达式的语法层面分析。编译器对语义进行静态分析。静态语义分析通常包括声明和类型的匹配，类型的转换等。这个阶段会报告错误的语法信息。

1.3 汇编

• 汇编器是将汇编代码转变成机器可执行的指令，每一个汇编语句几乎都对应一条机器指令。
• 根据汇编指令和机器指令的对照表进行一 一翻译，不做指令优化。

1.4 链接

• 所谓链接，就是把一堆文件链接在一起，解决一个项目中多文件、多模块之间互相调用的问题。
• 链接过程主要包括：地址和空间分配，符号决议和重定位等步骤。

2、运行环境

1. 程序必须先载入内存。在有操作系统的环境中，一般由这个操作系统完成。在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存中来完成（比如：智能手表等）。
2. 程序的执行便开始，调用main函数。
3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈（stack），存储函数的局部变量和返回地址。程序同时也可以使用静态（static）内存，存储于静态内存中的变量在程序的整个执行过程一直保留它们的值。
4. 终止程序。正常终止main函数；也可能是意外终止。