c - Bison 优先级没用？它不起作用

Question

我已经为 bison 声明了这样的优先级:

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

算术的递归规则:

exp:       exp binary_op exp { .. }
           | literal_exp     { .. }
           | ID              { .. }

binary_op: '+'               { .. }
           | '-'             { .. }
           | '*'             { .. }
           | '/'             { .. }

我有一个算术表达式:10 * 3 + 5

我的程序计算了总和，结果是 80!我仍然不知道为什么优先级不起作用。

Answer 1

如果你像这样定义表达式，它应该可以工作:

exp:       exp '+' exp       { .. }
           exp '-' exp       { .. }
           exp '*' exp       { .. }
           exp '/' exp       { .. }
           | literal_exp     { .. }
           | ID              { .. }

仅当运算符作为规则中的终结符出现时，优先级才有效。

请参阅 How precedence works 上的文档:

each rule gets its precedence from the last terminal symbol mentioned in the components

您的 exp 规则没有终端，因此不应用任何优先级。