抽象语法树（Abstract Syntax Tree）

抽象语法树是编程语言源代码经过语法分析后得到的一种树状中间表示。树上的每个节点对应源代码中的一个语法构造,例如一次运算、一条赋值、一个函数定义或一个条件分支,节点之间的父子关系体现了程序结构的嵌套与层次。

概述

之所以称为抽象,是因为它省略了那些对表达程序结构不必要的具体符号细节,如分隔符、括号、注释和空白。与之相对的具体语法树会完整保留每一个词法记号。抽象语法树聚焦于语义相关的结构,因而更简洁、更便于后续处理,是编译流程中承上启下的关键一环。

核心特点

• 由词法分析和语法分析共同产出,是解析阶段的结果。
• 节点承载类型信息,如二元运算节点包含运算符及左右子表达式。
• 省略无语义价值的标点符号,但保留运算优先级等结构信息。
• 可被反复遍历,用于类型检查、优化、代码生成或直接解释执行。

应用场景

抽象语法树是编译器和解释器的核心。在其上进行的语义分析可完成类型检查与作用域解析,随后可转换为中间表示进而生成目标代码。它同样是众多工具的基础:代码格式化工具遍历它以规范排版,静态分析和代码检查工具在其上寻找缺陷模式,代码转译与压缩工具通过修改它来变换源码,集成开发环境也借助它实现重构与智能提示。

常见问题

问:抽象语法树和具体语法树有何区别?答:具体语法树严格对应文法推导,保留全部语法符号;抽象语法树则去除冗余细节,只保留语义结构,更加精炼,便于编译器后续处理。

问:抽象语法树和中间表示是一回事吗?答:不是。抽象语法树更贴近源码结构,中间表示则更接近机器执行、便于优化。编译器通常先构建抽象语法树,再由它降级为一种或多种中间表示。