模式匹配为 ArrayBuffer 和 Seq 返回不同的结果

Question

在下面的示例中，有一个函数 seqResult 与 Seq 匹配。另一个接受可变参数的函数调用seqResult 并传入ArrayBuffer。这会导致在使用Seq 或ArrayBuffer 调用时模式匹配结果不同。

Seq 匹配器匹配case head :: rest => ...，ArrayBuffer 匹配器匹配case Seq(one, two) => ...。

这是一个错误吗？有没有办法防止这种情况发生？

如果这不是错误，那么有什么安全方法可以匹配一个或多个适用于 Seq(a,b) 和 ArrayBuffer(a,b) 的条目列表？

def seqResult(arr:Seq[String]) = arr match {
  case Nil =>  "Nil"
  case head :: Nil => "head :: Nil"
  case head :: rest => "head :: rest"
  case Seq(one, two) => "one, two"
  case _ => "other"
}

def varArgResult(args:String*) = seqResult(args)

val ab = varArgResult("one", "two")
val se = seqResult(Seq("one", "two"))

println(ab) //=> "one, two"
println(se) //=> "head :: rest"

Answer 1

:: 是Lists 的提取器对象。由于列表是Seq 的默认实现，这就是您在使用Seq(a, b, ...) 时所看到的。

Seqs 的提取器是 +:。

Answer 2

args: String*实际上是Array

Seq() 构造函数使用基于 ListBuffer 的构建器，因此我们有 List 数据类型。

object Seq extends SeqFactory[Seq] {
  def newBuilder[A]: Builder[A, Seq[A]] = new mutable.ListBuffer
}

...

println(Seq("one", "two"))

List(one, two)

head::rest 是List 匹配的语法糖，可以表示为List(head, rest)，在您的情况下匹配se。