在图释11.1类型层级的底部你看到了两个类scala.Null和Scala.Nothing。它们是用统一的方式处理某些Scala的面向对象类型系统的“边界情况”的特殊类型。

51CTO编辑推荐：Scala编程语言专题

类Null是null类型的引用；它是每个引用类（就是说，每个继承自AnyRef的类）的子类。Null不兼容值类型。你不可，比方说，把null值赋给整数变量：

scala>val i: Int = null 
< console>:4:error:typemismatch;  
found:Null(null)  
required:Int  

def error(message:String): Nothing = throw new RuntimeException(message)  

def divide(x:Int, y:Int): Int =  
 if(y != 0) x / y  
 else error("can't divide by zero")  

“那么”状态分支，x / y，类型为Int，而“否则”（else）分支，调用了error，类型为Nothing。因为Nothing是Int的子类型，整个状态语句的类型是Int，正如需要的那样。

【相关阅读】

1. Scala的原始类型是如何实现的
2. Scala的类层级
3. Scala中的Spiral程序：把代码都螺旋在一起
4. Scala中变高变宽的实现：heighten和widen
5. 学习Scala的定义工厂对象