Question

鉴于此模式匹配：

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

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

由于

Answer 1

你甚至可以写：

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

基本上任何需要模式的东西（赋值，match语句或for-comprehension中的一行）都可以使用提取器，被定义为具有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

编写此类实体 infix 的能力也扩展到了类型：

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都不会将此类中缀运算符限制为符号标识符

Answer 2

Scala实际上有一个不可变类::，它表示非空列表（Nil的补码）。有一个类的中缀表示法（这也是A <:< B之类的工作方式）允许你编写head :: tail而不是::(head, tail)。由于::是一个案例类，因此它具有默认unapply，这使得case可以正常工作。

scala匹配案例使用:: for lists

2 个答案: