c语言编译链接

目录

1.翻译环境和运行环境

2.翻译环境

2.1预编译（预处理）

2.2编译

2.2.1词法分析

2.2.2语法分析

2.2.3语义分析

2.3汇编

2.4链接

3.运行环境

---

1.翻译环境和运行环境

在ANSI C（标准c）的任何一种实现中，存在两个不同的环境

1.翻译环境：在这个环境中，源代码被转换成可执行的机器指令（二进制指令）。

2.运行环境：用来实际执行代码。

2.翻译环境

翻译环境是由编译和链接两个大的过程组成，编译又细分为预编译，编译，汇编，三个过程：

 编译时，每一个.c文件会独立的编译成一个.obj的目标文件，然后链接器将一个工程中所有的.obj目标文件链接起来形成一个.exe的可执行文件。       注意：链接库是指运行时库或者第三方库。

visual studio使用的是cl.exe的编译器：

 link.exe的链接器：

 下面这个简单的工程是由test.c和add.c组成（工程的名字叫做编译链接）

其运行时线各自经过编译生成各自对应的.obj目标文件：

然后经过链接生成可执行文件：

下面是详细的编译链接过程：

2.1预编译（预处理）

在预处理阶段，源文件跟头文件会被处理成以   .i  为后缀的文件。

预处理阶段主要处理那些源文件中#开始的预编译指令，比如：#include  #define，处理的规则如下：

--将所有的#define删除，并展开所有的宏定义

--处理所有的条件编译指令：#if  #ifdef   #elif   #else    #endif

--处理#include预编译指令，将包含的头文件内容插入到该预编译指令的位置，这个过程是递归进行的，也就是说被包含的头文件也     可能包含其他文件。

--删除所有注释，变成一个' '（空格）

--添加行号和文件名标识，方便后续编译器生成调试信息

--保留所有的#pragma的编译器指令，编译器后续会使用

2.2编译

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

2.2.1词法分析

将生成的.i文件输入到扫描器进行简单的词法分析，把代码中的字符分割成一系列的标记（关键字，标识符，字面量，特殊字符等）

代码为:array[index]=(index+4)*(2+6);的词法分析结果：

2.2.2语法分析

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

2.2.3语义分析

语法分析器完成语音分析，即堆表达式进行语法层面的分析。这里的分析指的是语义的静态分析，通常包括：声明和类型的匹配，类型的转换等

2.3汇编

将汇编代码转换为机器可执行的指令，每一个汇编语句几乎都对应一条机器指令。生成.o(.obj)的二进制文件

对于每一个源文件，会形成自己的符号表，里面放着全局的变量或函数跟他们的地址。

2.4链接

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

链接解决的是一个项目中多文件，多模块互相调用的问题。

3.运行环境

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

2.程序接着便开始运行，接着就是调用main函数。

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

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