類

圖片展示了Scala的類層次結(jié)構(gòu)。每一個(gè)類都繼承自scala.Any，Any的子類可以劃分為兩個(gè)主要的范疇：值類型，繼承自scala.AnyVal；引用類型，繼承scala.AnyRef。

每一種Java的基本數(shù)據(jù)類型對(duì)應(yīng)于值類型，通過預(yù)定義的類型別名進(jìn)行映射，而AnyRef則對(duì)應(yīng)于Java環(huán)境中的根類：java.lang.Object。

需要注意的是值類型類空間是平行的，即所有的值類型都繼承自scala.AnyVal，但是值類型之間不存在任何關(guān)系，比如繼承關(guān)系。作為替代，值類型之間有視圖（隱式類型轉(zhuǎn)換）。

整個(gè)類層次最底層有兩個(gè)類型，scala.Null和scala.Nothing。Null是所有引用類型的子類，它只有一個(gè)實(shí)例null。
由于Null不是任何值類型的子類，所以null也不是任何值類型的實(shí)例，因此把null賦值給int型變量是錯(cuò)的。Nothing是所有其它類型的子類，這個(gè)類沒有任何實(shí)例，但是它可以作為類型參數(shù)體現(xiàn)價(jià)值，比如Nil就是List[Nothing]的實(shí)例，而Scala中List是協(xié)變的，從而對(duì)于所有的類型T，Nil
都是List[T]的實(shí)例。
測(cè)試List是協(xié)變的代碼如下：

class Person 
class Student extends Person 
val lst: List[Person] = List[Student](new Student) //程序沒有問題，可以說明List是協(xié)變的

關(guān)于==，equals，eq：在Scala中，==相當(dāng)于是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