编译的那些事

最新推荐文章于 2023-10-26 15:50:03 发布

rv0p111

最新推荐文章于 2023-10-26 15:50:03 发布

阅读量491

点赞数

分类专栏：编译

本文链接：https://blog.csdn.net/ZCMUCZX/article/details/79952952

版权

编译专栏收录该内容

28 篇文章 2 订阅

订阅专栏

一、简单介绍

首先我们先了解下什么是编译，编译其实简单来说就是把我们写的高级代码，翻译成另一种语言（称为目标代码）。而编译是由编译程序来做的，很多计算机都配有不止一种高级语言的编译程序，编译程序又可以理解为语言翻译程序。

计算机程序设计语言大致可以分为三个阶梯，一个是机器语言由0和1组成，比如说0010 0010 0010

还有就是汇编语言比如说mov x,2，引入了助记符，方便我们编写，但是它依赖于特定机器，非计算机专业人员使用受限制，毕竟不同架构的CPU，指令集不同，以及汇编语言的编写效率很低，就比如说一个简单的a+b，我们都需要很多条指令来完成

另外就是高级语言，高级类似于数学定义或者是自然语言的简洁形式，比如说x=2，编写效率高，不依赖与特定的机器，接近我们的表达习惯

高级语言和汇编语言最终都会翻译为由0和1构成的机器代码才可以在机器上执行

编译其实就是指将高级语言翻译成汇编语言或机器语言的过程，高级语言称之为源语言，后者称之为目标语言。

编译程序的好处

有了编译程序的存在可以使得程序员不必去考虑与机器有关的琐碎的细节，这对于当今机器的数量和种类持续不断地增长的年代是很重要的，如果没有编译程序，我们就需要自己去考虑把我们的高级语言代码转换为底层执行代码显然是一个很麻烦的事情。

编译程序的主要构成成分有：词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、表格管理程序及出错处理程序。

（1）词法分析程序：从左到右扫描源程序，识别单词及其有关属性；
（2）语法分析程序：分析源程序的结构, 判别它是否为相应程序设计语言中的一个合法程序；
（3）语义分析程序：审查源程序有无语义错误，为代码生成阶段收集类型信息；
（4）中间代码生成程序：将源程序变成一种内部表示形式；
（5）代码优化程序：对前阶段产生的中间代码进行变换或进行改造，使生成的目标代码更为高效；
（6）目标代码生成程序：把中间代码变换成特定机器上的绝对指令代码或可重定位的指令代码或汇编指令代码；
（7）表格管理程序：保存编译过程中的各种信息；
（8）出错处理程序：若编译过程中发现源程序存在错误，则报告错误的性质和错误发生的地点，有些还可以自动校正错误。

下面我们再去看下一个程序设计语言程序的典型的处理过程

这里再解释下预处理程序、编译程序、汇编程序、装配/连接编辑程序的作用

预处理程序:对于有一些预处理程序，如果一些源程序有的时候分成几个模块存放在不同的文件中，将这些源程序汇集在一起就属于预处理程序做的事情，还有就是宏的展开等任务也是它做的
编译程序:将预处理后的源程序转换为汇编程序或者是二进制文件
汇编程序:将汇编语言翻译成机器语言指令
装配/连接编译程序:去连接某些库程序才能够去产生真正能够在机器上运行的代码，比如说C语言的连接程序是这样运作的，如果说我们写了一个源程序中使用了printf函数的话，由于它是一个c标准库里的函数。所以会将printf函数存放在一个名为printf.o的单独预编译的文件中。而这个文件必须以适当的方式并入到我们的程序中，这个工作由链接器完成。将外部的.o文件并入后，得到一个完整的可执行文件。可执行文件加载到存储器后，由系统进行复制执行

二、编译过程

编译程序完成了从源程序到目标程序的翻译工作，这个过程其实是很复杂的，这个工作过程是划分阶段来进行的，在每个阶段会将源程序的一种表示形式转换成另外一种形式，在各个阶段进行的操作在逻辑上是紧密的连接在一起的。一般来说编译程序可以划分为词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码这6个阶段。

即过程如下所示

1、词法分析

词法分析是编译程序的第一个阶段，这个阶段的任务主要就是从左到右的去一个一个字符的去读取源程序，对构成源程序的字符流进行扫描和分解，从而去识别出一个个的单词，就比如说 int a = 10; 就会去识别出int 、a、=、; 这四个单词，然后组成单词序列

2、语法分析

语法分析是编译程序的第二个阶段，这个阶段的任务就是在词法分析的基础上将单词序列分解成各类语法短语，这种语法短语也称为语法单位，可以表示成语法树，比如说int a = 10 可以表示为

其实关于语法分析所依据的是语言的语法规则，通过语法分析可以确定一个输入串是否可以构成语法上正确的程序。

3、语义分析

语义分析做的事情是去审查源程序有无语义错误，为代码生成阶段去收集类型信息，也就是说语义分析的一个工作其实就是进行类型审查，审查每个运算符是否具有语言规范允许的运算对象，当不符合语言规范的时候，编译程序就会报告错误。比如说有的编译程序如果要对实数去做数组的下标就会报错。

其实关于词法分析、语法分析、语义分析我们可以这样理解，就好比我们要翻译一句英文，先要分析单词的词性比如说介词、名词、动词啊，然后再用语法分析进行分析出句子中的各类短语比如说动词短语、介词短语等，从而获得句子的结构，最后才能分析句子的语义关系是什么，然后最后给出中间表示形式
4、中间代码的生成

在上面的工作完成之后，有的编译程序会将源程序变成一种内部的表示形式，这种内部的表示形式叫做中间语言或者叫做中间代码。其实中间代码就是一种结构简单、含义明确的记号系统，这种记号系统可以设计为多种多样的形式，重要的设计原则有两点:一个就是容易生成中间代码，还有一个就是容易将其翻译成目标代码。很多编译程序其实是采用了一种近似三地址指令的四元式的中间代码，之所以所四元式是因为里面有四个字段，当然这四个字段不一定都用到，三地址指令是因为里面有两个运算对象和一个结果对象，这种四元式的形式为
(运算符，运算对象1，运算对象2，结果)
比如说int a = 10 表示为四元式就是( = - 10 a )

5、代码优化