Antlr 4语法优先级失效：表达式解析不符合预期

针对$(USD)100'2 * -1的解析问题，核心原因是Antlr4的优先级由表达式规则的层次结构和规则内备选分支的顺序决定，并非单纯先定义finAmount/numberLiteral就会优先匹配。以下是具体排查和修复方向：

1. 重构表达式规则的层次结构 #

Antlr4遵循“内层规则优先匹配”的原则，必须将原子表达式（finAmount、numberLiteral）放在最底层，再依次向上定义一元运算、乘法/除法、加法/减法规则，确保优先级顺序正确。示例结构如下：

expr
    : multiplicativeExpr
    ;

multiplicativeExpr
    : additiveExpr (('*' | '/') additiveExpr)*
    ;

additiveExpr
    : unaryExpr (('+' | '-') unaryExpr)*
    ;

unaryExpr
    : '-' primaryExpr  // 一元负号，优先级高于乘法
    | primaryExpr
    ;

primaryExpr
    : finAmount        // 原子表达式，最高优先级
    | numberLiteral
    | '(' expr ')'     // 括号提升优先级
    ;

这样解析时会先匹配$(USD)100'2为finAmount，再匹配-1为unaryExpr，最后执行乘法运算，符合预期逻辑。

2. 验证finAmount规则的正确性 #

确保finAmount的语法能完整匹配$(USD)100'2格式，重点检查货币符号、币种标识、千分位分隔符的处理：

finAmount
    : '$' '(' currency ')' amount
    ;

currency
    : [A-Z]+  // 匹配USD这类币种代码
    ;

amount
    : DIGIT+ (('\'' DIGIT+)* | '.' DIGIT+)?  // 支持千分位'和小数.
    ;

// 词法规则注意顺序：先定义特殊格式，再定义通用数字
DIGIT: [0-9];

如果词法中存在类似NUMBER的通用数字规则，需确保amount相关的词法定义（或直接在语法中使用字符集）不会被覆盖。

3. 排查词法歧义 #

• 确保-作为单独的运算符词法规则定义，而非与数字合并为NEGATIVE_NUMBER（除非你明确希望-1作为一个整体词法单元，但即使如此，表达式层次结构仍需正确）：

  MINUS: '-';
  

• 词法规则的顺序很重要：先定义的规则会优先匹配，比如finAmount中的$、(等符号，需确保不会被其他词法规则提前匹配。

4. 可视化分析解析树 #

使用Antlr自带的工具生成解析树，直观定位问题：

# 生成语法分析器（假设语法文件为MoneyExpr.g4）
antlr4 MoneyExpr.g4
javac MoneyExpr*.java
# 解析输入并输出树结构
grun MoneyExpr expr -tree <<< "\$(USD)100'2 * -1"

通过解析树可以直接看到$(USD)100'2是否被正确识别为finAmount，还是被拆分为多个无关节点。

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