类
图片展示了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