第4章类型检查.PDFVIP

第第44章章 类类 型型 检检 查查 记号记号 语法语法 语法语法 类型类型 语法语法 中间 中间中间 流 分析 树 检查 树树 代码 表示 器器 器器 生成生成 器 本章内容 –简要介绍语法制导的翻译简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分—— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、 关联名字检查等关联名字检查等 44.11 语法制导的翻译语法制导的翻译 4.1.1 翻译方案 •• 例例 简单台式计算器的语法制导定义简单台式计算器的语法制导定义 产产 生生 式式 语语 义义 动动 作作 L E n print (E.val) E E + T E.val = E .val + T.val 1 1 EE TT EE..valval = T.valT.val T T F T.val = T .val F.val 1 1 T F T.val = F.val FF((EE)) F.valF.val = E.valE.val F digit F.val = digit.lexval 44.11 语法制导的翻译语法制导的翻译 • 语法制导的翻译方案的形式 – 基础文法基础文法 – 每个文法符号有一组属性 – 每个文法产生式A 有一组形式为 bb ==ff ((cc , cc , …, cc )) 1 2 k 的语义动作，其中b 是A 的属性，c , c , …, c 是产 11 22 kk 生式右部文法符号的属性或A 的其他属性，f 是函 数数 – 属性可以表示任何东西：串、数值、类型、表引 用，或其他想表示的东西 44.11 语法制导的翻译语法制导的翻译 • 例 8+5*2 n 的注释分析树 L EE.vall = 1818 nn EE..valval = 88 ++ TT..valval = 1010 TT..valval = 88 TT..valval = 55  F.val = 2 FF..valval = 88 F.val = 5 diggit.lexval = 2 diggit.lexval = 8 diggit.lexval = 5 44.