为什么匹配关键字而不是Scala中的函数？

Question

我不明白为什么Scala将match定义为关键字而不是函数。它可以通过含义来定义（如ArrowAssoc）。例如，请考虑以下内容。

  implicit class Matchy[A](a: A) {

    def matchy[T](pf: PartialFunction[A, T]): T = pf(a)
  }

  val myVar = 10
  val myString = myVar matchy {
    case 5 => "five"
    case 10 => "ten"
    case x => x.toString
  }

  println(myString) // Prints "ten".

这会将匹配释放为变量名称，并暗示case可以在匹配块之外使用。

那么为什么Scala将match定义为关键字？

Answer 1

1. 您不希望每次创建PartialFunction并进行函数调用以进行此类基本操作。

2. match中的尾部呼叫在matchy中成为非尾部呼叫。

3. 这正是JIT在内联时遇到麻烦的那种变形函数。 matchy可以明确@inline。

4. 一般情况下，您会失去优化机会的批次。

我错过的原因可能更多......