Question

我希望这会给我一个类型错误，因为(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让它飞起来。

Answer 1

如果使用scalac -print编译此代码，您会看到会发生什么。正如你想象的那样，它只是模式匹配的语法糖。实际上你的case类扩展了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邮件列表。

为什么这不会出现类型错误？

1 个答案: