使用 :: 列表的 scala 匹配案例答案

【问题标题】：scala match case using :: for lists使用 :: 列表的 scala 匹配案例
【发布时间】：2011-12-29 17:15:34
【问题描述】：

鉴于此模式匹配：

List(1,2,3) match {
  case head :: tail => println(">>> head=" + head)
}

我假设 '::' 是在 scala.collection.immutable 中找到的案例类，但是如何允许以这种形式（中缀表示法）编写 '::'？ - 是否有特定的规则允许这样做？

谢谢

【问题讨论】：

你可能想看看Scala match decomposition on infix operator和How is this case class match pattern working?

标签： scala

【解决方案1】：

你甚至可以写：

val head :: tail = List(1, 2, 3)

基本上任何需要 pattern 的东西（赋值、match 语句或 for-comprehension 中的一行）都可以采用 extractor，它被定义作为具有unapply 方法的实体。

scala 为您提供的语法糖之一是：如果你有一个提取器X(a, b)，这可以写成a X b。这是一个案例类的示例（具有默认提取器）：

scala> case class X(a: Int, b: String)
defined class X

scala> val a X b = X(1, "two")
a: Int = 1
b: String = two

编写此类实体中缀的能力也扩展到类型：

scala> type MappedTo[A, B] = Map[A, B]
defined type alias MappedTo

scala> def foo(m: Int MappedTo String) = m foreach println
foo: (m: MappedTo[Int,String])Unit

请注意，在这两种情况下，scala 都不会将此类中缀运算符限制为符号标识符

【讨论】：

【解决方案2】：

Scala 实际上有一个不可变类::，它表示非空列表（Nil 的补充）。类有一个中缀符号（这也是 A <:< B 之类的工作方式），它允许您编写 head :: tail 而不是 ::(head, tail)。由于:: 是一个案例类，它有一个默认的unapply，这使得case 可以按照您的说明工作。

【讨论】：