第8章 语法制导翻译6.pdf

语义分析 语 义 分 析 语法正确并不能保证含义(语义)正确。 Semantics Analysis 程序的含义涉及程序中的两部分内容： • 数据结构的含义 • ——名字的含义(类型正确性检查) • 控制结构的含义 • 伍 春 香 武汉大学计算机学院 ——语言自身定义(形式化与非形式化) 语义分析 语义分析 依据语言的语义规则对语法分析得到的语法结构进 一般情况下，语义分析仅产生中间代码： 行静态语义检查(static semantic analysis) (确定类型、 ◆ 词法分析与语法分析简单、比例小，有利于难点分解； ◆ 类型和运算合法性检查、识别含义与相应的语义处理及 ◆ 有利于中间代码优化； 其它一些静态语义检查)，并用另一种内部形式表示出 ◆ ◆ 有利于程序的移植； 来，或者直接用目标语言表示出来。 ◆ ◆ 有利于任务的分解、人员的组织。 ◆ 语义分析程序：semantic analyzer 中间代码生成举例 语义分析 如何进行？ 语义分析 语义分析的基本功能： 语义是上下文有关的，进行形式化很困难。 ◆ 确定类型——确定标识符所关联的数据类型 (词法分析) 尚无公认的、广泛被接受与流传的语义形式化系统 ◆ ◆ 类型检查——运算合法性、运算对象类型一致性或相容性 用于描述程序设计语言的语义。 ◆ ◆ 识别含义——语法成分的含义(中间代码、目标代码) ◆ 尚未形成可用于编译程序构造的、系统的形式化语 ◆ 控制流检查——控制流语句必须转移到合法的地方 义算法或典型技术。 ◆ ◆ 其它静态语义检查——唯一性检查、相关名字检查、名字 ◆ 语法制导翻译技术有利于语义分析与目标代码生成 作用域分析 的形式化走向实用。 学习目标 语 法 制 导 翻 译 掌握