ANTLR4是如何解决“悬空else”语法歧义问题的？

你给出的IfStat.g4语法中stat规则天然存在二义性，针对输入if a then if b then c else d，ANTLR4自动选择了else就近绑定内层if的解析路径，核心依赖两个默认处理规则：

• 贪婪最长匹配优先
  ANTLR4的LL(*)解析器默认采用贪婪匹配策略：当存在多条合法解析路径时，会优先选择能够消费更多后续输入token的路径。
  针对该测试用例，当解析到内层if b then c后，后续仍有else d输入，此时解析器有两个可选解析路径：
  • 路径1：将内层if b then c判定为无else的stat分支，剩余else d留给外层if匹配，最终得到if a then (if b then c) else d的解析树
  • 路径2：将else d纳入当前内层if的匹配范围，形成带else的完整stat分支，消费更多输入token，最终得到if a then (if b then c else d)的解析树
    ANTLR4会自动选择路径2，符合绝大多数编程语言的if-else绑定直觉。
• 备选分支顺序兜底
  如果存在多条消费输入长度相同的解析路径，ANTLR4会按照规则内备选分支的书写顺序选择优先级，写在越靠前的分支优先级越高。不过在悬空else的场景下，贪婪最长匹配规则优先级更高，即使你调整两个if分支的书写顺序，默认还是会得到else就近绑定的结果。
  如果需要修改默认的绑定逻辑，你可以手动添加句法谓词或者优先级配置覆盖默认行为。

// file: IfStat.g4
grammar IfStat;

stat : 'if' expr 'then' stat
     | 'if' expr 'then' stat 'else' stat
     | expr
     ;

expr : ID ;

ID : LETTER (LETTER | [0-9])* ;
fragment LETTER : [a-zA-Z] ;

WS  : [ \t\n\r]+ -> skip ;

内容的提问来源于stack exchange，提问作者hengxin