ANTLR4解析树简化

Question

有什么方法可以让ANTLR4自动删除生成的解析树中的冗余节点吗？

更具体地说，我一直在试验GLSL的语法，由于自动处理操作符优先级所需的规则转发，您最终会在解析树中看到长的线性“表达式”序列。

大多数生成的树节点都只是简单地“转发到下一个优先级”，所以不要提供任何有用的语法信息--你只需要每个序列中最后一个表达式节点（即规则转发停止的点），或者它成为一个实际的树节点并拥有多个子节点的点（即在源中遇到了一个实际的表达式）……

我希望有一种简单的方法来消除虚拟的中间表达式节点--这种类型的结构在任何具有操作符优先级的语法中都是常见的。

语法的基本结构是一个相当直接的克隆，取自该语言的Khronos规范：

https://www.khronos.org/registry/gles/specs/3.1/es_spec_3.1.pdf

Answer 1

如果您使用下面这样的语法（basic math的示例），ANTLRV4能够从处理不同优先级的单个递归规则生成代码：

expr : '(' expr ')'
     | '-' expr
     | expr ('*'|'/') expr
     | expr ('+'|'-') expr
     | INT
     ;

ANTLRV3无法这样做，基本上要求您为每个优先级编写一个规则。所以我建议你重写你的语法，以避免这些样板规则。

然后，我认为您混淆了解析树（又名具体语法树）和AST（抽象语法树）。AST就像解析树的简化版本，它只保留您需要的内容。例如，使用上面的expr规则，AST将不包含任何用于括号的节点，因为优先级是在树本身中编码的，您通常不需要知道给定表达式的一部分是否带括号。

您的程序应该从解析树中构建一个AST，然后再从那里开始。不要直接处理解析树，即使乍看起来很方便，因为工具会为您生成它们。很快就会变得很麻烦。构建自己的树结构(AST)，为手头的任务量身定制。