Antlr4 4.7.1语法歧义问题咨询：原因排查与解决

问题1：歧义产生的原因及解决方法 #

当解析输入foobar.bar[0]时，Antlr的LL(*)分析器检测到两种合法的语法推导路径：

• 路径1：匹配第2条规则 expr '.' slice2 arrayindex，将foobar作为基础expr，后续的.bar[0]直接解析为属性访问加数组索引，形成完整的expr节点。
• 路径2：先通过第3条规则 expr '.' slice2 将foobar.bar解析成一个新的expr，再匹配第4条规则 expr arrayindex，把[0]作为这个新expr的数组索引。

两条路径都能生成符合语法规则的语法树，因此触发歧义警告。

除了注释第4条规则，更合理的解决方式是通过拆分规则层级明确推导优先级，避免冲突：
把属性访问、数组索引、函数调用这类后缀操作单独抽成子规则，让它们的优先级高于二元运算符，同时明确后缀操作的组合顺序：

expr:
    expr ('*'|'/') expr                      // 乘除
    | expr ('+'|'-') expr                      // 加减
    | expr ('<' | '>' | '==') expr             // 比较运算
    | postfix
    ;

postfix:
    IDENTIFIER '(' expr (',' expr)* ')'        // 函数调用
    | postfix '.' slice2 arrayindex               // 属性访问+数组索引
    | postfix '.' slice2                          // 属性访问
    | postfix arrayindex                          // 数组索引
    | IDENTIFIER                               // 标识符
    | INT                                      // 整数
    | '(' expr ')'                             // 括号分组
    ;

通过层级划分，让后缀操作的推导逻辑更清晰，从根源消除歧义。

问题2：为何歧义警告涉及第5条规则（乘除） #

警告里提到的第5条规则expr ('*'|'/') expr，并不是说这条规则能匹配当前输入，而是Antlr的LL(*)分析器在全上下文预测时，会遍历所有expr的备选分支。当分析器检查expr arrayindex规则的可行性时，会考虑前面的expr是否能通过包括乘除在内的所有expr子规则推导出来——即使当前输入foobar.bar根本不会走到乘除分支，但分析器的预测逻辑会把所有可能的expr生成路径都纳入检查范围，因此歧义报告里会包含这条规则。

这是分析器预测机制导致的“范围性报告”，实际当前输入并不会触发乘除规则的匹配。

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