ocaml解析器中的优先级重要吗？

Question

例如，如果我正在编写一个类似 parser.mly 的文件，而我为表达式编写了这个文件

expr:
    expr PLUS   expr { Binop($1, Add,   $3)   }
  | expr DIVIDE expr { Binop($1, Divide,   $3)   }

会不会和这个一样

expr:
    expr DIVIDE   expr { Binop($1, Divide,   $3)   }
  | expr PLUS expr { Binop($1, Add,   $3)   }

我想我想问的是，垂直列出的顺序是否对确定解析优先级很重要？

Answer 1

ocamlyacc 和 menhir 都要求您使用 %left、%right 和 %nonassoc 声明明确声明优先级。产生的顺序无关紧要。