北大编译原理chapter7-精选课件(公开).pptVIP

产生式 语义规则 E→E1 and E2 E1.true:= newlabel; E1.false:= E.false; E2.true:=E.true; E2.false:=E.false; E.code:=E1.code‖ gen(E1.true’:’) ‖ E2.code （接上页） E→not E1 E1.true:= E.false; E1.false:= E.true; E.code:=E1.code 7.3 赋值语句 赋值语句的翻译 表达式的类型可以是整型、实型、数组 和记 录 7.3.1 符号表中的名字 ◆名字可以理解为指向符号表中相应该名字 表项的指针 如何根据名字查找符号表的表项？ ◆过程lookup(id.name)检查是否在符号表中存在相应此名字的表项。 采用最近嵌套作用域规则查找非局部名字时，lookup过程先通过top(tblptr）指针在当前符号表中查找名字为name的表项。 若找到，返回有关信息。 若未找到，lookup就利用当前符号表表头 的指针找到该符号表的外围符号表，然后在那里查找名字为name的表项，直到所有外围过程的符号表中均无此name表项，则loo