第五章类型检查 记号语法 中间 语法类型语法代码厂表示 中间 流分析树检查 器 器 树 生成 器 本章内容 静态检查中最典型的部分一类型检查: 类型系统、类型检查、多态函数、重载 忽略其它的静态检査:控制流检查、唯一性检查、 关联名字检查第五章 类 型 检 查 本章内容 – 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、 关联名字检查 语法 分析 器 类型 检查 器 中间 代码 生成 器 语 法 树 语 法 树 中间 表示 记号 流