Scala编译器说不可达代码,为什么？

发布时间：2020-12-16 19:02:08 所属栏目：安全来源：网络整理

导读：我是新来的 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)) // Com

我是新来的 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

解决方法

模式匹配中的z不指向您在外部声明的z,它引入了一个新的变量绑定.因此,第一种情况将匹配每一个可能的对(绑定z与对的第一个元素和丢弃第二个),其他情况将永远不会达到.

如果用模式替换z

`z`

它会引用现有的z,而不是引入一个新的约束,所以它将按照你的意图工作.如果您不喜欢反引号的语法,也可以将z重命名为Z.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!