[第5章类型检查.pptVIP

中国科大 第五章 类 型 检 查 本章内容 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查 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.1 执行错误和安全语言 禁止错误（forbidden error） 不会被捕获错误集合 + 会被捕获错误的一个子集 为语言设计类型系统的目标是在排除禁止错误 良行为程序和安全语言也可基于禁止错误来定义 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 类型化语言和类型系统 6、良类型的程序 没有类型错误的程序 7、合法程序 良类型程序（若语言定义中，除了类型系统外，没有用其它方式表示的对程序的约束） 8、类型可靠（type sound）的语言 所有良类型程序（合法程序）都是良行为的 类型可靠的语言一定是安全的语言 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 语法的和静态的概念 动态的概念 类型化语言 安全语言 良类型程序 良行为的程序 5.1 类型在编程语言中的作用 5.1.2 类型化语言和类型系统 9、类型检查：未类型化语言 可以通过彻底的运行时详细检查来排除所有的禁止错误 如LISP语言 10、类型检查：类型化语言 类型检查也可以放在运行时完成，但影响效率 一般都是静态检查，类型系统被用来支持静态检查 静态检查语言通常也需要一些运行时的检查 数组访问越界检查 5.