Javacc 冲突产生式

Question

我有两个输入

1. a - b
2. a += b

我有一个可以选择的作品

void AssignmentExpression() : {}
{
  LOOKAHEAD(3) ConditionalExpression()
| LOOKAHEAD(3) UnaryExpression() AssignmentOperator() AssignmentExpression()
}

有了这个产生式，输入 (1) 有效，但输入 (2) 无效。

如果我在生产中交换选择，使其变为

void AssignmentExpression() : {}
{
  LOOKAHEAD(3) UnaryExpression() AssignmentOperator() AssignmentExpression()
| LOOKAHEAD(3) ConditionalExpression()
}

然后输入（2）有效，但输入（1）无效。

我该如何解决这个问题？增加 LOOKAHEAD 参数没有帮助。

Answer 1

见Expression Parsing by Recursive Descent。遵循“经典解决方案”。

由于您使用的是JJTree，所以Make a calculator's grammar that make a binary tree with javacc问题的答案会有所帮助。

Answer 2

你可以试试

void AssignmentExpression() : {}
{
  LOOKAHEAD(UnaryExpression() AssignmentOperator() )
  UnaryExpression() AssignmentOperator() AssignmentExpression()
| ConditionalExpression()
}

如果不了解更多语法，很难知道这是否可行。由于使用前瞻规范会抑制来自 JavaCC 的任何警告——JavaCC“假定”你知道自己在做什么——你必须自己进行分析。

我的另一个答案更好。