简单接触Scala底层类型

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

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

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

类型Nothing在Scala的类层级的最底端；它是任何其它类型的子类型。然而，根本没有这个类型的任 何值。要一个没有值的类型有什么意思呢？7.4节中讨论过，Nothing的一个用处是它标明了不正常的终 止。例如Scala的标准库中的Predef对象有一个error方法，如下定义：

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

error的返回类型是Nothing，告诉用户方法不是正常返回的（代之以抛出了异常）。因为Nothing是 任何其它类型的子类，你可以非常灵活的使用像error这样的方法。例如：

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，正如需要的那样。

以上是小编为您精心准备的的内容，在的博客、问答、公众号、人物、课程等栏目也有的相关内容，欢迎继续使用右上角搜索按钮进行搜索int
， scala
， 类型
， 子类
， error
nothing
scala 类型转换、scala强制类型转换、scala 数据类型、scala unit类型、scala any 类型转换，以便于您获取更多的相关知识。