编译原理第五的章类型检查.ppt

中国科大 第五章 类 型 检 查 本章内容 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查 5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 介绍一些和程序运行有联系的概念 5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 1、程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 1、程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误 5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 1、程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 1、程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 例：下标变量的访问越过了数组的末端 5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 2、良行为的程序 没有任何不会被捕获错误的程序 3、安全语言 任何合法程序都是良行为的 通常是设计一个类型系统，通过静态的类型检查来拒绝不会被捕获的错误 设计一个类型系统，它正好只拒绝不会被捕获错误是非常困难的 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 4、类型化的语言 变量的类型 变量在程序执行期间的取值范围 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 4、类型化的语言 变量的类型 类型化的语言 变量都被给定类型的语言 表达式、语句等程序构造的类型都可以静态确定 例如，类型boolean的变量x在程序每次运行时的值只能是布尔值，not (x)总有意义 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 4、类型化的语言 变量的类型 类型化的语言 未类型化的语言 不限制变量值范围的语言： 一个运算可以作用到任意的运算对象，其结果可能是一个有意义的值、一个错误、一个异常或一个语言未加定义的结果 例如：LISP语言 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 4、类型化的语言 变量的类型 类型化的语言 未类型化的语言 显式类型化语言 类型是语法的一部分 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 4、类型化的语言 变量的类型 类型化的语言 未类型化的语言 显式类型化语言 隐式类型化的语言 不存在隐式类型化的主流语言，但可能存在忽略类型信息的程序片段，例如不需要程序员声明函数的参数类型 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 5、类型系统 语言的组成部分,由一组定型规则（typing rule）构成，这组规则用来给各种程序构造指派类型 设计类型系统的根本目的是用静态检查的方式来保证合法程序运行时的良行为 类型系统的形式化 类型表达式、定型断言、定型规则 类型检查算法 通常是静态地完成类型检查 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 语法的和静态的概念 动态的概念 类型化语言 安全语言 良类型程序 良行为的程序 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 6、类型检查：未类型化语言 可以通过彻底的运行时检查排除所有的禁止错误 如LISP语言 7、类型检查：类型化语言 类型检查也可以放在运行时完成，但影响效率 一般都是静态检查，类型系统被用来支持静态检查 静态检查语言通常也需要一些运行时的检查 数组访问越界检查 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 实际使用的一些语言并不安全 禁止错误集合没有囊括所有不会被捕获的错误 Pascal语言 无标志的变体记录类型 函数类型的参数 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 实际使用的一些语言并不安全 禁止错误集合没有囊括所有不会被捕获的错误 Pascal语言 用C语言的共用体（union）来举例 union U { int u1; int ?u2;} u; int ?p; u.u1 = 10; p = u.u2; ?p = 0; 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 实际使用的一些语言并不安全 C语言 还有很多不安全的并且被广泛使用的特征，如： 指