l-语义分析6剖析.ppt

* * * * * * * 当类型表达式中允许出现用户定义的类型名时，产生了关于类型表达式名字等价的概念。 不同语言中，标识符和类型通过声明语句相联系的规则不同，可以用结构等价和名字等价的概念来解释这些规则。 * * * * * * * * * * * * * * * * * * */94 小 结 语义分析的概念 编译的一个重要任务、检查语义的合法性 符号表的建立和管理 语义检查 符号表 何时创建 内容 操作 检索、插入 定位、重定位 组织形式 非块结构语言 块结构语言 */94 小 结（续） 静态语义检查 类型检查 控制流合法性检查 同名变量检查 关联名字检查 利用语法制导的翻译技术实现 类型体制 语法结构、类型概念、把类型指派给语言结构的规则 类型表达式的定义 类型表达式的等价 结构等价 名字等价 类型表达式结构等价的测试算法 */94 小 结（续） 简单类型检查程序的说明 声明语句的类型检查 表达式的类型检查 语句的类型检查 类型转换 类型检查有关的其他主题 函数和运算符的重载 多态函数 类型推导 * * * * * * * * * * * * * * * * * * * * * * * * 思考题：用该翻译方案翻译图6.16中的程序，构造其符号表。 * * * * * */94 测试两个类型表达式结构等价的算法 输入：两个类型表达式s和t 输出：如果s和t结构等价，则返回1(true)，否则返回0(false) 方法： bool sequiv(bexpr s, t) { if (s和t是同样的基本类型) return 1; else if (s形如array(s1,s2))(t形如array(t1,t2)) return sequiv(s1,t1) sequiv(s2,t2); else if (s形如s1?s2)(t形如t1?t2) return sequiv(s1,t1) sequiv(s2,t2); else if (s形如pointer(s1))(t形如pointer(t1)) return sequiv(s1,t1); else if (s形如s1?s2)(t形如t1?t2) return sequiv(s1,t1) sequiv(s2,t2); else return 0; }. */94 实际应用中结构等价概念的修改 当数组作为参数传递时，数组的界不作为类型的一部分 算法调整 else if (s形如array(s1,s2))(t形如array(t1,t2)) return sequiv(s2,t2); */94 编码测试方法 对基本类型规定确定位数、确定位置的二进制编码； 对类型构造器规定确定位数的二进制编码 类型表达式可用一组二进制编码表示 例：D.M.Ritchie的C编译器中类型表达式的编码方式 类型构造器： pointer(t) 指向类型t的指针 freturn(t) 不含参数的函数，返回类型t的对象 array(t) 元素类型为t的数组（不定长度） 一元运算符，类型表达式具有统一的结构 char freturn(char) pointer(freturn(char)) array(pointer(freturn(char))) */94 编码方式 类型构造器的编码 类型构造器 编码 pointer 01 array 10 freturn 11 基本类型的编码 基本类型 编码 Boolean 0000 Char 0001 Integer 0010 Real 0011 类型表达式及其二进制编码示例 类型表达式 二进制编码 char 00 00 00 0001 freturn(char) 00 00 11 0001 pointer(freturn(char)) 00 01 11 0001 array(pointer(freturn(char))) 10 01 11 0001 */94 2. 名字等价 有些语言(如Pascal、C等)允许用户定义类型名 C类型定义和变量声明（6.1） typedef struct { int age; char name[20]; }