《编译原理》第6章 类型检查.ppt

?? 语义分析程序首先处理类型说明，建立类型 表达式，然后处理变量说明，建立变量和类型 表达式的绑定。具体实现是把变量标识符的类 型信息记录在其符号表的表项中，过程 addtype（id.entry,T.type）完成这个任务，其 翻译模式由图6－4给出 ?P→D；E ???D→D；D ???D→id:T??{addtype（id.enery，T.TYPE）} ???T→char??{T.type:=char} ???T→integer? {T.type:=integer} ???T→↑T1 ?{T.type:=POINTER(T1.type)} ???T→ARRAY[num] OF T1 ? {T.type:=ARRAY(num.val,T1.type)} ??图6-4 建立变量标识符和类型属性绑定 的翻译模式 6.2.2 类型检查 类型检查可以分为动态和静态两种。 动态检查在运行时刻完成。功效很低。但是如果语言允许动态确定类型，动态检查是必须的。 静态检查在编译时刻完成。静态检查是高效的。 如果一个语言能够保证经过静态检查之后，程序没有运行时刻的类型错误，则称为强类型的。 类型检查的内容包括： 表达式 语句 函数 ??? ?检查运算对象之间的类型是否满足相容条件,函数lookup（e）取符号表中保存在条目e中的类型。?? E→num ?? {E.type:=integer} ??? E→id ? ?{E.type:=lookup(id.entry)} ??? E→E1 MOD E2 ??{E.type:= IF (E1.type=integer)AND(E2.type=integer) ??? ????????THEN integer ELSE type_error} ?? E→E1[E2] ??{E.type:= IF(E2.type=integer)AND(E1.type=ARRAY(s,t)) ??? ? THEN t ELSE type_error } ?? E→E1↑?? {E.type:=IF E1.type=POINTER(t) ??? ???????????????????THEN t ELSE type_error} ??? 表达式的类型检查的翻译模式? ?表达式的类型检查 语句的类型检查主要包括：赋值语句类型的相容性，控制表达式的结果类型检查。 指派给语句的类型是基本类型void，如果在语句中发现类型错误， 指派给语句的类型是type_error。  语句的类型检查 ???S→id:=E {S.type:=IF id.type=E.type ??? ?????????????????????THEN void ELSE type_error} ???S→IF E THEN S1 {S.type:=IF E.type=boolean ??? ????????????????????THEN S1.type ELSE type_error} ??S→WHILE E DO S1 {S.type:=IF E.type=boolean ??? ?????????????????????THEN S1.type ELSE type_error} ??S→S1;S2 {S.type:=IF (S1.type=void)AND(S2.type=void) ??? ??????????????? THEN void ?ELSE type_error} ??? ?????图6－5检查语句类型的翻译模式 ??? 对说明部分的分析，应该能知道被引用函数 的类型。翻译模式为： ??T→T1‘ →’T2 {T.type:=T1.type→T2.type} ??? 函数引用可看成一个表达式作用于另一个表 达式，它的类型检查是： ??E→E1(E2) {E.type:=IF (E2.type=s)AND(E1.type=s→t) ??? ???????????????THEN t ELSE type_error } ??? ??把单个参数推广到多个参数,类型为 T1、T2、…、Tn的n个变元可以看成类型 为T1?T2 ? … ? Tn的一个变元。 函数引用的类型检查 ??6.2.2 类型转换 一般的程序设计语言中都规定了某些类型之间的转换关系：比如说整数量可以被当作实数量参与运算，并