スカラコンビネータパーサーは、私が思ったようにバックトラッキングしていません...

Question

私はこの問題を自分自身で見つめていましたが、これはおそらく本当に愚かな質問になるでしょう。しかし私は私の誇りを飲み込む必要があります。

私はそれが思ったようにバックトラックしないこのコンビネーターパーサを持っています。私は文脈を完全に取り除かずに小さな例に減らしてきました。 「foobar」のような感覚は、読みにくいです。ここで私は行く：

@RunWith(classOf[JUnitRunner]) 
class ParserBacktrackTest extends RegexParsers with Spec with ShouldMatchers { 
    override def skipWhitespace = false 

    lazy val optSpace = opt(whiteSpace) 
    lazy val number = """\d+([\.]\d+)?""".r 
    lazy val numWithOptSpace = number <~ optSpace 

    private def litre = numWithOptSpace <~ ("litre" | "l") 
    def volume = litre ^^ { case _ => "volume" } 

    private def namedPieces = numWithOptSpace <~ ("pcs") ^^ { case _ => "explPcs" } 
    private def implicitPieces = number ^^ { case _ => "implPcs" } 
    protected def unitAmount = namedPieces | implicitPieces 

    def nameOfIngredient = ".*".r 

    def amount = volume | unitAmount 
// def amount = unitAmount 
    protected def ingredient = (amount <~ whiteSpace) ~ nameOfIngredient 

    describe("IngredientParser") { 
    it("should parse volume") { 
     shouldParse("1 litre lime") 
    } 
    it("should parse explicit pieces") { 
     shouldParse("1 pcs lime") 
    } 
    it("should parse implicit pieces") { 
     shouldParse("1 lime") 
    } 
    } 

    def shouldParse(row: String) = { 
    val result = parseAll(ingredient, row) 
    result match { 
     case Success(value, _) => println(value) 
     case x => println(x) 
    } 
    result.successful should be(true) 
    } 
} 

だから何が起こることは3番目のテストが失敗したということです。

(volume~lime) 
(explPcs~lime) 
[1.4] failure: string matching regex `\s+' expected but `i' found 

1 lime 
^

だから、litre-parserはリットルを消費し、それがどのスペースを見つけることができなかったとき、それが失敗したようです。しかし、私はそれが逆戻りして次の生産ルールを試みると思っていたでしょう。明らかにimplicitPiecesパーサは、この行を解析し、私は（コメントを削除する）前のボリュームパーサーを削除した場合、それは

(implPcs~litre lime) 
(explPcs~lime) 
(implPcs~lime) 

が成功するためになぜamount後戻りはないでしょうか？私は何を誤解していますか？

Answer 1

それはvolume

volumelitreで始まり、

litreが正常に1 lime

の 1 lを消費して amount

amount開始で始まり1 lime

• ingredientためなぜなら後戻りしません

したがってlitre、volumeおよびamountはすべて成功しました。これが理由の1つで、ingredientの2番目の部分、つまりwhiteSpaceで続きます。

HTH！

Answer 2

私の誤解を示す最小限の例を掲載したいだけです。私は、これが成功するだろうと思った：

def foo = "foo" | "fo" 
    def obar = "obar" 

    def foobar = foo ~ obar 

    describe("foobar-parser") { 
    it("should parse it") { 
     shouldParseWith(foobar, "foobar") 
    } 
    } 

しかし|上ではそのように動作しませんバックトラック。分離パーサは "foo"を消費し、それを返すことはありません。

それは論理和がトップレベルに移動されるように正規化する必要があります。

def workingFooBar = ("foo" ~ obar) | ("fo" ~ obar)