ch06语义研究.pdf

第6章 语义分析 LI Wensheng, SCST, BUPT 知识点：符号表 类型体制 各语法成分的类型检查 语义分析 6.1 语义分析的任务和地位 6.2 符号表 6.3 符号表的建立 6.4 类型检查 6.5 一个简单类型检查程序的说明 6.6 类型检查有关的其他主题 小 结 W e n s h e n g L i B U P T 2 6.1 语义分析的任务和地位 程序设计语言的结构由上下文无关文法来描述 程序结构正确与否与该结构的上下文有关，如： – 变量的作用域问题 – 同一作用域内同名变量的重复声明问题 – 表达式、赋值语句中的操作数的类型一致性问题 思考： – 设计上下文有关文法来描述语言中上下文有关的结构？ – 理论上可行，构造有困难，构造相应的分析程序更困难 解决办法： W e n s h e – 设计专门的语义动作补充上下文无关文法的分析程序 n g L i – 利用语法制导翻译技术实现语义分析 B U P T 3 上下文有关信息的记录与使用 符号表 – 记录编译过程中识别出的上下文有关的信息，如： – 变量的类型 – 相对地址 信息的引用 – 根据词法分析程序识别出的标识符的属性值（标识符在符 号表中的入口），查找符号表中对应该标识符的记录，从 而可以取得该标识符有关的信息。 – 如果编译的程序块处于该变量的作用域内，则这个变量将 W e n 一直保留在符号表中 s h e n g L i B U P T 4 语义检查 动态检查：目标程序运行时进行的检查 静态检查：读入源程序、但不执行源程序的情况下 进行的检查 – 类型检查 • 对访问数据的操作和被访问数据的类型进行检查，检查操作的合 法性和数据类型的相容性。 – 控制流检查 • 检查控制语句是否使控制转移到一个合法的位置。 – 唯一性检查 • 一个标识符在同一程序块中必须而且只能被说明一次 W e n s h • CASE语句中用于匹配选择表达式的常量必须各不相同 e n g L • 枚举类型定义中的各元素不允许重复 i – 关联名字的检查 B U P T 5 类型检查 由类型检查程序完成 检验结构的类型是否和它的上下文所期望的一致， 如： – 表达式中各运算对象的类型 – 算术运算符 mod 的运算对象的类型 – 用户定义函数的各参数类型、返回值类型 W e n s h e n g L i B U P