1

我正在使用 antlr 生成生成抽象语法树的解析器。我遇到了一些关于左关联运算符的问题。我的语法如下:

add_expr returns [ASTNode value]
    :a=mul_expr {$value = a;}
    (
        o = ('+' | '-') b = add_expr
        {
        $value = new AddNode(a, b, $o.text);
        }
    )?
    ;
mul_expr returns [ASTNode value]
    :a=term {$value = a;}
    (
        o = ('*' | '/') b = mul_expr
        {
        $value = new MultiplyNode(a, b, $o.text);
        }
    )?
    ;

AddNode 和 MultiplyNode 的构造函数如下:

AddNote(ASTNode left, ASTNode right, String operatorr)

问题是,对于输入 abc,它被解析为 a-(bc) 之类的东西,而不是 (ab)-c。Antlr 不接受左递归语法。如何修改语法以使左联想语法在像 abc 这样的表达式中起作用?

4

1 回答 1

1

解析a-b-c不是 asa-(b-c)和 not as(a-b)-c而是 as a (-b) (-c),也就是说,

additiveExpression 
:   multiplicativeExpression
    (   
        (   '+'
        |   '-'
        )
        multiplicativeExpression
     )*
;

上述规则取自Java 语法。保存文本并使用编辑器阅读,因为浏览器可能会忽略其中的行尾。

于 2013-04-30T04:17:48.863 回答