4

解析表单的字符串Value[,Value]+可以很容易地通过rep1sep(Value, ','). 当值解析器依赖于重复中先前解析的值时，有没有办法实现 rep1sep 功能？例如，强制要求每个值必须是唯一的？

依赖解析器的标准技术是 flatMap，但我无法使其正常工作。这是一种这样的尝试：

def Values(soFar: Set[Value]): Parser[Set[Value]] =
  Value(soFar) flatMap { v => (',' ~> Values(soFar + v)).?.map { _ getOrElse soFar } }

def Value(soFar: Set[Value]): Parser[Value] =
  Num+ flatMap { v => if (soFar.contains(v)) failure("%d already appears".format(v)) else success(v) }

一般来说，我需要一种 rep1sep 形式，其中解析器参数是一个函数 from Seq[A]to Parser[A]：

def rep1sepDependent(rep: Seq[A] => Parser[A], sep: Parser[Any]): Seq[A] = ???

注意：我意识到这里的用例是有问题的，并且在解析后更好地处理验证唯一性。我在使用 SBT 解析组合器来完成制表符时遇到了这个问题——具体来说，我想只为用户尚未输入的那些键提供键/值对的完成选项。有关完整示例和可构建的 SBT 项目，请参阅此解析器。

4

2 回答 2

4

以下内容不像您的那样通用rep1sepDependent，但它有效：

def rep1sepUnique[T](p: => Parser[T], q: => Parser[Any]) = {
  def checkIfSeen(seen: Set[T]): Parser[Set[T]] = q ~> p >> (v =>
    if (seen(v)) failure("Duplicate: %s".format(v)) else checkIfSeen(seen + v)
  ) | success(seen)
  p >> (v => checkIfSeen(Set(v)))
}

例如：

import scala.util.parsing.combinator._

object parseUniqueWords extends RegexParsers {
  def rep1sepUnique[T](p: => Parser[T], q: => Parser[Any]) = {
    def checkIfSeen(seen: Set[T]): Parser[Set[T]] = q ~> p >> (v =>
      if (seen(v)) failure("Duplicate: %s".format(v)) else checkIfSeen(seen + v)
    ) | success(seen)
    p >> (v => checkIfSeen(Set(v)))
  }

  def apply(s: String) = parseAll(rep1sepUnique("\\w+".r, ","), s)
}

这给了我们：

scala> parseUniqueWords("aaa,bb,c")
res0: parseUniqueWords.ParseResult[Set[String]] = [1.9] parsed: Set(aaa, bb, c)

scala> parseUniqueWords("aaa,bb,aaa")
res1: parseUniqueWords.ParseResult[Set[String]] = 
[1.11] failure: Duplicate: aaa

aaa,bb,aaa
          ^

这就是我们想要的。

于 2012-07-03T16:23:21.460 回答
0

以下是选择一些辅助完成项目的解决方案，避免重复项目：

def select1(items: Iterable[String], separator: Parser[_] = Space) =
  token(separator ~> StringBasic.examples(FixedSetExamples(items)))

def selectSome(items: Seq[String], separator: Parser[_] = Space): Parser[Seq[String]] = {
   select1(items, separator).flatMap { v ⇒
   val remaining = items filter { _ != v }
   if (remaining.size == 0)
     success(v :: Nil)
   else
     selectSome(remaining).?.map(v +: _.getOrElse(Seq()))
 }

}

使用示例：

val myTask = inputTask[Unit]("Print selected numbers")
myTask := {
  val numbers = selectSome(Seq("One", "Two", "Three", "Four")).parsed
  numbers.foreach{ println _ }
}

使用 SBT 0.13.9 进行测试。

于 2015-11-18T10:45:31.733 回答