第五部分类型检查教学课件.pptVIP

中国科大 第五章 类 型 检 查 本章内容 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载。 忽略其它的静态检查：控制流检查、唯一性检查 、关联名字检查。 5.1 类型在程序设计语言中的作用 5.1.1 引言 变量的类型 变量在程序执行期间的取值范围 5.1 类型在程序设计语言中的作用 5.1.1 引言 变量的类型 变量在程序执行期间的取值范围 类型化语言 变量都被给定类型的语言 例如，类型Boolean的变量x在程序每次运行时的值只能是布尔值，not (x)总有意义。 5.1 类型在程序设计语言中的作用 5.1.1 引言 变量的类型 变量在程序执行期间的取值范围 类型化语言 变量都被给定类型的语言 未类型化的语言 不限制变量值范围的语言 5.1 类型在程序设计语言中的作用 5.1.1 引言 变量的类型 变量在程序执行期间的取值范围 类型化语言 变量都被给定类型的语言 未类型化的语言 不限制变量值范围的语言 一个运算可以作用到任意的运算对象，其结果可能是一个有意义的值、一个错误、一个异常或一个未做说明的结果。 5.1 类型在程序设计语言中的作用 5.1.1 引言 变量的类型 变量在程序执行期间的取值范围 类型化语言 变量都被给定类型的语言 未类型化的语言 不限制变量值范围的语言 类型系统 由一组定型规则（typing rule）构成，这组规则用来给各种语言构造指派类型 5.1 类型在程序设计语言中的作用 类型系统的根本目的是防止程序运行时出现执行错误 5.1 类型在程序设计语言中的作用 类型系统的根本目的是防止程序运行时出现执行错误 类型可靠的语言 粗略地说，所有程序运行时都没有执行错误出现 5.1 类型在程序设计语言中的作用 类型系统的根本目的是防止程序运行时出现执行错误 类型可靠的语言 粗略地说，所有程序运行时都没有执行错误出现 类型系统的形式化 类型表达式、定型断言、定型规则、类型检查算法 5.1 类型在程序设计语言中的作用 类型系统的根本目的是防止程序运行时出现执行错误 类型可靠的语言 粗略地说，所有程序运行时都没有执行错误出现 类型系统的形式化 类型表达式、定型断言、定型规则、类型检查算法 显式类型化的语言 类型是语法的一部分 5.1 类型在程序设计语言中的作用 类型系统的根本目的是防止程序运行时出现执行错误 类型可靠的语言 粗略地说，所有程序运行时都没有执行错误出现 类型系统的形式化 类型表达式、定型断言、定型规则、类型检查算法 显式类型化的语言 类型是语法的一部分 隐式类型化的语言 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 例：非法指令错误 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 例：下标变量的访问越过数组末端的数据 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 例：下标变量的访问越过数组末端的数据 例：跳到一个错误的地址，该地址开始的内存正好代表一个指令序列 5.1 类型在程序设计语言中的作用 5.1.2 执行错误和安全语言 执行错误 会被捕获的错误（trappe