bison - 运算符分组为非终端时的 Bison shift-reduce 冲突

Question

假设我的语法中有以下规则。

expr: expr op expr
    | NUMBER

op: '+' | '-' | '*' | '/'

我完成了以下声明

%token NUMBER

%left '+' '-'
%right '*' '/'

这会导致 4 个班次减少冲突

State 12

    4 expr: expr . op expr
    4     | expr op expr .

    '+'  shift, and go to state 6
    '-'  shift, and go to state 7
    '*'  shift, and go to state 8
    '/'  shift, and go to state 9

    '+'       [reduce using rule 4 (expr)]
    '-'       [reduce using rule 4 (expr)]
    '*'       [reduce using rule 4 (expr)]
    '/'       [reduce using rule 4 (expr)]
    $default  reduce using rule 4 (expr)

    op   go to state 11

但是，如果我将语法重写为

expr: expr '+' expr
    | expr '-' expr
    | expr '*' expr
    | expr '/' expr
    | NUMBER

优先规则生效，冲突得到解决。我相信冲突的出现是因为当野牛遇到一个 时op，它不会跟踪op转移到堆栈中的前一个。有没有办法可以将所有操作员分组并仍然解决冲突？

Answer 1

显然，这里已经回答了1。

通过对运算符进行分组，会丢失优先级信息。