中缀运算符的 Scala 匹配分解

Question

我试图了解 Scala 中 List 的实现。 特别是，我试图了解如何使用中缀运算符编写匹配表达式，例如：

a match {
  case Nil => "An empty list"
  case x :: Nil => "A list without a tail"
  case x :: xs => "A list with a tail"
}

如何允许匹配表达式为 x :: xs 而不是 List （x，xs）？

Answer 1

杰伊·康拉德的回答几乎是正确的。 重要的是，某处有一个名为 :: 的对象，它实现了 unapply 方法，返回类型 Option[(A,列表[A])]。 因此：

object :: {
  def unapply[A](ls: List[A]): Option[(A, A)] = {
    if (ls.empty) None
    else Some((ls.head, ls.tail))
  }
}

// case objects get unapply for free
case object Nil extends List[Nothing]

在 :: 和 List 的情况下，该对象恰好来自 :: 是一个扩展了的 case 类List 特征。 然而，如上面的示例所示，它根本不是一个案例类。

Answer 2

我相信 :: 实际上是一个类（它是 List 的子类），所以x :: xs 基本上等同于 List(x, xs)。

您可以对具有运算符名称的其他案例类执行此操作。 例如：

case class %%%(x: Int, y: Int)

a match {
  case x %%% y => x + y
}

Answer 3

如何允许匹配表达式为 x :: xs 而不是 List(x, xs)？

回答这个问题：

当被视为模式时，中缀
p op q 等操作是等效的
到op(p, q)。 也就是说，中缀
运算符 op 被视为
构造函数模式。

（Scala 编程，第一版，第 331 页）

另请参阅 scala 案例类问题