上次课程内容回顾.pptVIP

上次课程内容回顾 4.4 声明语句的翻译 4.4.1 变量的声明 1 变量的类型定义与声明 （续） 2 变量声明的语法制导翻译 2 变量声明的语法制导翻译（续1） 2 变量声明的语法制导翻译（续2） 2 变量声明的语法制导翻译（续3） 2 变量声明的语法制导翻译（续4） 4.4.3 过程的定义与声明 4.4.3 过程的定义与声明（续） 4.4.3.1 左值与右值 4.4.3.1 左值与右值（续） 4.4.3.2 参数传递 1 值调用 值调用举例： 1 值调用（续1） 1 值调用（续2） 2 引用调用 2 引用调用（续1） 2 引用调用（续2） 2 引用调用（续3） 3 复写-恢复 3 复写-恢复（续1） 3 复写-恢复（续2） 4 换名调用 4 换名调用（续1） 4 换名调用（续2） 上次课程内容回顾 4.4.3.3 作用域信息的保存1 过程的作用域 1 过程的作用域（续1） 1 过程的作用域（续2） 1 过程的作用域（续3） 2 符号表中的作用域信息 3 语法制导翻译生成符号表(a) 简化的过程定义文法（忽略了参数）： (b) 全程量、属性与语义函数 (b) 全程量、属性与语义函数（续1） (b) 全程量、属性与语义函数（续2） (c) 语义规则 (d) 语法制导翻译的过程 (d) 语法制导翻译的过程（续1） (d) 语法制导翻译的过程（续2） 4.5 简单算术表达式与赋值句 4.5.1 简单算术表达式的语法制导翻译 4.5.2 变量的（内部）类型转换 4.5.2 变量的（内部）类型转换（续1） 4.5.2 变量的（内部）类型转换（续2） 4.5.2 变量的（内部）类型转换（续3） 嵌套过程中名字作用域信息的保存，可以用具有嵌套结构的符号表来实现，每个过程可以被认为是一个子符号表，或者是符号表中的一个节点。 嵌套的节点之间可以用双向的链表连接，正向的链指示过程的嵌套关系，而逆向的链可以用来实现按作用域对名字的访问。 2 符号表中的作用域信息 例4.15 忽略参数的快排序程序的符号表： 双向链表： 正向 －嵌套定义关系 逆向 －作用域与可见性关系 问题： 参数如何处理？ (a,x) (i,v) (i) (i,j) P → D (1) D → D ; D (2) | id : T (3) | proc id ; D; S (4) 问题：如何在处理产生式(1)和(4)的语言结构时正确地填写符号表信息（双向链表）？ 修改文法，使得在定义D之前生成符号表（LR分析）： P → M D (1) D → D ; D (2) | id : T (3) | proc id ; N D; S (4) M →ε (5) N →ε (6) 全程量：有序对栈（tblptr, offset） 其中，tblptr保存指向符号表节点的指针， offset保存当前节点所需宽度。 栈上的操作：push(t, o)、pop、top(stack) 语义函数与过程： 函数mktable(previous)：建立一个新的节点，并返回指向新节点的指针。参数previous是逆向链，指向该节点的前驱，或者说是外层。 2. 过程enter(table, name, type, offset)：在table指向的节点中为名字name建立新的条目，包括名字的类型和存储位置等。 3. 过程addwidth(table, width)：计算table节点中所有条目的累加宽度，并记录在table的头部信息中。 4. 过程enterproc(table, name, newtable)：为过程name在table指向的节点中建立一个新的条目。参数newtable是正向链，指向name过程自身的符号表节点。 (1) P → M D (2) M → ε (3) D → D ; D (4) D → id : T (5) D → proc id ; N D1; S (6) N → ε {t:=mktable(null); push(t, 0,);} {t:=mktable(top(tblptr)); push(t,0);} {enter(top(tblptr),id.name,T.type,top(offset)); top(offset):=top(offset)+T.width;} { t:=top(tblptr); addwidth(t, top(offset)); pop; enterp