第5章 类型检查中.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 类型在编程