Scala的类层级讲解

Posted 2020-12-25 clockq

Scala的类层级

Scala里，每个类都继承自通用的名为Any的超类。

因为所有的类都是Any的子类，所以定义在Any中的方法就是“共同的”方法：它们可以被任何对象调用。

Scala还在层级的底端定义了一些类，如Null和Nothing，扮演通用的子类。

即，Any是所有其他类的超类，Nothing是所有其他类的子类。

类层级图如下:

Any类

层级的顶端是Any类，定义了下列方法：

final def ==(that: Any): Boolean
final def !=(that: Any): Boolean
def equals(that: Any): Boolean
def hashCode: Int
def toString: String

解释：因为每个类都继承自Any，所以Scala程序里的每个对象都能用==、!=或equals比较，用hashCode做散列，以及用toString格式化。

AnyVal, Unit和AnyRef

根类Any有两个子类：AnyVal和AnyRef。

AnyVal

AnyVal是Scala里每个内建++值类++的父类。有9个这样的值类：Byte、Short、Char、Int、Long、Float、Double、Boolean和Unit。

Unit

Unit只有一个实例值，写成()。

所有的值类都是scala.AnyVal的子类型，但是它们不是其他类的子类。但是不同的值类类型之间可以隐式地互相转换。

例如，需要的时候，类scala.Int的实例可以通过隐式转换放宽到类scala.Long的实例；Int支持min、max、until、to、abs等操作，其实是从类Int隐式转换到scala.runtime.RichInt的。

AnyRef

AnyRef类是Scala里所有引用类(reference class)的基类。
++它其实是Java平台上java.lang.Object类的别名++。因此Java里写的类和Scala里写的都继承自AnyRef。

Scala类与Java类的不同在于它们还继承自一个名为ScalaObject的特质。目的是要通过ScalaObject包含的Scala编译器定义和实现的方法让Scala程序的执行更高效。

scala.Null和scala.Nothing

Scala是用统一的方式处理Scala静态类型系统的某些“边界情况”的特殊类型。

Null

Null类是null引用对象的类型，它是每个引用类（继承自AnyRef的类）的子类。Null不兼容值类型。

Nothing

Nothing类型在Scala的类层级的最低端；它是任何其他类型的子类型。然而，根本没有这个类型的任何值。Nothing的一个用处是它标明了不正常的终止。