无法让 Antlr4 解析器遵循隐式乘法的运算顺序

Question

我是ANTLR的新手，我试图使用ANTLR4和C#为计算器应用程序生成一个相对简单的解析器。这是我的语法文件。

parser grammar CalculatorExpressionParser;

options{
language = CSharp2;
}

expr:  FUNC expr? (COMMA expr)* RIGHTPAREN               #CallFunction
    |  LEFTPAREN expr RIGHTPAREN                         #Parens
    |  expr POW<assoc=right> expr                        #Pow
    |  expr op=(MULTIPLY | DIVIDE)? expr                 #MultDivide
    |  expr op=(ADD | SUBTRACT) expr                     #AddSubtract
    |  SUBTRACT expr                                     #Negative
    |  NUMBER                                            #Number
    ;

我编写了一个自定义词法分析器来生成令牌，以便在解析之前支持变量的隐式乘法和转换为其数字等效值。

但是输入后，我得到以下结果。

2+6/3 => 4 (correct)
6/3+2 => 1.2 (should be 4)
6/(3+2) => 4 (also correct)

1+2*3 => 7 (correct)
2*3+1 => 8 (should be 7 too)
(2*3)+1 => 7 (correct)

请注意，我尝试关闭错误恢复功能并将其设置为报告所有歧义错误，但似乎没有收到任何错误。

无论如何，如果我通过删除除法/乘法运算符之后的？将语法更改为以下内容，那么它似乎工作得很好，除了不再支持隐式乘法。

parser grammar CalculatorExpressionParser;

options{
language = CSharp2;
}

expr:  FUNC expr? (COMMA expr)* RIGHTPAREN               #CallFunction
    |  LEFTPAREN expr RIGHTPAREN                         #Parens
    |  expr POW<assoc=right> expr                        #Pow
    |  expr op=(MULTIPLY | DIVIDE) expr                  #MultDivide
    |  expr op=(ADD | SUBTRACT) expr                     #AddSubtract
    |  SUBTRACT expr                                     #Negative
    |  NUMBER                                            #Number
    ;

我想知道为什么输入？会破坏匹配顺序？有没有简单的方法来解决这个问题？

Answer 1

将 expr 语句拆分为多个语句，以便获得正确的操作顺序。

通常是这样的:注意每个expr只处理一组数学运算，然后向下调用一个较低优先级的规则。通常最底层的规则是原子操作符，如< code>INT或< code>FLOAT

所以在这种情况下，你要处理逻辑和或，然后是比较，然后是指数，然后是乘法/除法，然后是加法/减法。

注意，我还应该指出，这里我创建了一个AST树，而不是内联操作。

expr
: subExpr -> ^(EXPR subExpr)
;

subExpr : logicalAndExp (addSubtractOp^ logicalAndExp)*
;   

logicalAndExp
: logicalOrExp (multiplyDivideOp^  logicalOrExp)*    
;

logicalOrExp
: comparatorExp (CARET^  comparatorExp)*    
;

comparatorExp
: powExp (comparatorOp^  powExp)*   
;

powExp  : multExp (BARBAR^   multExp)*  
;

multExp 
:  expressionAtom (AMPAMP^ expressionAtom)*
;expression 
: subExpr -> ^(EXPR subExpr)
;

subExpr : logicalAndExp (addSubtractOp^ logicalAndExp)*
;   

logicalAndExp
: logicalOrExp (multiplyDivideOp^  logicalOrExp)*    
;

logicalOrExp
: comparatorExp (CARET^  comparatorExp)*    
;

comparatorExp
: powExp (comparatorOp^  powExp)*   
;

powExp  : multExp (BARBAR^   multExp)*  
;

multExp 
:  expressionAtom (AMPAMP^ expressionAtom)*
;

Answer 2

“expr expr”不符合操作符的模式，尽管ANTLR 4.2可能会处理这个问题。Sam仍在更新C#目标。