编译

编译

编译(compilation , compile) 1、利用 编译程序从源语言编写的 源程序产生 目标程序的过程。 2、用 编译程序产生 目标程序的动作。 编译就是把高级语言变成计算机可以识别的2进制语言，计算机只认识1和0， 编译程序把人们熟悉的语言换成2进制的。 编译程序把一个 源程序翻译成 目标程序的工作过程分为五个阶段： 词法分析； 语法分析；语义检查和 中间代码生成； 代码优化； 目标代码生成。主要是进行 词法分析和 语法分析，又称为 源程序分析，分析过程中发现有语法错误，给出提示信息。

编译语言是一种以 编译器来实现的 编程语言。它不像 直译语言一样，由解释器将代码一句一句运行，而是以编译器，先将 代码编译为 机器码，再加以运行。理论上，任何编程语言都可以是编译式，或直译式的。它们之间的区别，仅与程序的应用有关。 ^[1]  

中文名

编译

外文名

compilation

学    科

计算机科学

用    途

编译程序

解    释

编写的 源程序产生 目标程序的过程

领    域

编译原理

目录

1. 1 编译程序
2. 2 词法分析
3. 3 语法分析

1. 4 中间代码
2. 5 代码优化
3. 6 目标代码

1. 7 表格管理
2. 8 出错处理

编译编译程序

将某一种程序设计语言写的程序翻译成等价的另一种语言的程序的程序, 称之为编译程序(compiler) . ^[2]  

编译词法分析

词法分析的任务是对由 字符组成的单词进行处理，从左至右逐个字符地对源 程序进行扫描，产生一个个的单词符号，把作为字符串的 源程序改造成为单词符号串的中间程序。执行词法分析的 程序称为词法 分析程序或扫描器。

源程序中的单词符号经扫描器分析，一般产生二元式：单词种别；单词自身的值。单词种别通常用整数编码，如果一个种别只含一个单词符号，那么对这个单词符号，种别编码就完全代表它自身的值了。若一个种别含有许多个单词符号，那么，对于它的每个单词符号，除了给出种别编码以外，还应给出自身的值。

词法分析器一般来说有两种方法构造：手工构造和自动生成。手工构造可使用 状态图进行工作，自动生成使用确定的有限 自动机来实现。 ^[3]  

编译语法分析

编译程序的 语法分析器以单词符号作为输入，分析单词符号串是否形成符合 语法规则的语法单位，如 表达式、赋值、循环等，最后看是否构成一个符合要求的程序，按该语言使用的语法规则分析检查每条语句是否有正确的 逻辑结构，程序是最终的一个语法单位。 编译程序的 语法规则可用 上下文无关文法来刻画。

语法分析的方法分为两种：自上而下分析法和自下而上分析法。自上而下就是从文法的开始符号出发，向下推导，推出句子。而自下而上分析法采用的是移进 归约法，基本思想是：用一个寄存符号的先进后 出栈，把输入符号一个一个地移 进栈里，当栈顶形成某个产生式的一个候选式时，即把栈顶的这一部分归约成该产生式的左邻符号。

编译中间代码

中间代码是 源程序的一种内部表示，或称 中间语言。中间代码的作用是可使 编译程序的结构在逻辑上更为简单明确，特别是可使 目标代码的优化比较容易实现中间代码，即为 中间语言程序，中间语言的复杂性介于 源程序语言和 机器语言之间。 中间语言有多种形式，常见的有逆 波兰记号、 四元式、三元式和树。

编译代码优化

代码优化是指对 程序进行多种等价 变换，使得从变换后的程序出发，能生成更有效的 目标代码。所谓等价，是指不改变 程序的运行结果。所谓有效，主要指 目标代码运行时间较短，以及占用的 存储空间较小。这种变换称为优化。

有两类优化：一类是对 语法分析后的 中间代码进行优化，它不依赖于具体的计算机；另一类是在生成 目标代码时进行的，它在很大程度上依赖于具体的计算机。对于前一类优化，根据它所涉及的 程序范围可分为局部优化、循环优化和全局优化三个不同的级别。

编译目标代码

目标代码生成是编译的最后一个阶段。 目标代码生成器把 语法分析后或优化后的 中间代码变换成目标代码。 目标代码有三种形式：

① 可以立即执行的 机器语言代码，所有地址都 重定位；

② 待装配的 机器语言模块，当需要执行时，由连接装入 程序把它们和某些运行 程序连接起来，转换成能执行的机器语言代码；

③ 汇编语言代码，须经过 汇编程序汇编后，成为可执行的 机器语言代码。

目标代码生成阶段应考虑直接影响到目标代码速度的三个问题：一是如何生成较短的目标代码；二是如何充分利用计算机中的寄存器，减少目标代码访问 存储单元的次数；三是如何充分利用计算机 指令系统的特点，以提高目标代码的质量。

编译表格管理

编译过程中 源程序的各种信息被保留在种种不同的表格，编译各阶段的工作都涉及到 构造、查找、或更新有关的表格。

编译程序的公共辅助部分。对源程序中的各种量进行管理，登记在相应的表格。编译程序处理时通过查表得到所需的信息。 ^[2]  

编译出错处理

如果编译过程中发现 源程序有错误， 编译程序应报告错误的性质和错误的发生的地点，并且将错误所造成的影响限制在尽可能小的范围内，使得源程序的其余部分能继续被编译下去，有些编译程序还能自动纠正错误，这些工作由错误处理程序完成。

需要注意的是，一般上 编译器只做 语法检查和最简单的语义检查，而不检查 程序的逻辑。

参考资料

• 1.    编译语言  ．维基百科[引用日期2015-03-14]
• 2.    陈英 陈朔鹰．编译原理：清华大学出版社，2009年
• 3.    编译原理基础  ．百度文库[引用日期2013-03-11]

词条标签：

科学百科信息科学分类 ， 中国电子学会 ， 科学 ， 学科