为什么在两个 scala 运行环境中有不同的结果？

Question

我正在阅读“scala 2nd 编程”一书的第 19.3 节， 431页有一个sn-p代码和一些描述：

注意：FC17 x86_64 Scala-2.9.2

 class Cell[T](init: T) {
 private[this] var current = init
 def get = current
 def set(x: T) { current = x }
 }

我在两个不同的环境中修改了这个示例： 在第一个中，我在文件 Cell.scala 中编写了以下代码

class A
class B extends A
class C extends B
class Cell[+T](init: T) {
private[this] var current = init
    def get = current
    def set[U >: T](x: U) {
    current = x.asInstanceOf[T]
    println("current " + current)
}
}

object Cell {
 def main(args: Array[String]) {
 val a1 = new Cell[B](new B)
 a1.set(new B)
 a1.set(new String("Dillon"))
 a1.get
}
}

并使用以下命令，没有任何错误：

[abelard <at> localhost lower-bound]$ scalac Cell.scala
[abelard <at> localhost lower-bound]$ scala -cp . Cell
current B <at> 67591ba4
current Dillon
Dillon
[abelard <at> localhost lower-bound]$ 

第二个，我直接写了REPL下的代码：

 scala> class Cell[+T](init: T) {
 | private[this] var current = init
 | def get = current
 | def set[U >: T](x: U) {current = x.asInstanceOf[T]
 | }}
defined class Cell

scala> val a1 = new Cell[B](new B)
a1: Cell[B] = Cell <at> 6717f3cb
scala> a1.set(new B)
scala> a1.set(new String("Dillon"))
scala> a1.get

java.lang.ClassCastException: 
java.lang.String cannot be cast to B
at .<init>(<console>:25)
at .<clinit>(<console>)

根据我对协变和下限的理解， 我认为第二个结果是对的，但我不知道为什么 第一个没有抛出任何错误？

我知道我必须遗漏一些东西，我想要编译 第二个错误，我该怎么办？

Answer 1

您不会遇到编译错误，因为在编译时没有问题。 ClassCastException 是运行时异常。

您应该注意到异常发生在您评估a1.get 之后，而不是在您执行a1.set 中的转换时。更准确地说，当您尝试将该返回值分配给变量时，就会发生这种情况。

在您的第一个场景中，a1.get 没有被赋值。在您的第二个中，您将其分配给一个值，例如 res0 等。

您可以通过在 REPL 中尝试以下操作来证明这是问题所在：

scala> a1.get
java.lang.ClassCastException: java.lang.String cannot be cast to B

scala> println(a1.get)
Dillon