语法制导翻译生成中间代码培训.pptVIP

第四章 语法制导翻译生成中间代码 4.1 语法制导翻译简介4.1.1 语法与语义 4.1.1 语法与语义（续1） 4.1.2 属性与语义规则 4.1.2 属性与语义规则（续1） 4.1.2 属性与语义规则（续2） 4.1.3 语义规则的两种形式 4.1.3 语义规则的两种形式（续1） 4.1.3 语义规则的两种形式（续2） 4.1.3 语义规则的两种形式（续3） 4.1.4 LR分析翻译方案的设计 4.1.4 LR分析翻译方案的设计（续1） 4.1.5 递归下降分析翻译方案的设计 4.2. 中间代码简介 4.2.1 后缀式 4.2.1 后缀式（续1） 4.2.1 后缀式（续2） 4.2.2 三地址码 2 三地址码的种类 3 三地址码的实现：三元式与四元式 3 三地址码的实现（续1） 3 三地址码的实现（续2） 上次课程内容回顾 3 三地址码的实现（续2） 3 三地址码的实现（续2） 4.2.3 图形表示 2 树的语法制导翻译 3 树的优化表示－DAG 4 树与其他中间代码的关系 4.3 符号表简介 4.3.1 符号表条目 4.3.2 构成名字的字符串的存储 4.3.3 名字的作用域 4.3.3 名字的作用域（续1） 4.3.3 名字的作用域（续2） 4.3.4 线性表 4.3.4 线性表（续1） 4.3.5 散列表 2 散列表上的操作 4.3.5 散列表（续1） 4.3.5 散列表（续2） 结 束（2006年5月17日） 定长数据 变长数据 直接存放 间接存放 名字（直接存储） 属性 sort proc, ... a int, ... readarray proc, ... draw_a_red_line_for_object_a boolean, ... 名字（间接存储） 属性 101 (或101/4) proc, ... 106 (或105/1) int, ... 108 (或106/9) proc, ... 118 (或115/28) boolean, ... sort#a#readarray#draw_a_red_line_for_object_a# ↑101 sortareadarraydraw_a_red_line_for_object_a ↑101 间接存储的方法实际上解决了复杂信息的存储问题，将其推广到属性，则任何一个复杂的属性，均可以为其另辟空间(空间本身可以是复杂结构，如数组的内情向量等)，而仅需要将指向此空间的指针放在此属性在符号表中的对应位置即可。 程序设计语言的名字可以出现在不同的范围内，并且可以具有不同的意义。 两种划分范围的方式：并列的和嵌套的。 不同的语言采用不同的方式：如Pascal的过程定义可以是嵌套的，而C的过程定义是并列的，但是C允许程序块是嵌套的。 名字的作用域：名字在哪个范围内起作用。并列的两个范围内的名字作用域互不相干，但是分别在嵌套的两个范围内的名字，其作用域的问题就需要制定规则来限定，以使得任何一个名字在任何范围内涵义都是无二义的。 名字的作用域规则：规定一个名字在什么样的范围内应该表示什么意义。 编译时就可以确定名字的作用域，也可以说，仅从静态读程序就可确定名字的作用域。 2 最近嵌套规则（most closely nested）： 以程序块为例，也适用于过程。 ① 程序块B中声明的作用域包括B； ② 如果名字x不在B中声明，那么B中x的出现是在外围程序块B的x声明的作用域中，使得 (a) B有x的声明，并且 (b) B比其它任何含x声明的程序块更接近被嵌套的B。 通俗地讲，名字声明在离其最近的内层起作用，即在名字引用处从内向外看， 它处在所遇到的第一个该名字声明的作用域。 例子：找人 张三；软件工程张三；计算机学院张三；华侨大学计算机学院张三 1 静态作用域规则（static-scope rule）： 例4.10 说明符合作用域规则的C++程序。 void main() { int a=0, b=0; /* B0层 */ printf(%d %d\n, a, b); /* 结果为：0，0 */ } 声明与作用域： 声 明 作用域 int a=0 B0-B2 int b=0 B0-B1 int b=1 B1-B3 int a=2 B2 int b=3 B3 { int b=1; /* B1层，被B0嵌套 */