Scala中的None,Nothing,Null,Nil

在scala中这四个类型名称很相似，做用确实彻底不一样的。 

None是一个object，是Option的子类型，定义以下 

case object None extends Option[Nothing] {
  def isEmpty = true
  def get = throw new NoSuchElementException("None.get")
}

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。 

Null是全部AnyRef的子类，在scala的类型系统中，AnyRef是Any的子类，同时Any子类的还有AnyVal。对应java值类型的全部类型都是AnyVal的子类。因此Null能够赋值给全部的引用类型(AnyRef)，不能赋值给值类型，这个java的语义是相同的。 null是Null的惟一对象。 

Nothing是全部类型的子类，也是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是一个空的List，定义为List[Nothing]，根据List的定义List[+A]，全部Nil是全部List[T]的子类。

参考：Scala中的None,Nothing,Null,Nil