ANTLR解析器是否贪婪？两种ANTLR4语法执行结果为何不同？

首先，我们来拆解你的核心疑问：推理误区所在，以及ANTLR的"贪婪性"到底指什么。

你的推理误区 #

你认为解析器会"贪婪地将(5+9)+1000作为整体匹配expr"，并优先匹配一元运算符规则，但这里混淆了两个关键逻辑：

1. ANTLR语法分析器的规则匹配是按定义顺序尝试备选分支，而非"贪婪匹配整个输入"——它会自上而下尝试语法中排在前面的规则，一旦匹配成功就不会再考虑后面的分支。
2. 你忽略了子表达式的解析也遵循同样的规则顺序，这才是两个语法结果差异的核心原因。

两个语法的具体解析过程对比 #

语法1：antmath1（unaryExpr排在infixExpr之前）

grammar antmath1;
expr : '(' expr ')' # parensExpr
     | op=('+'|'-') expr # unaryExpr
     | left=expr op=('*'|'/') right=expr # infixExpr
     | left=expr op=('+'|'-') right=expr # infixExpr
     | value=NUM # numberExpr ;
NUM : [0-9]+;
WS : [ \t\r\n] -> channel(HIDDEN);

当解析-(5+9)+1000时：

• 解析器首先尝试最外层expr，前两个分支中parensExpr不匹配（输入以-开头），接着unaryExpr成功匹配- + 后续的(5+9)（(5+9)会被解析为parensExpr），得到子表达式-(5+9)（值为-14）。
• 剩下的+1000会和-(5+9)一起匹配后面的infixExpr分支，最终计算(-14) + 1000 = 986，结果符合预期。

语法2：antmath（unaryExpr排在infixExpr之后）

grammar antmath;
expr : '(' expr ')' # parensExpr
     | left=expr op=('*'|'/') right=expr # infixExpr
     | left=expr op=('+'|'-') right=expr # infixExpr
     | op=('+'|'-') expr # unaryExpr
     | value=NUM # numberExpr ;
NUM : [0-9]+;
WS : [ \t\r\n] -> channel(HIDDEN);

当解析-(5+9)+1000时：

• 解析器尝试最外层expr，前三个分支（parensExpr、*//的infixExpr、+/-的infixExpr）都不匹配（开头是-，没有左操作数），才会尝试第四个分支unaryExpr，匹配- + 后续的整个(5+9)+1000。
• 关键差异在这里：解析(5+9)+1000这个子expr时，语法中infixExpr排在unaryExpr前面，所以解析器优先匹配infixExpr分支，把(5+9)和1000当作加法的左右操作数，得到14 + 1000 = 1014。
• 最终一元负号作用在这个整体结果上，得到-1014，不符合预期。

关于ANTLR的"贪婪性" #

ANTLR的贪婪性仅针对词法分析器：词法分析器会尽可能匹配最长的合法token（比如不会把1000拆成1、0、0、0四个独立token）。

而语法分析器并不存在"贪婪匹配整个输入"的逻辑，它严格按照语法规则的定义顺序逐个尝试备选分支，一旦某个分支匹配成功，就会使用该分支完成解析，不会再尝试后续分支。这也是为什么规则顺序在ANTLR语法中至关重要——尤其是处理表达式优先级、结合性这类场景时。

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