吉林大学编译原理课件第六章.pptVIP

语义分析和符号表 主要内容： 语义分析概述(必要性、功能、描述方法) 符号表 类型表达式 声明和程序体的语义分析 语义分析的必要性 语法和语义的区别； 语法：关于什么样的字符串才是该语言 在组成结构上合法的程序的法则。 语义：关于结构上合法的程序的意义的 法则。 语义分析的分类 语义种类 静态语义：在编译阶段(从程序文本上)可 以检查的语义。 动态语义：通过程序的执行才能检查的语 义。 语义错误 ? 各种条件表达式的类型是不是boolean型? ? 运算符的分量的类型是否相容? ? 赋值语句的左右部的类型是否相容? ? 形参和实参的类型是否相容? ? 下标表达式的类型是否为所允许的类型? ? 变体记录中表示情形的常量是否为合法类型? ? 函数说明中的函数类型和返回值的类型是否一致? ? V[E]中的V是不是变量,而且是数组类型？ ? V.id中的V是不是变量,而且是记录类型? id是不是该记录类型中的域名? ? V↑中的V是不是指针或文件变量？ ? y+f(....)中的f是不是函数名?形参个数和实参个数是否一致? ? p(....)语句中的p是不是过程名?形参个数和实参个数是否一致? ? 每个使用性标识符是否都有声明?在同层内有无标识符被声明多次? ? 标号是否有声明?有无重复声明和重复定位错误?有无非法转入错误？ ? 子界类型中的下界和上界类型是否相容?下界是否小于等于上界？ 语义分析的内容： 类型分析； 标识符相关信息； 语义分析的功能： 检查语义错误 构造标识符属性表（符号表） 语义分析的实现： 与语法分析相结合 语义分析的功能图示 标识符的内部表示 类型的内部表示 值的内部表示 标识符的内部表示 标识符种类： 常量名、类型名、变量名、函数名、过程名、域名。 TYPE idkind=( consKind, typeKind, varKind, fieldKind, procKind,funcKind ) 内部表示（AttributeIR）： 常量： 类型： 变量： 域名*： 过函： 例有声明如下： CONST pai= 3.14 ; TYPE vector=ARRAY[1..10] OF integer; VAR x, y : real ; r, s : vector ; 设当前层数和可用offset值分别为L和0，构造标识符 pai, vector, x, y, r 和s 的属性表示。 类型的内部表示 类型的种类：标准、子界、枚举、数组、记录、 集合、文件、指针类型等等。 TypeKind=(intTy,boolTy,charTy,realTy,enumTy, subTy,arrayTy,recordTy,setTy,fileTy,pointerTy) 内部表示：(TypeIR) 标准类型： sub: enum: array: record: FixBody: VariBody: set: file: pointer: 例有如下的类型定义： at = ARRAY [1..10] OF ARRAY[1..100] OF integer; rt = RECORD x : real ; a : at; CASE u: boolean OF false:(k : integer); true:(y: real; b: boolean) END 构造类型的内部表示。 值的内部表示 非结构类型值的内部表示： 实型： 指针： 有序类型：整数形式 有序类型的常量表示： 整型常量：ord(N) = N 布尔常量：ord(false)=0, ord(true) = 1 字符常量：ord(C) = ASCⅡ (C) 枚举常量：设有枚举类型(D,A,B),则有 ord(D)=0