匹配语言功能？

Question

我正在自学斯卡拉,我有一个哲学问题.模式匹配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
}

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