Scala 模式匹配混淆

我开始学习 Scala，但我不太了解模式匹配的一些行为。谁能向我解释为什么第一种情况有效，但第二种情况不起作用？

1

def getFirstElement(list: List[Int]) : Int = list match {
    case h::tail => h
    case _ => -1
}

Scala> getFirstElement(List(1,2,3,4))
res: Int = 1

Scala> 1 :: List(1,2)
res: List[Int] = List(1, 1, 2)

2

def getSumofFirstTwoElement(list: List[Int]): Int = list match {
    case List(a: Int, b: Int)++tail => a + b
    case _ => -1
}

<console>:11: error: not found: value ++

Scala> List(1,2) ++ List(3,4,5)
res: List[Int] = List(1, 2, 3, 4, 5)

最佳答案

原因是 unapply 类型的对象上没有 ++ 方法。该::工作的原因是因为在幕后真的是:

final case class ::[B](override val head: B, private[scala] var tl: List[B]) extends List[B] {
  override def tail : List[B] = tl
  override def isEmpty: Boolean = false
}

Source

这导致了如何在 Scala 中实现模式匹配。它使用 extractors (或 here )，它们基本上是包含 unapply 方法的对象，默认情况下随案例类提供。

关于Scala 模式匹配混淆，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/26495469/