Question

据我在互联网上搜索一样，看起来Camlp5（前Camlp4）使用递归下降解析器，而ocamlyacc是基于LALR的解析器生成器。

在LALR解析器生成器中，优先级和关联性被映射到移位/减少冲突。我的问题是像Camlp5这样的递归下降解析器如何处理声明性运算符优先级？

 # let expr = Grammar.Entry.create gram "expr";;
 # EXTEND
     expr:
       [ "add" LEFTA
         [ x = expr; "+"; y = expr -> x + y
         | x = expr; "-"; y = expr -> x - y ]
       | "mult" RIGHTA
         [ x = expr; "*"; y = expr -> x * y
         | x = expr; "/"; y = expr -> x / y ]
       | "simple" NONA
         [ x = INT -> int_of_string x
         | "("; e = expr; ")" -> e ] ]
     ;
   END;;

它如何处理左递归调用？ camlp5（camlp4）是否使用了表驱动的运算符优先级方法：https://en.wikipedia.org/wiki/Operator-precedence_parser

非常感谢任何有关Camlp4解析器内部工作的见解或链接。

Answer 1

Recursive Descent Parser不是像LALR那样的表驱动解析器。由解析器做出的决策在函数体中是硬编码的（每个规则都是一个函数）。实际上，CamlpN compiles将语法定义为一组相互递归函数。这里的获胜点是，您不需要手动编写此功能。因此，如果您更改语法，则只需更新语法定义，并为您更新所有必需的功能。在常规的手动编码递归解析器中，您需要自己更新它，这非常容易出错。

Camlp5（前Camlp4）如何解析表达式

1 个答案: