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