第六章 语义分析(1).pptVIP

语义分析在编译程序中的作用 第六章 语义分析 6.1 语义分析概述 6.2 符号表 6.3 类型的语义分析 6.4 声明的语义分析 6.5 程序体的语义分析 6.6 属性文法和动作文法 6.1 语义分析概述 语法(Syntax)和语义(Semantics)的区别 语义分析的必要性 程序设计语言语义的分类 如何描述程序设计语言的语义？ 语义分析的主要任务 语法和语义的区别 语法： 是描述一个合法定义的程序结构的规则 例如：函数调用语句 ? id( 实参表达式) 语义： 说明一个合法定义的程序的含义 语义分析的必要性 一个语法正确的程序不能保证它是有意义的！ 程序中容易出现各种语义错误： 标识符未声明 y = x+3; 操作数的类型与操作符的类型不匹配 y = x*3; 数组下标变量的类型出错 A[x]; …… 程序设计语言语义的分类 静态语义(static semantics) 编译时(compile-time)可以检查的语义 例如：标识符未声明 标识符重复声明 动态语义(dynamics semantics) 目标程序运行时（run-time）才能检查的语义 例如：除零溢出错误 x/(y-i); 当 y = i时 数组下标越界 int a[5]; a[5] =0; 无效指针 int*p; p =NULL; *p = 3; 静态语义动态语义 #define a (x+1) int x = 2; void b() { int x = 1; printf(“%d\n”, a); } void c() { printf(“%d\n”, a); } void main() { b(); c(); } 如何描述程序设计语言的语义？ 程序设计语言的形式语义 属性文法 (用于描述静态语义) 操作语义(Operational Semantics) 指称语义(Denotational Semantics) 代数语义(Algebra Semantics) 公理语义(Axiomatic Semantics) 形式语义技术没有形式语法技术成熟 硕士研究生的课程--《形式语义学》 语义分析的主要任务 输入：抽象语法树 或 TokenList 输出：抽象语法树+符号表 或 TokenList+符号表 数据结构：抽象语法树+符号表 算法： 基于抽象语法树的语义分析：是自左向右先根遍历抽象语法树的过程 声明节点：存储标识符的属性，检查重复声明错误 语句节点：使用标识符的属性，检查各种语义错误 基于TokenList的语义分析：是自左向右扫描Token序列的过程 扫描到标识符Token($id,idname) ? ($id, identry); 语义分析可在语法分析或代码生成的同时完成。一般地，语义分析是伴随着语法分析完成的; 类Pascal语言的抽象语法树 类C语言的抽象语法树 基于Tokenlist的语义分析 常见的语义错误 与标识符声明和使用相关的语义错误 标识符没有声明; 重复声明; 与类型相关的语义错误 各种条件表达式的类型不是布尔类型; 运算符的分量类型不相容; …… 其他语义错误 唯一性检查 switch语句的分支常量表达式不能有重复； 枚举类型的元素不能重复； 结构类型的域名不能重复等 第六章 语义分析 6.1 语义分析概述 6.2 符号表 6.3 类型的语义分析 6.4 声明的语义分析 6.5 程序体的语义分析 6.6 属性文法和动作文法 6.2 符号表 什么是符号表(Symbol Table)? 符号表可看作是从标识符名字到它的属性的映射; 用于存储程序中声明的标识符及其属性; 在语义学中，将符号表称为“环境” 6.2 符号表 为什么在语义分析时需要符号表(Symbol Table)? 从标识符的Token定义($id, idname)，我们仅仅知道了标识符的名字，对于其它属性，例如类型，种类，存储信息等没有记录 标识符的更多信息需要通过语义分析获得，并记录到符号表中，符号表为后续的语义分析提供信息。语义分析的同时可检查语义错误; 6.2 符号表 为表示标识符的属性，我们需要建立 标识符的内部表示 类型的内部表示 值的内部表示 符号表的组织 标识符的作用域 局部化的符号表 全局化的符号表 符号表的接口函数 知识关系图 标识符的内部表示 标识符的不同种类 常量标识符 类型标识符 变量标识符 函数/过程标识符 域名标识符 标识符的内部表示 不同种类标识符的属性 常量: (类型，值) 类型: (