为什么这不会导致类型错误？

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 

相反，如果我输入假的，我会在运行时出现以下错误。

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

我想解构是分配的结果Any类型的变量，然后就可以匹配只是糖，但似乎不幸的是，斯卡拉让这只苍蝇。

Answer 1

如果你用scalac -print编译这段代码，你会发现会发生什么。正如你所想的那样，它只是用于模式匹配的语法糖。实际上，您的案例类扩展了Product，它也是Tuple2的超类，也就是您的代码编译。你的价值被分配到产品类型的变量：

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) 

但nontheless这不应该编译恕我直言。你应该把它发布到scala邮件列表中。