javascript - 用PEG.js解析此语法的意外行为

我是形式语法世界的新手。我尝试使用ANTLR for JS，但无法弄清楚如何运行解析器。我正在尝试为PEG.js上的DSL开发语法，这就是我的（http://peg.arcanis.fr/3T2PKD/）：

start
  = expr

operator
  = "show" lparen st:string ws rparen { console.log(7)}
  / "show" lparen ex:expr rparen      { console.log(8)}

expr
 = op: operator ws ex: expr  {console.log (1)}
 / st:string ws ex: expr     {console.log (2)}
 / st:string ws op:operator  {console.log (3)}
 / op:operator ws str:string {console.log (4)}
 / st:string ws              {console.log (5)}
 / op:operator ws            {console.log (6)}

lparen
  = ws "(" ws

rparen
  = ws ")" ws

integer "integer"
  = digits:[0-9]+ { return parseInt(digits.join(""), 10); }

string "string"
  = quotation_mark chars:char* quotation_mark { return chars.join(""); }

ws "whitespace" = [ \t\n\r]*

char
  = unescaped
  / escape
    sequence:(
        '"'
      / "\\"
      / "/"
      / "b" { return "\b"; }
      / "f" { return "\f"; }
      / "n" { return "\n"; }
      / "r" { return "\r"; }
      / "t" { return "\t"; }
      / "u" digits:$(HEXDIG HEXDIG HEXDIG HEXDIG) {
          return String.fromCharCode(parseInt(digits, 16));
        }
    )
    { return sequence; }

escape         = "\\"
quotation_mark = '"'
unescaped      = [\x20-\x21\x23-\x5B\x5D-\u10FFFF]

/* ----- Core ABNF Rules ----- */

/* See RFC 4234, Appendix B (http://tools.ietf.org/html/rfc4627). */
DIGIT  = [0-9]
HEXDIG = [0-9a-f]i

{
  ;
}

在以下位置进行测试时：show ("abc")控制台不应显示
7
6
？

相反，它显示
7
7
7
6

在过去的三天里，我一直在绞尽脑汁。有人在某处帮助我节俭！

最佳答案

解析器必须先尝试op: operator ws ex: expr和op:operator ws str:string规则，然后才能成功使用op:operator ws。它不知道在)之外找不到任何内容之前，这些内容将无法工作。

因此，它一次通过operator规则，没有看到另一个表达式，因此它回溯了。然后，它第二次看到operator，但它仍然不起作用，因为它后面没有字符串。因此，最后，在第三次尝试中，它看到了运算符，然后最后一条规则成功了。

之所以调用console.log(7)是因为operator规则本身会成功，即使expr规则不会成功。