Scala：统一的对象模型

类

• 图片展示了Scala的类层次结构。每一个类都继承自scala.Any，Any的子类可以划分为两个主要的范畴：值类型，继承自scala.AnyVal；引用类型，继承自scala.AnyRef。每一种Java的基本数据类型对应于值类型，通过预定义的类型别名进行映射，而AnyRef则对应于Java环境中的根类：java.lang.Object。

• 需要注意的是值类型类空间是平行的，即所有的值类型都继承自scala.AnyVal，但是值类型之间不存在任何关系，比如继承关系。作为替代，值类型之间有视图（隐式类型转换）。

• 整个类层次最底层有两个类型，scala.Null和scala.Nothing。Null是所有引用类型的子类，它只有一个实例null。由于Null不是任何值类型的子类，所以null也不是任何值类型的实例，因此把null赋值给int型变量是错的。Nothing是所有其它类型的子类，这个类没有任何实例，但是它可以作为类型参数体现价值，比如Nil就是List[Nothing]的实例，而Scala中List是协变的，从而对于所有的类型T，Nil都是List[T]的实例。测试List是协变的代码如下：

  class Person
  class Student extends Person
  val lst: List[Person] = List[Student](new Student) //程序没有问题，可以说明List是协变的

• 关于==，equals，eq：在Scala中，==相当于是equals的别名，用于比较值是否相等，而eq用于比较引用是否相等：

  val a = List(1, 2, 3)
  val b: List[Int] = List(1, 2, 3)
  println(a == b) //true
  println(a equals b) //true
  println(a eq b) //false