匹配是一种语言特征吗？

Question

我正在自学 Scala，我有一个哲学问题。模式匹配是 Scala 的语言功能，还是只是一个库功能？换句话说，如果我足够熟练的话，我是否可以编写 xmatch，一个除了名称之外在各个方面都与 match 相同的函数？实际上，我认为这是两个略有不同的问题：是否匹配库功能，以及它是否可以是库功能？

我正在考虑尝试重写比赛，纯粹作为练习，但我想要一些保证这是可能的。

Answer 1

模式匹配是一种语言功能，其中 match 语句只是最显着的示例。以下是另外两个常用的示例：

val List(x,y,(z: Int,w: Int)) = List("one","two",(3,4))
for ((text,i) <- List(("one",1),("two",2))) println(text + " = " + i)

所以，不，您不能自己这样做。该语言不允许您定义创建变量的新方法，因此这些事情只能在语言支持的情况下发生。

match 语句本身使用语言内部的模式匹配变量创建支持，但原则上可以作为库功能实现。然而，在某些情况下它的效率会很低：

// This is implemented with fast jumps, not slow if-then-else!
n match {
  case 0 => // Do action 0
  case 1 => // Do action 1
  case 2 => // Do action 2
  case _ => // Do default action
}

// This is tail recursive, so you won't overflow the stack!
def recursiveMatch(xs: List[Any]): List[Any] = xs match {
  case (x @ Int) :: rest => recursiveMatch(rest)
  case _ => xs
}

所以，总而言之，不，你不能自己编写模式匹配，虽然你可以编写匹配语句，但使用现有的有一些优点。

Answer 2

事实上，我听说 match 曾经是在库中实现的。 Scala 参考中的更改日志表明 match 在 2.0 版本中成为保留关键字，此时 object.match { ... } 也不再是有效语法。

原则上实现它相当容易：

implicit def toMyMatch[T](obj: T) = new {
    def myMatch[R](f: T => R) = f(obj)
}

我不知道它停止以这种方式实现的确切原因。

Answer 3

模式匹配绝对是一种语言特性。也就是说，因为在 Scala 中编写控制流结构非常简单（并且模式匹配非常强大），所以您可以轻松编写自己的 match （与其他语言相比）。

另一方面，match 仍然是语言核心的一部分（我认为），但它的行为更像是库中的东西。由于模式匹配的强大功能，它感觉如此有机。

也就是说，是的，您绝对可以重写 match。