scala - Scala：我可以推动组合解析器在本地贪婪吗？

Question

假设我有一种在组合解析器中表达的模棱两可的语言。有没有办法让某些表达式局部贪婪？这是我的意思的一个例子。

import scala.util.parsing.combinator._

object Example extends JavaTokenParsers {
  def obj: Parser[Any] = (shortchain | longchain) ~ anyrep

  def longchain: Parser[Any] = zero~zero~one~one
  def shortchain: Parser[Any] = zero~zero

  def anyrep: Parser[Any] = rep(any)
  def any: Parser[Any] = zero | one
  def zero: Parser[Any] = "0"
  def one: Parser[Any] = "1"
  def main(args: Array[String]) {
    println(parseAll(obj, args(0) ))
  }
}

编译后，我可以如下运行它：

$ scala Example 001111
[1.7] parsed: ((0~0)~List(1, 1, 1, 1))

我想以某种方式指示第一部分obj在本地贪婪并与longchain. 如果我切换顺序，它与 匹配longchain，但这不是因为贪婪。

def obj: Parser[Any] = (longchain | shortchain) ~ anyrep

Answer 1

使用|||：

object Example extends JavaTokenParsers {
  def obj: Parser[Any] = (shortchain ||| longchain) ~ anyrep

  def longchain: Parser[Any] = zero~zero~one~one
  def shortchain: Parser[Any] = zero~zero

  def anyrep: Parser[Any] = rep(any)
  def any: Parser[Any] = zero | one
  def zero: Parser[Any] = "0"
  def one: Parser[Any] = "1"
  def main(args: Array[String]) {
    println(parseAll(obj, args(0) ))
  }
}

scala> Example.main(Array("001111"))
[1.7] parsed: ((((0~0)~1)~1)~List(1, 1))