语义分析在编译程序中作用.pptVIP

语义分析在编译程序中的作用 第六章 语义分析 6.1 语义分析概述 6.2 符号表 6.3 类型的语义分析 6.4 声明的语义分析 6.5 程序体的语义分析 6.6 属性文法和动作文法 6.1 语义分析概述 语法(Syntax)和语义(Semantics)的区别 语义分析的必要性 程序设计语言语义的分类 如何描述程序设计语言的语义？ 语义分析的主要任务 语法和语义的区别 语法： 是描述一个合法定义的程序结构的规则 例如：函数调用语句 ? id( 实参表达式) 语义： 说明一个合法定义的程序的含义 语义分析的必要性 一个语法正确的程序不能保证它是有意义的！ 程序中容易出现各种语义错误： 标识符未声明 操作数的类型与操作符的类型不匹配 …… 程序设计语言语义的分类 静态语义 编译时(compile-time)可以检查的语义 例如：标识符未声明 动态语义 目标程序运行时（run-time）才能检查的语义 例如：除零溢出错误 如何描述程序设计语言的语义？ 程序设计语言的形式语义 属性文法 (用于描述静态语义) 操作语义(Operational Semantics) 指称语义(Denotational Semantics) 代数语义(Algebra Semantics) 公理语义(Axiomatic Semantics) 形式语义技术没有形式语法成熟 硕士研究生的课程-《形式语义学》 语义分析的主要任务 根据声明部分建立符号表 存储标识符的属性，以便检查语义错误和为代码生成提供信息; 在整个程序范围内检查语义错误 声明和使用相关的错误 类型相关的语义错误 一般地，语义分析是伴随着语法分析完成的; 常见的语义错误 声明和使用相关的语义错误 标识符没有声明; 重复声明; 如何检查? 每当遇到新声明的标识符,查符号表 如果当前有效的所有标识符中有相同名字的,则是重复声明错误; 否则生成它的属性信息,保存到符号表中; 每当遇到标识符的使用,查符号表 如果没有找到,说明该标识符没有声明; 否则, 得到该标识符的属性,进行进一步分析; 常见的语义错误 类型相关的语义错误 各种条件表达式的类型不是布尔类型; 运算符的分量类型不相容; 赋值语句左右类型不相容; 形实参类型不相容; 函数调用参数个数不同; f(…..)中f不是函数标识符; 下标表达式(数组)不是合法类型; 函数说明和函数返回类型不相容; …… 第六章 语义分析 6.1 语义分析概述 6.2 符号表 6.3 类型的语义分析 6.4 声明的语义分析 6.5 程序体的语义分析 6.6 属性文法和动作文法 6.2 符号表 什么是符号表(Symbol Table)? 符号表可看作是从标识符名字到它的属性的映射; 用于存储程序中声明的标识符及其属性; 6.2 符号表 为什么在语义分析时需要符号表(Symbol Table)? 从标识符的Token定义，我们仅仅知道了标识符的名字，对于其它属性，例如类型，种类等没有记录 对于标识符的更多信息需要进行语义分析，从而检查语义错误; 6.2 符号表 为表示标识符的属性，我们需要建立 标识符的内部表示 类型的内部表示 值的内部表示 符号表的组织 标识符的作用域 局部化的符号表 全局化的符号表 符号表的接口函数 知识关系图 标识符的内部表示 标识符的不同种类 常量标识符 类型标识符 变量标识符 函数标识符 过程标识符 域名标识符 标识符的内部表示 不同种类标识符的属性 常量: (类型，值) 类型: (类型) 变量: (类型, 层数，偏移) 函数: (返回类型, 形参定义, 代码地址, 空间大小, …….) 过程: (形参定义, 代码地址, 空间大小, …….) 域名: (类型, 偏移, 所在结构类型) 常量标识符的属性 TypePtr 指向常量类型内部表示的指针; Kind 标识符的种类，所有常量的 kind = constKind; Value 常量的值; 类型标识符的属性 TypePtr 指向类型内部表示的指针; Kind 标识符的种类，所有类型标识符的 kind = typeKind; 变量标识符的属性 TypePtr 指向变量类型的内部表示; Kind 标识符的种类, 所有变量标识符的Kind = varKind; Access: (dir, indir); Level: 层数 Offset:偏移量 域名标识符的属性 (实在过程或者函数的属性) 形参过程或者函数的属性 变量的层数和偏移 (包括形式参数) 层数(level) 某些程序语言，过程/函数的定义可以嵌套 通常规定主程序的层数为0; 偏移量(offset) 执行过程/函数的调用时, 需要为其中的变量分配空间; 偏移量指的是变量针对其所在过程/函数的空间的首地址的偏移量; 变量的层数和偏移