编译原理第六章复习.docVIP

第6章 1．类型检查 是静态语义分析中最基本的部分。包括类型系统、类型检查、多态函数、重载 静态语义检查 类型检查. 控制流检查. 唯一性检查 名字关联检查 2．变量的类型 变量在程序执行期间的取值范围以及可以施行的运算 3．类型系统 由一组定型规则（typing rule）构成，这组规则用来给各种语言构造指派类型。指明了程序中，运算的合法型和运算分量类型的一致性（相容性）；类型转换的规则等。 类型系统的根本目的是防止程序运行时出现执行错误 4．类型可靠的语言 粗略地说，所有程序运行时都没有执行错误出现 5．显式类型化的语言 类型是语法的一部分 隐式类型化的语言 隐式定义变量类型，如fortran语言 类型检查 用语法制导的方式，根据上下文有关的定型规则来判定程序构造是否为良类型的程序构造的过程。 类型检查可以分为动态和静态两种。 动态检查在运行时刻完成。功效很低。但是如果语言允许动态确定类型，动态检查是必须的。 静态检查在编译时刻完成。静态检查是高效的。 如果一个语言能够保证所有经过静态检查之后，程序没有运行时刻的类型错误，则称为强类型的。 类型检查的内容包括： 表达式 语句 函数 表达式的类型检查 对于表达式的类型检查，主要的工作是检查参与运算的操作数是否可以进行相应操作。 语句的类型检查 语句的类型检查主要包括：赋值语句类型的相容性，控制表达式的结果类型检查。 函数的类型检查 检查参数是否符合条件，并且确定函数结果的类型。 当函数有多个参数的时候，需要检查多个参数的类型。 实际的翻译方案还需要考虑类型的相容性问题。 类型表达式 使用类型表达式来表示程序中可能出现个各种类型。 定义： 基本类型就是类型表达式。 对类型表达式命名的类型名是类型表达式。 类型构造符作用于类型表达式的结果是类型表达式。 数组：array(I,T) 卡氏积：T1(T2 纪录：record((N1(T1) ( (N2(T2) (... ((Nn (Tn)) 指针：pointer(T) 函数：D1 (D2 (... (Dn(R 类型表达式可以包含变量（如果允许类型重载） 类型表达式的结构等价 两个类型表达式完全相同（当无类型名时） 类型表达式树一样 相同的类型构造器作用于相同的子表达式 把所有的类型名字用它们定义的类型表达式 代换后，两个类型表达式完全相同 类型表达式的名字等价 把每个类型名看成是一个可区别的类型 两个类型表达式名字等价当且仅当这两个类型表达式不做名字代换就结构等价 或者用如下定义： 结构等价：两个类型表达式结构等价iff它们是相同的基本类型，或者它们是从同样的类型构造符作用于结构等价的类型。 名字等价：（如果允许类型命名）当且仅当它们相同。 隐式类型转换 从一个类型到另一个类型的转换如果是由计算机自动来做。 类型强制 式一种隐式的类型转换。 一般的程序设计语言中都规定了某些类型之间的转换关系：比如说整数量可以被当作实数量参与运算，并且不需要程序员显式说明。 不同类型的常数在计算机中有不同的表示。当一个值需要转换成为其它类型使用的时候，需要使用某些代码进行转换。 因此，编译程序要识别需要进行类型转换的地方，并相应地生成代码。 程序设计语言的设计者需要考虑什么情况下需要和可以进行转换。 类型图 类型的典型实现就是构造一个类型图来表示类型； 每当一个类型构造子或基本类型出现，就建立一个结点； 每当一个新类型名字出现，就建立一个叶子结点； 以这种表示法，两个类型表达式等价，如果它们在类型图通过相同的结点来表示。 类型表示中的环 递归数据类型包括列表、树以及其它构造