Scala中的None,Nothing,Null,Nil

Posted chen-kh

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Scala中的None,Nothing,Null,Nil相关的知识,希望对你有一定的参考价值。

在scala中这四个类型名称很类似,作用确实完全不同的。 
None是一个object,是Option的子类型,定义如下 

[java] view plain copy
 
 print?技术分享技术分享
  1. case object None extends Option[Nothing] {  
  2.   def isEmpty = true  
  3.   def get = throw new NoSuchElementException("None.get")  
  4. }  

scala推荐在可能返回空的方法使用Option[X]作为返回类型。如果有值就返回Some[x](Some也是Option的子类),否则返回None,例如 

[java] view plain copy
 
 print?技术分享技术分享
  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。 

Null是所有AnyRef的子类,在scala的类型系统中,AnyRef是Any的子类,同时Any子类的还有AnyVal。对应java值类型的所有类型都是AnyVal的子类。所以Null可以赋值给所有的引用类型(AnyRef),不能赋值给值类型,这个java的语义是相同的。 null是Null的唯一对象。 

Nothing是所有类型的子类,也是Null的子类。Nothing没有对象,但是可以用来定义类型。例如,如果一个方法抛出异常,则异常的返回值类型就是Nothing(虽然不会返回) 

[java] view plain copy
 
 print?技术分享技术分享
  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是一个空的List,定义为List[Nothing],根据List的定义List[+A],所有Nil是所有List[T]的子类。










以上是关于Scala中的None,Nothing,Null,Nil的主要内容,如果未能解决你的问题,请参考以下文章

Scala类型系统中Nil, Null, None, Nothing四个类型的区别?

每日一题Scala类型系统中 NullNothingNilNoneUnit 的区别

scala小记

Scala数据类型的继承结构

Scala底层基类简述

java.lang.String cannot be cast to scala.runtime.Nothing Scala中的Nothing类型