第五章类型检查 记号语法 中间 语法类型语法代码厂表示 中间 流分析树检查 器 器 树 生成 器 本章内容 静态检查中最典型的部分一类型检查: 类型系统、类型检查、多态函数、重载 忽略其它的静态检査:控制流检查、唯一性检查、 关联名字检查
第五章 类 型 检 查 本章内容 – 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、 关联名字检查 语法 分析 器 类型 检查 器 中间 代码 生成 器 语 法 树 语 法 树 中间 表示 记号 流
5.1类型在编程语言中的作用 511执行错误和安全语言 介绍一些和程序运行有联系的概念
5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 介绍一些和程序运行有联系的概念
5.1类型在编程语言中的作用 511执行错误和安全语言 1、程序运行时的执行错误分成两类 会被捕获的错误( trapped error)
5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 1、程序运行时的执行错误分成两类 • 会被捕获的错误（trapped error）
5.1类型在编程语言中的作用 511执行错误和安全语言 1、程序运行时的执行错误分成两类 会被捕获的错误( trapped error) 例:非法指令错误
5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 1、程序运行时的执行错误分成两类 • 会被捕获的错误（trapped error） – 例：非法指令错误
5.1类型在编程语言中的作用 511执行错误和安全语言 1、程序运行时的执行错误分成两类 会被捕获的错误( trappederror) 例:非法指令错误、非法内存访问
5.1 类型在编程语言中的作用 5.1.1 执行错误和安全语言 1、程序运行时的执行错误分成两类 • 会被捕获的错误（trapped error） – 例：非法指令错误、非法内存访问