6.2 中间语言与语法翻译详解：语句、表达式与代码生成

本章节主要讨论了编译原理中的核心概念——语义分析和中间代码生成，这是计算机程序设计的关键步骤，对于理解和实现高效、可优化的编译器至关重要。在第6章中，作者朱青首先介绍了中间语言的概念，它是一个经过静态语义检查的语言，包括类型检查、控制流检查和一致性检查，确保了代码的正确性和有效性。 6.1 中间语言部分着重于生成的这种语言形式，比如后缀式（逆波兰式）。后缀式的特点在于运算符按照计算顺序排列，每个运算符后面紧跟其运算对象，无需括号，便于计算机执行，如例子"abc+*"即表示a先与b相加，再与c相乘。此外，后缀式还能推广到表达式外，如"a:=b*c+b*d"的后缀形式为"abc*bd*+:="。 抽象语法树（AST）作为一种表示程序结构的方式，也在此处被提及。虽然与后缀式相似，但AST通过记录操作符和运算对象的父子关系，能够更好地处理共用子表达式，提高代码的紧凑性和效率。三地址代码是另一种中间代码形式，它以简洁的三元式（如"T1:=y*z", "T2:=x+T1"）来表示复杂的计算，便于后续优化和指令集映射。 章节中还讨论了更高级的中间代码表示，如四元式，它是一个包含操作符、左右操作数和结果的结构，特别适用于一元运算。此外，间接三元式是一种扩展形式，可能在某些情况下提供额外的灵活性。 这些概念在编译过程中起到桥梁作用，将源代码转化为机器可以理解的形式，为优化、并行化和跨平台执行提供了基础。掌握这些知识对于深入理解编译器的工作原理和技术选型具有重要意义。