如何使parboiled2与整个输入匹配？

Question

我编写了以下hello-world parboiled2解析器：

class MyParser(val input: ParserInput) extends Parser {

 /*
  Expr     <- Sum
  Sum      <- Product ('+') Product)*
  Product  <- Value (('*') Value)*
  Value    <- Constant | '(' Expr ')'
  Constant <- [0-9]+
  */

  def Expr: Rule1[Int] = rule { Sum }

  def Sum: Rule1[Int] = rule { oneOrMore(Product).separatedBy(" + ") ~> ((products: Seq[Int]) => products.sum) }

  def Product: Rule1[Int] = rule { oneOrMore(Value).separatedBy(" * ") ~> ((values: Seq[Int]) => values.product) }

  def Value: Rule1[Int] = rule { Constant | ('(' ~ Expr ~ ')') }

  def Constant: Rule1[Int] = rule { capture(oneOrMore(Digit)) ~> ((digits: String) => digits.toInt) }

}

这在很大程度上符合预期，例如，它成功地将"1 + 2“解析为3。

如果我给它一个无效的输入，比如"1 + (2“)，我会期望解析失败。但它实际上是成功的，结果是1。

看起来，parboiled2只是在解析输入的一部分，而忽略了它无法解析的其余部分。这是预期的行为吗？是否有任何方法强制解析器解析整个输入，如果不能解析则失败？

Answer 1

这是预期的行为。parboiled2是一个聚乙二醇解析器，正如文档中的常见错误部分所描述的那样，它会吃掉它能找到的所有东西。

要避免这样的问题，请确保在字符串末尾使用输入结束符号：

def Expr: Rule1[Int] = rule { Sum ~ EOI }

Answer 2

如果输入“1+(2+3*4)+5”，解析将失败。定义另一个根规则，并保留Expr原样，这将起到以下作用：

def InputLine = rule { Expr ~ EOI }
def Expr: Rule1[Int] = rule { Sum }