编译程序构造与实践第六章.pptVIP

假定有下列C程序片段： typedef struct cell *link; link next; link last; struct cell *p; struct cell *q, *r; 问题是：变量next、last、p、q和r都有相同的类型吗？ 类型相同的含义？ 类型表达式的等价性：结构等价、名等价 判结构等价的函数定义之构架。 int testequiv(s,t) { if( s和t是相同的基本类型) return 1; if( s==array(s1,s2) t==array(t1,t2)) return testequiv(s1,t1) testequiv(s2,t2); if( s==s1×s2 t==t1×t2) return testequiv(s1,t1) testequiv(s2,t2); if( s==pointer(s1) t==pointer(t1)) return testequiv(s1,t1); if( s==s1→s2 t==t1→t2) return testequiv(s1,t1) testequiv(s2,t2); return 0; } {addtype(id.entry,T.type)} {addtype(id.entry, array(num.lexval,T.type))} {T.type:=char} {T.type:=integer} {T.type:=pointer(T1.type)} P∷=D；E D∷=D；D D∷=T id D∷=T id[num] T∷=char T∷=int T∷=T1 * 语 义 动 作 重写规则 2. 确定类型 语义分析的基本功能之一：确定类型。 确定标识符的类型等属性。 类型确定的翻译方案 如何实现把类型属性等信息填入符号表中？ 符号表实际上是标识符表的扩充，其条目应扩充成包含类型等属性信息。即，关于标识符的属性字符号类部分设计成下形： 0 种类 特征 种类指明标识符所代表对象的种类，对于C语言，可以是常量、简单变量、数组、结构（体）、联合（共用体）、文件、标号、指针、函数、类型或主函数等。 作为常量或变量等，可以具有整型、实型或字符型，也可以是枚举型。函数则可以有参数，也可以无参数，函数可以有值，也可以无值。不论是变量、数组，还是函数，都可以作为函数的形式参数，等等。这些信息记录在特征部分中。 可具体设计如下。属性字共32位，即，?0?1…?4?5…?15?16…?31，其中，?0=0，非特定符号类；?1…?4：种类，其值从1到15，让1对应于常量、2对应于简单变量、…、9对应于函数、10对应于过程与11对应于类型等。让15对应于主函数。 ?5…?15：特征，?5=1是整型（?5=0，非整型），?6=1是实型，?7=1是字符型，?8=1是枚举型，?11=1是形参，?12=1是有参数，?13=1是系统定义的标识符，?14=1是成员变量。当必要时，可以置?15为函数（过程）定义是否递归的标志。 但在设计属性文法时，通过设置属性值填入符号表，如id.kind=CONSTANT(常量)。 {E.type:=char} {E.type:=integer} {E.type:=gettype(id.entry)} {E.type:= if E1.type=integer and E2.type=integer then integer else type_error} {E.type:= if E2.type=integer and E1.type=array(s,t) then