0

我count在 Scala 2.9.2 中有一个递归函数，看起来像这样

def count(traces: Seq[(Char, Char)], acc: (TP, TN, FP, FN)): (TP, TN, FP, FN) = {
  val (tp, tn, fp, fn) = acc
  traces match {
    case Nil => acc
    case ('(', '(')::rest => count(rest, (tp + 1, tn, fp, fn))
    case (')', ')')::rest => count(rest, (tp + 1, tn, fp, fn))
    case ('(', ')')::rest => count(rest, (tp, tn + 1, fp, fn))
    // ... exhaustive set of cases ...
  }
}

在输入Seq(('(', '('))时，函数会抛出以下内容MatchError：

scala.MatchError: Vector(((,()) (of class scala.collection.immutable.Vector)

我通过使用 Scala 控制台中的代码对此进行了调查。

scala> val t = Seq(('a', 'b'), ('b', 'c'))
t: Seq[(Char, Char)] = List((a,b), (b,c))

scala> t match { case Nil => "h"; case ('a', 'b')::rest => rest }
res6: java.lang.Object = List((b,c))

scala> t1 match { case Nil => "h"; case ('a', 'b')::rest => rest }
scala.MatchError: List((b,c)) (of class scala.collection.immutable.$colon$colon)

似乎匹配('a', 'b')::rest（第二行）没有返回正确类型的对象，因为Seq[(Char, Char)]突然java.lang.Object变成了 Scala 不知道如何匹配的类型。

什么解释了这种行为？

4

1 回答 1

0

模式匹配的问题是您使用仅为 List 类定义的提取器 ，但将它们传递给 Vector。

如果你真的需要匹配每一个可能的 Seq，你可能想要使用通用语法：

   foo match {
     case Seq('(' -> ')',rest@ _* ) => println("The tail is" + rest)
   }

（不要与->箭头混淆，1 -> 2本质上与 相同(1,2)，但在这种特殊情况下更具可读性：您不会将通常的大括号与'('和')'类似Seq(('(',')'), ... )）

否则，只需将参数类型严格限制为 List[(Char, Char)]。

于 2012-12-07T00:29:22.447 回答