PEST解析器不识别注释

Question

我正在尝试用PEST编写一个解析器，即Rust解析器生成器。我在一个相当简单的语法上遇到了麻烦。file是语法中的顶级规则。它包含SOI和EOI规则。

// example.pest

WHITESPACE = _ { "\n" | " " }
COMMENT = _{ "(*" ~ ANY* ~ "*)" }

KEYWORD = { ^"keyword" }

file = _{ SOI ~ KEYWORD ~ EOI }

下面是我试图解析的文件的内容：

(*
*)
keyword

生成的分析器无法分析此文件。错误如下所示：

1 | (*␊
  | ^---
  |
  = expected KEYWORD

内置的COMMENT规则应该可以处理这种情况。空格在注释中的处理方式是否不同？

如何正确地编写带有注释的语法？

Answer 1

实际上，这里给出的语法逻辑中存在错误。语法中的这条规则将匹配到文件末尾的所有内容。

COMMENT = _{ "(*" ~ ANY* ~ "*)" }

规则应该是

COMMENT = _{ "(*" ~ (!"*)" ~ ANY)* ~ "*)" }

这意味着可以匹配任意数量的字符，但不能匹配任何看起来像*)的字符。一旦遇到*)，就会到达序列的下一部分，匹配*)并满足整个规则。