第4章类型检查 语法 中间 分析 语 法 类型 语 法 树 代码 中间 树 生成 表 器 器 器 本章内容 简要介绍语法制导的翻译 介绍静态检查中最典型的部分一类型检查 忽略其他的静态检查：控制流检查、唯一性检查、 关联名字检查等第4章 类 型 检 查 语法 类型 中间 记号 语法 语 法 语 法 中间 分析 器 类型 检查 器 代码 生成 语 法 树 语 法 树 中间 表示 记号 流 器 器 生成 器 树 本章内容 –简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、 关联名字检查等