FastParse内存不足错误

Question

我试图使用FastParse库为一个非常原始的模板系统创建一个解析器，如下所示：

你好，您的名字是{{ name }，今天是{date}}。

到目前为止，我已经：

scala> import fastparse.all._
import fastparse.all._

scala> val FieldStart = "{{"
FieldStart: String = {{

scala> val FieldEnd = "}}"
FieldEnd: String = }}

scala> val Field = P(FieldStart ~ (!FieldEnd ~ AnyChar).rep.! ~ FieldEnd)
Field: fastparse.all.Parser[String] = Field

scala> val Static = P((!FieldStart ~ !FieldEnd ~ AnyChar).rep.!)
Static: fastparse.all.Parser[String] = Static

scala> val Template = P(Start ~ (Field | Static) ~ End)
Template: fastparse.all.Parser[String] = Template

scala> Template parse "{{foo}}"
res0: fastparse.core.Parsed[String,Char,String] = Success(foo,7)

scala> Template parse "foo"
res1: fastparse.core.Parsed[String,Char,String] = Success(foo,3)

scala> Template parse "{{foo"
res2: fastparse.core.Parsed[String,Char,String] = Failure(End:1:1 ..."{{foo")

但当我尝试我认为应该是正确的最终形式时：

scala> val Template = P(Start ~ (Field | Static).rep ~ End)
Template: fastparse.all.Parser[Seq[String]] = Template

我得到：

scala> Template parse "{{foo}}"
java.lang.OutOfMemoryError: Java heap space
  at scala.collection.mutable.ResizableArray$class.ensureSize(ResizableArray.scala:103)
  at scala.collection.mutable.ArrayBuffer.ensureSize(ArrayBuffer.scala:48)
  at scala.collection.mutable.ArrayBuffer.$plus$eq(ArrayBuffer.scala:84)
  at scala.collection.mutable.ArrayBuffer.$plus$eq(ArrayBuffer.scala:48)
  at fastparse.core.Implicits$LowPriRepeater$GenericRepeater.accumulate(Implicits.scala:47)
  at fastparse.core.Implicits$LowPriRepeater$GenericRepeater.accumulate(Implicits.scala:44)
  at fastparse.parsers.Combinators$Repeat.rec$3(Combinators.scala:462)
  at fastparse.parsers.Combinators$Repeat.parseRec(Combinators.scala:489)
  at fastparse.parsers.Combinators$Sequence$Flat.rec$1(Combinators.scala:297)
  at fastparse.parsers.Combinators$Sequence$Flat.parseRec(Combinators.scala:319)
  at fastparse.parsers.Combinators$Rule.parseRec(Combinators.scala:160)
  at fastparse.core.Parser.parseInput(Parsing.scala:374)
  at fastparse.core.Parser.parse(Parsing.scala:358)
  ... 19 elided

我做错了什么？

Answer 1

就像这样：

val Field = P(FieldStart ~ (!FieldEnd ~ AnyChar).rep(min=1).! ~ FieldEnd)
val Static = P((!(FieldStart | FieldEnd) ~ AnyChar).rep(min=1).!)

val Template = P(Start ~ (Field | Static) ~ End)

你应该小心.rep，字面意思是0或更多.

此外，在Static解析器中，负展望应该类似于!(FieldStart | FieldEnd)，

我想，因为你不想要(打开的牙套或封闭的牙套)。

希望能帮上忙！)