本文详细介绍了编译器设计中的语义分析阶段，包括语义分析的任务，如类型检查和一致性检查，以及常用的方法如语法制导定义和翻译方案。此外，还探讨了各种中间代码形式，如逆波兰表示法、抽象语法树、三元式和四元式，并举例说明了如何将不同类型的语句翻译成这些中间代码。最后，讨论了过程调用的翻译和中间语言在控制流和布尔表达式中的应用。
一、语义分析的任务
1.审查每一个语法结构的静态语义，即验证语法正确的结构是否有意义。
如：赋值语句：x:=x+y,左边变量类型与右边变量类型是否一致。
2.在语义正确的基础上生成一种中间代码或目标代码。
二、语义分析的范围
1.确定类型：确定标识符所关联的数据类型。
2.类型检查：按语言的类型规则，检查运算的合法性与运算分量类型的一致性，必要时作类型转换。
3.识别含义：根据语言的语义定义（形式或非形式），识别程序中各构造成分组合到一起的含义，并作相应的语义处理（生成中间代码或目标代码）。
4.控制流检查：控制流语句必须转移到合法的地方。如C中，break语句规定跳出最内层的循环或switch语句。
5.一致性检查：在很多场合要求对象只能被说明一次。如：pascal语言规定同一个标识符在一个分程序中只能被说明一次等。
6.相关名字检查：如：Ada，循环或块可以有一个名字，它出现在这些结构的开头或结尾。编译程序必须检查这两个地方用的名字是否相同。
其它：如名字的作用域分析等也是语义分析的工作。
三、语义描述工具和语义分析方法
1.语义描述工具
目前流行：用属性文法作为描述语义的工具。
2.语义分析方法
根据描述属性文法的语义规则的方式不同分为：
（1）语法制导定义<
最低0.47元/天 解锁文章
7984
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
