Scala 编译器显示无法访问的代码，为什么？

Question

我是 Scala 新手...这是代码：

  def ack2(m: BigInt, n: BigInt): BigInt = {
      val z = BigInt(0)
      (m,n) match {
          case (z,_) => n+1
          case (_,z) => ack2(m-1,1) // Compiler says unreachable code on the paren of ack2(
          case _ => ack2(m-1, ack2(m, n-1)) // Compiler says unreachable code on the paren of ack2(
      }
  }

我试图理解...为什么会出现这个错误？

注意：我正在使用 Scala Eclipse 插件 2.8.0.r21376-b20100408034031 ch.epfl.lamp.sdt.feature.group

Answer 1

模式匹配里面的 z 不是你在外面声明的 z，它引入了一个新的变量绑定。因此，第一种情况将匹配所有可能的对（将 z 绑定到该对的第一个元素并丢弃第二个元素），而其他情况将永远无法到达。

如果将模式中的z 替换为

`z`

它将引用现有的 z 而不会引入新的绑定，因此它将按您的意愿工作。如果您不喜欢带有反引号的语法，也可以将 z 重命名为 Z。