用简单的计算器语法解决冲突转移/减少

Question

您好，我刚刚开始在 bison/yacc 中进行一些解析。现在我的第一个程序已经失败了。什么地方出了错？我正在使用以下示例： original source of tutorial

%{
    #include <stdio.h>
    int yylex(void);
    void yyerror(char *);
%}


%token INTEGER

%%

program:
        program expr '\n'         { printf("%d\n", $2); }
        | 
        ;

expr:
        INTEGER                   { $$ = $1; }
        | expr '+' expr           { $$ = $1 + $3; }
        | expr '-' expr           { $$ = $1 - $3; }
        ;

%%

void yyerror(char *s) {
    fprintf(stderr, "%s\n", s);
}

int main(void) {
    yyparse();
    return 0;
}

使用 2.4.1 版的 bison 我收到此错误：

conflicts: 4 shift/reduce

Answer 1

试试看：

expr:
    INTEGER                   { $$ = $1; }
    | expr '+' INTEGER           { $$ = $1 + $3; }
    | expr '-' INTEGER           { $$ = $1 - $3; }

bison/yacc 不喜欢右递归。如果输入是1+2+3，则当解析器到达1+2+ 时，它无法决定将1+2 减少为expr 或转移另一个令牌以将2+3 减少为expr。通过在右侧指定INTEGER，它可以决定一看到1+2就减少，只留下expr + 3，然后再次减少。

您还可以通过指定 + 和 - 保持关联来解决此问题，从而将减少 1+2 的优先级高于移动新令牌。在序言中添加该行：

%left '+' '-'

希望对你有帮助。