编译链接解析

目录

一. 环境

二. 翻译环境

1.预处理

2.编译

 3.汇编

4.链接

三. 运行环境

---

一. 环境

在ANSIC的任何⼀种实现中，存在两个不同的环境。

第1种是翻译环境，在这个环境中源代码被转换为可执行的机器指令（⼆进制指令）。

第2种是执行环境，它用于实际执行代码。

二. 翻译环境

翻译环境是由编译和链接组成的。

链接又可以分为预处理（有些书也叫预编译）、编译、汇编三个过程

 多个.c文件单独经过编译器，编译处理生成对应的目标文件。

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

 多个目标文件和链接库⼀起经过链接器处理生成最终的可执行程序。

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

经过预处理后的.i文件中不再包含宏定义，因为宏已经被展开。并且包含的头文件都被插入到.i文件 中。所以当我们无法知道宏定义或者头文件是否包含正确的时候，可以查看预处理后的.i文件来确认。

1.预处理

1. 预处理器（cpp）将所有的#define删除，并且展开所有的宏定义。
2. 处理所有的条件预编译指令，比如#if、#ifdef、#elif、#else、#endif等。
3. 处理#include预编译指令，将被包含的文件直接插入到预编译指令的位置。
4. 删除所有的注释。
5. 添加行号和文件标识，以便编译时产生调试用的行号及编译错误警告行号。
6. 保留所有的#pragma编译器指令，因为编译器需要使用它们。（VS创建头文件时会自动包含#pragma once）

2.编译

编译过程可分为6步：扫描（词法分析）、语法分析、语义分析、源代码优化、代码生成、目标代码优化。

1. 词法分析：将源代码程序被输入扫描器，扫描器的任务就是简单的进⾏词法分析，把代码中的字符分割成⼀系列 的记号（关键字、标识符、字面量、特殊字符等）

   记号	类型
   array	标识符
   index	标识符
   (	左圆括号
   )	右圆括号
   +	加号
   1	数字
   =	赋值
   [	左方括号
   ]	右方括号
   4	数字
   6	数字
   *	乘号

2. 语法分析：语法分析器将记号（Token）产生语法树（Syntax Tree）。yacc工具可实现语法分析(yacc: Yet Another Compiler Compiler)。
3. 语义分析：静态语义（在编译器可以确定的语义）、动态语义（只能在运行期才能确定的语义）。将对扫描产生的记号进行语法分析，从而产生语法树。这些语法树是以表达式为节点的树
4. 源代码优化：源代码优化器，将整个语法书转化为中间代码（Intermediate Code）（中间代码是与目标机器和运行环境无关的）。中间代码使得编译器被分为前端和后端。编译器前端负责产生机器无关的中间代码；编译器后端将中间代码转化为目标机器代码。
5. 目标代码生成：代码生成器(Code Generator).
6. 目标代码优化：目标代码优化器(Target Code Optimizer)。

 3.汇编

汇编器是将汇编代码转转变成机器可执行的指令，每⼀个汇编语句几乎都对应⼀条机器指令。

就是根据汇编指令和机器指令的对照表⼀⼀的进行翻译，也不做指令优化。

4.链接

链接是⼀个复杂的过程，链接的时候需要把⼀堆文件链接在⼀起才生成可执行程序。

链接过程主要包括：地址和空间分配，符号决议和重定位等这些步骤。

链接解决的是⼀个项目中多文件、多模块之间互相调用的问题。

意义：我们不用将一个大型的应用程序组成一个巨大的源文件，而是可以把它分解成为更小、更好管理的模块，可以独立的修改和编译这些模块。当我们改变这些模块中的一个时，只需要简单的重新编译它，并重新链接应用，而不必重新编译其他文件。

三. 运行环境

1. 程序必须载入内存中。在有操作系统的环境中：⼀般这个由操作系统完成。在独立的环境中，程序的载入必须由手工安排，也可能是通过可执行代码置入只读内存来完成。

2. 程序的执行便开始。接着便调用main函数。

3. 开始执行程序代码。这个时候程序将使⽤⼀个运行时堆栈（stack），存储函数的局部变量和返回地址。程序同时也可以使用静态（static）内存，存储于静态内存中的变量在程序的整个执行过程 ⼀直保留他们的值。

4. 终止程序。正常终止main函数；也有可能是意外终止。