编译原理-声明语句翻译.pptVIP

* 1 过程的作用域（续3） 嵌套过程中名字作用域信息的保存，可以用具有嵌套结构的符号表来实现，每个过程可以被认为是一个子符号表，或者是符号表中的一个节点。 嵌套的节点之间可以用双向的链表连接，正向的链指示过程的嵌套关系，而逆向的链可以用来实现按作用域对名字的访问。 2 符号表中的作用域信息 * 2 符号表中的作用域信息 例4.15 忽略参数的快排序程序的符号表： 双向链表： 正向 －嵌套定义关系 逆向 －作用域与可见性关系 问题： 参数如何处理？ (a,x) (i,v) (i) (i,j) * 3 语法制导翻译生成符号表(a) 简化的过程定义文法（忽略了参数）： 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) * (b) 全程量、属性与语义函数 全程量：有序对栈（tblptr, offset） 其中，tblptr保存指向符号表节点的指针， offset保存当前节点所需宽度。 栈上的操作：push(t, o)、pop、top(stack) 语义函数与过程： 函数mktable(previous)：建立一个新的节点，并返回指向新节点的指针。参数previous是逆向链，指向该节点的前驱，或者说是外层。 * (b) 全程量、属性与语义函数（续1） 2. 过程enter(table, name, type, offset)：在table指向的节点中为名字name建立新的条目，包括名字的类型和存储位置等。 3. 过程addwidth(table, width)：计算table节点中所有条目的累加宽度，并记录在table的头部信息中。 * (b) 全程量、属性与语义函数（续2） 4. 过程enterproc(table, name, newtable)：为过程name在table指向的节点中建立一个新的条目。参数newtable是正向链，指向name过程自身的符号表节点。 * (c) 语义规则 (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; enterproc(top(tblptr), id.name, t); } {addwidth(top(tblptr),top(offset)); pop;} * (d) 语法制导翻译的过程 proc sort; a : array[10] of int; x : int; readarray proc readarry; i : int; read(a); 构造的符号表： * (d) 语法制导翻译的过程（续1） 序号 产 生 式 语 义 处 理 结 果 (1) M1→ε t1 := mktable(null); push(t1, 0); (2) N1→ε t2 := mktable(top(tblptr)); push(t2, 0); (3) T1→int T1.type=integer, T1.width=4 (4) T2→array [10]of T2 T2.type=array(10,int), T2.width=40 (5) D1→a:T2 (a,arr,0)填进t2所指节点，top(offset):=40 (6) T3→int T2.type=integer, T2.width=4 (7) D2→x:T3 (x,int,40)填进t2所指节点，top(offset):=44 被剪的句柄和相应的语义动作 * (d) 语法制导翻译的过程（续2） (8) N2→ε