第07章编译资料.pptVIP

第7章 编译概述 1. 编译 先将源程序翻译成目标程序，再执行目标程序并得到结果 —— 编译执行。 2. 解释 一边对源程序进行解释（分析、翻译），一边执行该程序并得到结果 —— 解释执行。 解释执行的优缺点 解释执行特别适合于动态语言和交互式环境，因为可以立即得到计算结果，便于人机对话。 解释器边翻译边执行，重复执行的语句需要重复翻译，比编译执行要花去更多的时间，执行效率较低。 3. 编译步骤 逻辑上可以将编译的过程分成两大部分，即源程序的分析和目标程序的合成。具体包括以下几个步骤： 1) 词法分析 根据词法规则，进行合法性检查；从字符串中识别出单词符号。 字符串 → 单词符号串（单词串、符号串） 2) 语法分析 根据语法规则，进行合法性检查；将单词符号串组合成各类语法单位，构造语法树。 单词符号串 → 语法树 3) 语义分析与中间代码生成 根据语义规则，进行合法性检查；进行初步的翻译，生成中间代码。 语法树 → 中间代码 4) 优化 对中间代码进行等价变换，使代码的效率更高。 中间代码 → 优化后的中间代码 5) 目标代码生成 将中间代码翻译成目标代码（目标程序） 中间代码 → 目标程序 编译的每个步骤都可能涉及到“符号表管理”和“出错处理”的操作。 符号表管理 程序相关的各种符号的建立、查找和更新。 出错处理 发现错误、指出出错位置、限制影响范围。 “符号表管理”和“出错处理” 实例分析 实例：一个C程序（片段）的编译过程。 ... int aaa, bbb, ccc; ... aaa = bbb + ccc * 100； ... 第1步：词法分析 1) 识别出源程序中的单词符号，将aaa、bbb、ccc三个标识符加入符号表。 2) 识别赋值语句中的单词符号，生成单词符号串（ 7个单词符号）： sym1 = sym2 + sym3 * 100 其中，sym1、sym2、sym3分别代表aaa、bbb、ccc在符号中的编号，通过编号可以查到相应符号的各个属性。 第2步：语法分析 1) 进行语法的合法性检查 根据“赋值语句”的文法规则，判断： sym1 = sym2 + sym3 * 100 是一个合法的“赋值语句”。 2) 合法的句子可构造出语法树 第3步：语义分析和中间代码生成 1) 语义分析：语义的合法性检查，例如：类型检查、类型转换。 2) 中间代码生成：生成语义等价，结构更简单的中间代码。 temp1 = 100 temp2 = sym3 * temp1 temp3 = sym2 + temp2 sym1 = temp3 第4步：优化 代码的等价变换，取消多余的数据和操作，提高代码的“时空”效率。 temp1 = sym3 * 100 sym1 = sym2 + temp1 第5步：目标代码生成 根据目标语言的规范，生成相应的汇编程序。 关键点：1.变量地址的分配；2.寄存器的分配。 MOV R2, sym3 MUL R2, 100 MOV R1, sym2 ADD R1, R2 MOV sym1, R1 说明 本课程采用汇编语言作为编译的目标语言，即第5步生成的目标程序是一个汇编程序。 编译的步骤 4. 课后练习 (1) 你熟悉的语言中哪些是解释执行的语言？举例说明。 (2) 你熟悉的语言中哪些是编译执行的语言？举例说明。 *