如何对 Scala 解析器组合器结果进行模式匹配

Question

我们有一个多线程 RPC 服务器来解析输入字符串。我们遇到了 Scala 的解析器组合器库不是多线程安全的问题： Parsers.scala 用于任何解析。我们在这一行中得到一个 NullPointerException

if (!(lastNoSuccess != null && next.pos < lastNoSuccess.next.pos))

通过创建一个扩展解析器之一的对象来实现解析器的默认方法，但我想按需构造一个解析器，以便每个解析器都有自己的内部状态，所以我使用一个类来代替一个物体的。但是，我无法编译它，因为我需要对结果进行模式匹配：

import scala.util.parsing.combinator.RegexParsers

class SqlParserImpl
  extends RegexParsers
{
  val term: Parser[String] = """(?i)term\b""".r
}

object Test
{
  def main(args: Array[String]): Unit =
  {
    val parser = new SqlParserImpl
    parser.parseAll(parser.term, "term") match {
      // How do I match?
      case SqlParserImpl#Success(result, _) => true
      case SqlParserImpl#NoSuccess => false
    }
  }
}

失败

t.scala:16: error: '=>' expected but '#' found.
          case SqlParserImpl#Success(result, _) => true
                            ^
t.scala:17: error: '=>' expected but '#' found.
          case SqlParserImpl#NoSuccess => false
                            ^
two errors found

Answer 1

使用：

val parser = new SqlParserImpl
parser.parseAll(parser.term, "term") match {
  case parser.Success(result, _) => true
  case parser.NoSuccess(_, _) => false
}

# 符号用于指定类型成员。在您的情况下，它使用构造函数或提取器模式，需要引用对象或看起来像构造函数的东西。

唔。我手头没有2.7的。试试这个：

parser.parseAll(parser.term, "term") match {
  case parser.Success(result, _) => true
  case parser.Failure(_, _) => false
  case parser.Error(_, _) => false
}

Answer 2

我能够编译以下内容：

object Test {  
  def main(args: Array[String]): Unit = {
    val parser = new SqlParserImpl

    println(parser.parseAll(parser.term, "term") match {
      case x: parser.Success[_] => true
      case x: parser.NoSuccess => false
    })
  }
}

Answer 3

NoSuccess 对象（带有提取器）是在 2009 年添加的，当时没有任何代码被向后移植到 2.7，但是它的实现非常简单：

object NoSuccess {
  def unapply[T](x: ParseResult[T]) = x match {
    case Failure(msg, next)   => Some(msg, next)
    case Error(msg, next)     => Some(msg, next)
    case _                    => None
  }
}

因此您可以替换 parser .NoSuccess(_, _) 与一个 parser.Failure(_, _) 匹配和一个 parser.Error(_, _) 匹配。但是，如果您对返回的内容不感兴趣，那么与类型匹配会更简单：

case _: parser.Success[_] => true
case _: parser.NoSuccess  => false

例如 由 Eugene 建议一个>。