Scala中case语句中的cons运算符

Question

所以我读到了右关联运算符，例如 Scala 中的 cons 运算符。我想知道为什么它们在案例陈述中起作用。看来您可以在这里使用 cons 语句进行模式匹配？

def findKth1[A](k:Int, l:List[A]):A = (k, l) match {
    case (0, h::_) => h
    case(k, _::tail) if k > 0 => findKth1(k - 1, tail)
    case _ => throw new NoSuchElementException
}

findKth1(2, List(3,4,5,6))  

res1: Int = 5

占位符在这里做什么？我只见过这样的函数中使用的占位符：<SomeList>.map(_.doThing)。是同一个概念吗？

:: 和 ::: 的唯一区别是 ::: 用于 2 个列表，对吗？

Answer 1

tl;dr 这不是模式匹配运算符，而是模式匹配一​​个名为 :: 的案例类

有几件事同时发生。首先可能会有点混淆，因为::是List上的一个方法：

val x: List[Int] = 1 :: 2 :: 3 :: Nil

但是也有一个case class ::，根据文档是：

A non empty list characterized by a head and a tail.

More info here

Scala 的案例类自动带有提取器方法 (unapply)，允许进行模式匹配，如 case User(name, age) => ...。

你也可以在中缀的位置使用case类名（虽然你不应该这样做，除非case类像操作符一样使用，比如在这个例子中） .所以case head :: tail => ... 与case ::(head, tail) => ... 相同。 More info here

当模式匹配时，你可以使用_来表示那里会有一个值，但是你不关心它，所以你没有给它一个名字。

所以你提供的三种情况大致是：

• 第一个值为 0 的元组，第二个值是一个列表，其头部称为 h，尾部我们将忽略。
• 一个带有一些整数的元组被称为k，一个带有一个我们不关心的头部和一个尾部的列表，我们称之为tail。此外，k 必须大于 0
• 其他任何事情，然后抛出 NoSuchElementException