编译原理（第2版）-陈意云-chapter5.pptVIP

中国科大 第五章 类 型 检 查 本章内容 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 介绍一些和程序运行有联系的概念 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 例：下标变量的访问越过数组末端的数据 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 例：下标变量的访问越过数组末端的数据 例：跳到一个错误的地址，该地址开始的内存正好代表一个指令序列 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 程序运行时的执行错误分成两类 会被捕获的错误（trapped error） 例：非法指令错误、非法内存访问、除数为零 引起计算立即停止 不会被捕获的错误（untrapped error） 例：下标变量的访问越过数组末端的数据 例：跳到一个错误的地址，该地址开始的内存正好代表一个指令序列 错误可能会有一段时间未引起注意 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 良行为的程序 不同场合对良行为的定义略有区别 例如，没有任何不会被捕获错误的程序 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 良行为的程序 不同场合对良行为的定义略有区别 例如，没有任何不会被捕获错误的程序 安全语言 任何合法程序都是良行为的 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 良行为的程序 不同场合对良行为的定义略有区别 例如，没有任何不会被捕获错误的程序 安全语言 任何合法程序都是良行为的 通常是设计一个类型系统，通过静态的类型检查来拒绝不会被捕获错误 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 良行为的程序 不同场合对良行为的定义略有区别 例如，没有任何不会被捕获错误的程序 安全语言 任何合法程序都是良行为的 通常是设计一个类型系统，通过静态的类型检查来拒绝不会被捕获错误 但是设计一个类型系统，它正好只拒绝不会被捕获错误是非常困难的 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 禁止错误（forbidden error） 不会被捕获错误集合 + 会被捕获错误的一个子集 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 禁止错误（forbidden error） 不会被捕获错误集合 + 会被捕获错误的一个子集 为语言设计类型系统的目标是在排除禁止错误 5.1 类型在程序设计语言中的作用 5.1.1 执行错误和安全语言 禁止错误（forbidden error） 不会被捕获错误集合 + 会被捕获错误的一个子集 为语言设计类型系统的目标是在排除禁止错误 良行为程序和安全语言也可基于禁止错误来定