顶级类:Any
Any的子类:AnyRef、AnyVal
AnyRef的子类:Null
AnyVal的子类:java的值类型Byte | Short Int Long | Float Double | Char String | Boolean | Unit
Null可以赋值给所有的引用类型(AnyRef),不能赋值给值类型,这个java的语义是相同的,null是是是Null的唯一对象。
Unit:AnyVal的子类,无值,和其他语言的void类似,用于无返回值
Any AnyRef(Null null Nothing) AnyVal(Unit)
抽象 非抽象 抽象 抽象 抽象
Option
Option抽象类,继承两个特征extends Product with Serializable
Option的子类:Some、 None:Option[Nothing]
scala推荐在可能返回空的方法使用Option[X]作为返回类型。如果有值就返回Some[x](Some也是Option的子类),否则返回None
- def get(key: A): Option[B] = {
- if (contains(key))
- Some(getValue(key))
- else
- None
- }
获得Option后,可以使用get获得包含的值,或者使用getOrElse获得默认值如果isEmpty为true。
Noting:
Nothing是所有Any的抽象子类,也是Null的子类。Nothing没有对象,但是可以用来定义类型。例如,如果一个方法抛出异常,则异常的返回值类型就是Nothing(虽然不会返回)
- def get(index:Int):Int = {
- if(x < 0) throw new Exception(...)
- else ....
- }
if语句是表达式,有返回值,必然有返回值类型,如果x < 0,抛出异常,返回值的类型为Nothing,Nothing也是Int的子类,所以,if表达式的返回类型为Int,get方法的返回值类型也为Int。
Nil:
Nil是一个空的List,定义为List[Nothing],根据List的定义List[+A],所有Nil是所有List[T]的子类。
Noting用法:
Nil:List[Nothing]
throw new Exception(...) 为Nothing