peg - 为什么这个 peg 语法不能识别 42？

Question

使用语法

start
  = b
  / a

a
  = "4" "2"

b
  = "4"

与 peg.js识别 4 但不识别 42 在这种情况下错误

“第 1 行，第 2 列:预期的输入结束，但找到了“2”。”

被报道。显然解析器完成了 start -> b规则消耗“4”，然后不知道如何处理“2”。但是为什么它不使用 a 的其他规则再次尝试？ ，当它遇到错误时？

Answer 1

在 PEG 语法中，选择运算符被称为“优先选择”，替代项旨在按照语法中出现的顺序进行处理。在运行时，PEG 解析器将开始处理第一个选项的选择。如果失败，解析器会回溯到解析该替代方案之前的状态，然后继续下一个。然而，一旦成功，则假定替代方案是正确解析的一部分，并且不考虑当前选择的任何剩余替代方案。

对于您的语法，这意味着永远不会尝试第二个选项，因为第一个选项形成了它的前缀。如果您对替代品重新排序，它应该会按您的预期工作。