scala – 为什么不给出类型错误？

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

导读：我会期望这给我一个类型错误,因为(String,String)在else情况下不是Pair. case class Pair(x: String,y: String)val value = Console.readLine.toBooleanval Pair(x,y) = if (value) Pair("foo","bar") else false 相反,如果我输入false,我在运行时会收到以下

我会期望这给我一个类型错误,因为(String,String)在else情况下不是Pair.

case class Pair(x: String,y: String)

val value = Console.readLine.toBoolean

val Pair(x,y) =
  if (value) Pair("foo","bar")
  else false

相反,如果我输入false,我在运行时会收到以下错误.

scala.MatchError: (foo,bar) (of class scala.Tuple2)

我认为解构只是将结果分配给Any类型的变量,然后匹配,但是Scala让它飞行似乎是不幸的.

解决方法

如果您使用scalac -print编译此代码,您会看到,会发生什么.正如你所确定的那样,它只是一个模式匹配的句法糖.实际上,你的案例类扩展了Product,它也是Tuple2的一个超类,这就是你的代码编译.您的值被分配给类型为Product的变量：

val temp6: Product = if (value)
      new Main$Pair("foo","bar")
    else
      new Tuple2("foo","bar");

然后应用模式匹配：

if (temp6.$isInstanceOf[Main$Pair]())
{
  <synthetic> val temp7: Main$Pair = temp6.$asInstanceOf[Main$Pair]();
    new Tuple2(temp7.x(),temp7.y())
}
else
  throw new MatchError(temp6)

但是,这不应该编译imho.您应该将其发布到scala邮件列表.

（编辑：李大同）

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