l-语义分析6.pptVIP

* * * * * * * 当类型表达式中允许出现用户定义的类型名时，产生了关于类型表达式名字等价的概念。 不同语言中，标识符和类型通过声明语句相联系的规则不同，可以用结构等价和名字等价的概念来解释这些规则。 * * * * * * * * * * * * * * * * * * */94 小 结 语义分析的概念 编译的一个重要任务、检查语义的合法性 符号表的建立和管理 语义检查 符号表 何时创建 内容 操作 检索、插入 定位、重定位 组织形式 非块结构语言 块结构语言 */94 小 结（续） 静态语义检查 类型检查 控制流合法性检查 同名变量检查 关联名字检查 利用语法制导的翻译技术实现 类型体制 语法结构、类型概念、把类型指派给语言结构的规则 类型表达式的定义 类型表达式的等价 结构等价 名字等价 类型表达式结构等价的测试算法 */94 小 结（续） 简单类型检查程序的说明 声明语句的类型检查 表达式的类型检查 语句的类型检查 类型转换 类型检查有关的其他主题 函数和运算符的重载 多态函数 类型推导 * * * * * * * * * * * * * * * * * * * * * * * * 思考题：用该翻译方案翻译图6.16中的程序，构造其符号表。 * * * * * */94 测试两个类型表达式结构等价的算法 输入：两个类型表达式s和t 输出：如果s和t结构等价，则