在ANTLR4中使用什么来解决歧义（而不是句法谓词）？

Question

在ANTLR v3中，句法谓词可以用来解决例如悬空的else问题。ANTLR4似乎接受具有类似歧义的语法，但在解析过程中它会报告这些歧义（例如，“line 2:29 reportAmbiguity d=0(e):ambigalts={1,2},input=...”）。它生成一个解析树，尽管存在这些歧义（根据文档，通过选择第一个备选方案）。但如果我想让它选择其他选择，我能做什么呢？换句话说，我如何显式地解决歧义？

prog
    :   e EOF
    ;

e
    :   'if' e 'then' e ('else' e)?
    |   INT
    ;

如果出于某种原因，我想要另一棵树：（prog（e if(e1)then（e if(e2)then（e 3））else（e 4）），我能做什么？

编辑：关于更复杂的示例，请参见ANTLR4中使用什么来解决更复杂情况下的歧义（而不是句法谓词？）

Answer 1

>

在这种情况下，可以使用语义谓词显式地不允许替换。

('else' e | {_input.LA(1) != ELSE}?)

您应该能够使用？？运算符而不是？将else与最外层的if关联。然而，业绩将大幅下降。另一个选项是区分匹配的If/else对与不匹配的If对。

ifStatement
  : 'if' expression 'then' (statement | block) 'else' (statement | block)
  | 'if' expression 'then' (statementNoIf | block)
  ;