为什么括号会创建左递归？

Question

以下语法可以正常工作：

grammar DBParser;
statement: expr EOF;
expr: expr '+' expr | Atom;
Atom: [a-z]+ | [0-9]+ ;

但是，以下任何一项都不会：

grammar DBParser;
statement: expr EOF;
expr: (expr '+' expr) | Atom;
Atom: [a-z]+ | [0-9]+ ;

grammar DBParser;
statement: expr EOF;
expr: (expr '+' expr | Atom);
Atom: [a-z]+ | [0-9]+ ;

为什么 antlr4 在添加括号时会引发错误，这是否会以某种方式改变正在解析的产品的含义？

Answer 1

括号创建一个子规则，子规则在内部处理，将它们视为新产生式（实际上是匿名的，这就是相互递归错误消息仅列出一个非终结符的原因）。

在这些特定示例中，子规则毫无意义； 括号可以简单地删除而不改变语法。 但显然 Antlr 并没有试图决定哪些子规则实际上是为某个目的服务的。 （我想它可以，但我想知道它是否是一种足够普遍的用法来证明额外的代码复杂性是合理的。但这当然不是由我来决定的。）