2

我试图理解为什么在下面的例子中我没有在 f2 上得到匹配。与 f1 相比，它确实按预期成功。

导入“包：petitparser/petitparser.dart”；导入“包：petitparser/debug.dart”；

main() {
  showIt(p, s, [tag = '']) {
    var result = p.parse(s);
    print('''($tag): $result ${result.message}, ${result.position} in:
$s
123456789123456789
''');
  }
  final id = letter() & word().star();
  final f1 = id & char('(') & letter().star() & char(')');
  final f2 = id & char('(') & any().star() & char(')');
  showIt(f1, 'foo(a)', 'as expected');
  showIt(f2, 'foo(a)', 'why any not matching a?');
  final re1 = new RegExp(r'[a-zA-Z]\w*\(\w*\)');
  final re2 = new RegExp(r'[a-zA-Z]\w*\(.*\)');
  print('foo(a)'.contains(re1));
  print('foo(a)'.contains(re2));
}

输出：

(as expected): Success[1:7]: [f, [o, o], (, [a], )] null, 6 in:
foo(a)
123456789123456789

(why any not matching a?): Failure[1:7]: ")" expected ")" expected, 6 in:
foo(a)
123456789123456789

true
true

我很确定原因与任何匹配结束括号的事实有关。但是当它然后寻找关闭的paren并且找不到它时，不应该：

  • 回溯最后一个字符
  • 假设any().star()仅使用 'a' 成功
  • 接受最后的括号并成功

同样相比之下，我展示了执行此操作的类似正则表达式。

4

1 回答 1

2

正如您正确分析的那样，示例中的any解析器使用右括号。包装any解析器的星型解析器急切地消耗尽可能多的输入。

您所描述的回溯不是由 PEG（解析表达式语法）自动完成的。只有有序选择会自动回溯。

要修复您的示例，有多种可能性。最严格的一个是不匹配右括号：

id & char('(') & char(')').neg().star() & char(')')

或者

id & char('(') & pattern('^)').star() & char(')')

或者，您可以使用starLazy运算符。它的实现是使用星号和有序选择运算符。可以在这里找到解释。

id & char('(') & any().starLazy(char(')')) & char(')')
于 2015-08-24T06:46:27.543 回答