几个scala的类型:Option Some None,Any AnyRef AnyVal Null,Noting,Nil

顶级类：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

 

1. def get(key: A): Option[B] = {  
2.     if (contains(key))  
3.         Some(getValue(key))  
4.     else  
5.         None  
6. }  

 

得到Option后，能够使用get得到包含的值，或者使用getOrElse得到默认值若是isEmpty为true。

 

 

Noting:

Nothing是全部Any的抽象子类，也是Null的子类。Nothing没有对象，可是能够用来定义类型。例如，若是一个方法抛出异常，则异常的返回值类型就是Nothing(虽然不会返回) 

 

1. def get(index:Int):Int = {  
2.     if(x < 0) throw new Exception(...)  
3.     else ....  
4. }  

 

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]

None:Option[Nothing]

throw new Exception(...)  为Nothing