模式匹配,"::" 不适用混淆

Question

我是 scala 的新手，在研究模式匹配部分时，我很困惑。

val hd::tail = List(1,2,3,4,5)

执行此代码后，hd 将为 Int = 1，tail 将为 List[Int] = List(2, 3, 4, 5)。 这段代码等于：

val ::(hd,tail) = List(1,2,3,4,5)

我了解到这段代码是模式匹配，它实际上调用了 unapply 方法。 但是当我这样写代码时，编译错误：

val result = ::.unapply(List(1,2,3,4,5))

它说方法参数类型不匹配。 "::" 的 unapply 方法需要一个 "::[?]"

有人知道原因吗？

Answer 1

类型不匹配错误是因为::.unapply 采用::[T] 的实例，而不是更通用类型List[T] 的实例。 Scala 将自动添加与实际类型的匹配。 换句话说，我的理解是当你这样做时：

val list = List(1,2,3,4,5)
val hd::tail = list

编译器会生成类似这样的东西：

val list = List(1,2,3,4,5)
val (hd, tail) = 
  ::.unapply(
    // First match to test against input type
    // (necessary as the static type of `list` is `List[Int]`
    // so we don't know until runtime if it is an instance of `::[Int]`
    // or an instance of `Nil`)
    list match { 
      case nonEmptyList: ::[Int] => nonEmptyList 
      case _ => throw new MatchError 
    }
  ) match { // Second match to test against result of `::`.unapply
    case Some( result ) => result
    case _ => throw new MatchError 
  }

Answer 2

您的方法签名不正确。 :: 是一个案例类，因此 unapply 采用 :: 的实例。这里有一些更接近您可能正在寻找的东西，但通常我不会在代码中调用 unapply，因为它是在模式匹配场景中完成的：

  //Note the type returned by unapply
  val unappliedOption:Option[(Int, List[Int])] = ::.unapply(::(1, List(2, 3, 4, 5)))

  val (hd, tail) = unappliedOption.getOrElse((1, Nil))

在模式匹配中，unapply 会自动为您调用。还要注意:: 是一个非空列表，尽管它仍然返回option。所以对于List 的实例，我们有两个选项:: 或Nil：

  List(1, 2, 3, 4, 5) match {
    case hd :: tail => println(hd, tail) // calls ::.unapply and returns hd tail if the option is Some
    case hd => println(hd) //Default case Nil
  }