dd

Scala开发教程(46): 所有类的公共子类?底层类型

jerry Scala 2015年11月25日 收藏

前面我们给出了Scala的类的一个关系图:
20131201001
在这张图的最下方我们可以看到有两个类,scala.Null和scala.Nothing. 这两个类的作用是Scala支持统一方式用来处理面向对象的一些边角情况。因为它们在类层次图的下方,因此也称为底层类型
类Null代表null引用,它是所有引用类(每个由AnyRef派生的类)的子类。Null和值类型不兼容,也就是比如说,你不能把null赋值给一个整数类型变量:

scala> val i:Int=null
<console>:7: error: an expression of type Null is ineligible for implicit conversion
       val i:Int=null

Nothing类型为图中类层次关系的最下方,它是所有其他类的子类,然而这个类型没有任何实例(也就是没有任何值对应Nothing类型)前面提到,Nothing类型的一个用法是示意应用程序非正常终止,比如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("Cannot divide by Zero")

if “then?分支的类型为Int(x/y),else分支的类型为error返回值,其类型为Nothing,因为Nothing为所有类型的子类,它也是Int的子类,因此divide的类型为Int。

dd