21、ANTLR 语法解析：直接左递归消除与语法结构详解

ANTLR 语法解析：直接左递归消除与语法结构详解

直接左递归消除

在语法中，自然地指定算术表达式的方式往往是模糊的。例如，对于表达式 1+2*3 ，它可以被解释为 (1+2)*3 或者 1+(2*3) 。不过，ANTLR 通过优先处理先指定的替代方案，巧妙地避开了这种模糊性。

下面是一个示例语法文件 Expr.g4 ：

stat: expr ';' ;
expr:
expr '*' expr  // precedence 4
|
expr '+' expr  // precedence 3
|
INT            // primary (precedence 2)
|
ID             // primary (precedence 1)
;

然而， expr 规则仍然是左递归的，传统的自顶向下语法（如 ANTLR v3）无法处理这种情况。在 ANTLR 中，它通过使用 (...)* 结构来比较前一个和下一个运算符的优先级，从而替换左递归。

直接左递归替代模式

ANTLR 会检查任何左递归规则，寻找以下四种子表达式运算符模式：
1. 二元模式 ：形式为 expr op expr 或 expr (op1|op2|...|opN) expr