什么是编译?
编译就是将高级语言程序转换成汇编语言程序/及其语言程序的过程。
编译,说白了就是翻译,对比精细的人工英译汉的步骤:
- 词法分析:分析词性:每个词属于名词?形容词?动词?介词…
- 语法分析:分析各种介词短语、名词短语、动词短语…
- 语义分析:以上两个步骤的意义就是为语义分析做铺垫,通过将语法展开成下图树的形式,可以最终根据根节点分析出整个句子的意思是什么。
编译的步骤也和人工翻译是一样的。
编译器的结构
词法分析
1. 词法单元形式:二元组token:<种别码,属性值>
2. 对种别码的解释
-
一词一码:就是说,每个不同的词分别使用一个种别码,比如:
if: <IF, >
program: <PROGRAM, >
while: <WHILE, > -
多词一码:标识符是程序员编程时设置的。我们为不能枚举所有标识符,因此将所有标识符归为一个种别码。由于多个词对应一个种别码,因此在同一种别码间需要另外设置属性值来标识不同的属性:(变量名?数组名?常量?)或者(整型?浮点型?字符型?…)
语法分析
解释:<D>是一条声明语句,<T>是数据类型,| 表示“或”的关系,<IDS>是Identify Sequence标识序列。对比下面的输入语句:
整条语句<D>: int a, b, c;
数据类型<T>: int
标识序列<IDS>:a, b, c;
语义分析
主要做两件事:收集标识符的属性信息 和 对语义的检查(检查合法性)