语义分析和中间代码产生-SlideBoom.PPT

中南大学软件学院 陈志刚 第七章 语义分析和中间代码产生 中南大学软件学院 陈志刚 第七章 语义分析和中间代码产生 7.1 语义分析 7.2 逆波兰表示法 7.3 三元式 7.4 四元式 7.5 简单表达式和赋值语句到四元式的翻译 7.6 布尔式到四元式的翻译 7.7 控制语句的翻译 * * 中南大学软件学院 陈志刚 7.1 语义分析 语义分析 属性文法和语法制导翻译方法和技术应用于语义分析中。 语义分析通常包括以下几个方面： * * 中南大学软件学院 陈志刚 （1）类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程.，编译程序必须报告不符合类型系统的信息。 （2）控制流检查。控制流语句必须使控制转移到合法的地方。例如，在C语言中break语句使控制跳离包括该语句的最小while、for或switch语句。如果不存在包括它的这样的语句，则就报错。 （3）一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等等。 （4）相关名字检查。有时，同一名字必须出现两次或多次。例如，Ada 语言程序中，循环或程序块可以有一个名字，出现在这些结构的开头和结尾，编译程序必须检查这两个地方用的名字是相同的。 （5）名字的作用域分析 * * 中南大学软件学院 陈志刚 类型和声明（Types and declarations） 一个类型是一组值和在这些值上的一组操作，程序设计语言中有三种类型: 基本类型：int, float, double, char, bool等等. 也可能允许在基本类型基础上用户自己定义的类型，如枚举型. 复合类型：数组,指针，记录/结构/联合,类等等.这些类型由基本类型构成. 复杂类型：链表，栈，队，树，堆，表格等等.可以把它们组织成ADT. 一个语言不一定支持这类高级的抽象。 声明是程序中的一个语句,是把数据对象的名称和类型，以及生命周期信息传给编译，声明的地方传递生命周期信息 也有些语言允许声明初始化变量。如: double calculate(int a, double b); // function prototype int x = 0; // global variables available throughout double y; // the program int main() { int m[3]; // local variables available only in main char *n; ... } * * 中南大学软件学院 陈志刚 强类型的 -任何数据类型都可以在 编译时确定 弱类型的. 进行类型检查的时间：编译时，运行时，或者两者结合. 静态类型检查 编译时进行类型检查 动态类型检查，将类型信息并到运行时每个数据单元中. 隐含类型转换. * * 中南大学软件学院 陈志刚 P→D；E D→D；|id:T T→char | integer | aray [num]of T| ↑T E→literal|num | id| E mod E| E [E]|E↑ P代表程序；D代表说明；E代表表达式。如程序语句： key: integer; key mod 1999 语言本身提供两种基本类型：char和integer。 除此之外还有缺省的基本类型type_ error和void。假定所有数组都从下标1开始 中南大学软件学院 陈志刚 第七章 语义分析和中间代码产生 中南大学软件学院 陈志刚