在ANTLR4中使用什么来解决更复杂情况下的歧义（而不是句法谓词）？

Question

在ANTLR v3中，句法谓词可以用来解决歧义，即明确地告诉ANTLR应该选择哪一个选项。ANTLR4似乎只是简单地接受具有类似歧义的语法，但在解析过程中它会报告这些歧义。它生成一个解析树，尽管存在这些歧义（根据文档，通过选择第一个备选方案）。但如果我想让它选择其他选择，我能做什么呢？换句话说，我如何显式地解决歧义？

（关于悬而未决的else问题的简单情况，请参见：在ANTLR4中使用什么来解决歧义（而不是句法谓词）？）

一个更复杂的例子：

如果我有这样的规则：

expr
    :   expr '[' expr? ']'
    |   ID expr
    |   '[' expr ']'
    |   ID
    |   INT
    ;

如果我理解正确，我有两个解决方案：

>

基本上是用语义谓词实现句法谓词（然而，在这种情况下，我不确定如何实现）。

重组语法。

e   :   expr | pe
    ;

expr
    :   expr '[' expr? ']'
    |   ID expr
    |   ID
    |   INT
    ;

pe  :   '[' expr ']'
    ;

这似乎起作用了，尽管语法变得更加复杂了。

我可能误解了一些事情，但这两种解决方案似乎都不如句法谓词优雅，复杂。不过，我喜欢使用？？运算符解决悬空的else问题。但我不确定在这种情况下该如何使用。有可能吗？

Answer 1

您可以通过将ID选项放在ID expr之上来解决这个问题。当消除左递归时，所有不是左递归的备选方案都会在左递归的备选方案之前被解析。

对于您的示例，第一个非左递归替代id expr与整个表达式匹配，因此之后不需要解析任何内容。