原创力文档- 1、本文档共26页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
第一章：编译概述 Chapter5 Semantic Analysis and Intermediate Code Generation 语义分析概述 语法制导翻译 （Syntax-Directed Translation） 类型确定与类型检查 （Type Checking） 中间代码生成 （Intermediate Code Generation） 5.3 类型确定与类型检查 类型确定：确定标识符所代表对象的数据类型 5.3 类型确定与类型检查 一般的说明语句的处理：P474 （Fig.8.11） 5.3 类型确定与类型检查 例子：处理语句 id1 : real ; id2 : ↑integer 5.3 类型确定与类型检查 * 对说明语句的语义处理不产生中间代码 5.3 类型确定与类型检查 过程说明的处理：P477 （Fig.8.13） 针对允许嵌套过程的语言，如 PASCAL 5.3 类型确定与类型检查 P477 （Fig.8.13） 5.3 类型确定与类型检查 例子：分析如下程序的说明部分 画出分析树，详细说明 1. t1 := mktable ( nil ) push ( t1 , tblptr ) push ( 0, offset ) 2. enter ( top( tblptr), id1.name, T1.type, top(offset) ) top( offset ) := top(offset) + T1.width 3. t2 := mktable ( top ( tblptr ) ) push ( t2 , tblptr ) push ( 0, offset ) 4. enter ( top( tblptr), id3.name, T2.type, top(offset) ) top( offset ) := top(offset) + T2.width 5. t := top ( tblptr ) addwidth ( t, top ( offset ) ) pop ( tblptr ) pop ( offset ) enterproc ( top( tblptr), id2.name, t ) 6. 7. addwidth ( top ( tblptr ), top ( offset ) ) pop ( tblptr ) pop ( offset ) 5.3 类型确定与类型检查 记录类型的处理：P477 （Fig.8.14） 5.3 类型确定与类型检查 5.3 类型确定与类型检查 类型检查（Type Checking）：按照所用语言的语义规则检查运算的合法性与运算分量类型的一致性或相容性 5.3 类型确定与类型检查 表达式的类型检查（Type Checking of Expressions） 5.3 类型确定与类型检查 3、E → E1 op E2 { E.type := if E1.type=integer and E2.type=integer then integer else type-error } — 一致性检查 * 假设 op 的运算分量必须是integer，结果也是integer 5.3 类型确定与类型检查 { E.type := if E1.type=integer and E2.type=integer then interger else if E1.type=integer and E2.type=real then real else if E1.type=real and E2.type=integer then real else if E1.type=real and E2.type=real then real else type-error } — 相容性检查 必要的话
文档评论（0）