如何在不使用backtrack=true的情况下解决此问题？

Question

我正在尝试编写一个没有运算符优先级的语法，但要求您使用一个运算符或将它们括在括号中。(为了简单起见，这里使用test而不是id|int_literal etc和+，而不是有效运算符的列表)。举个例子：

test + test ///valid!
(test + test) + test ///valid!
(test + test) + (test + test) /// valid!
test + test + test /// invalid!

有没有办法为此编写一个不需要backtrack=true的语法？我不认为左因式分解在这里真的有意义，我也不确定语法谓词会有什么帮助。

下面是我所拥有的(需要backtrack=true)：

fragment
bexpr : 'test' | '(' cbebr ')';

fragment
cbexpr : bexpr '+' bexpr;

expr : bexpr | cbexpr;

Answer 1

你可能想看看How to remove global backtracking from your grammar。

不明确之处在于expr的两种替代方案都可以以bexpr开头。你需要摆脱这种模棱两可的东西。关键在于观察到，如果+是整个表达式，则只出现不带括号的表达式。因此，我们最终会得到：

expr : operand ('+' operand)?;
operand : '(' expr ')' | 'test';

换句话说:如果运算符表达式作为操作数出现，则必须将其括在括号中。