关于scala:Scala-中的底类型bottom-types

34次阅读

共计 1173 个字符,预计需要花费 3 分钟才能阅读完成。

在 Scala 中存在两个比拟非凡的类,Scala.Null 和 Scala.Nothing。它们是 Scala 面向对象的类型零碎用于解决一些“极其状况”的非凡类型。

Null 类是 null 援用的类型,他是每个援用类(即继承自 AnyRef 的类)的子类,null 值能够用来给援用类初始化。然而 Null 并不兼容于值类型,即你不可能将 null 赋值给一个整数变量:

val i: Int = null

以上写法是不对的。

Nothing 位于 Scala 类继承关系的最底部,它是每个其余类型的子类型,并且,不存在这个类型的任何值。那么,Nothing 类型的意义何在呢?

Scala 中的底类型(bottom types)
作为参数类型。
在 Scala 的 List 中有一个非凡的存在,Nil,如果应用过 Nil 你就会发现,Nil 实际上就是一个 List[Nothing]。所以 Nil 能够与任何类型的元素进行汇合的相干操作,例如 1::Nil,”abc”:: Nil,最终失去的汇合后果会依据增加的元素类型决定,因为 Nothing 是任何类的子类,它能够被归为任何 List 中去。

非正常终止信号
在 Scala 中抛出异样跟 Java 一样,须要创立一个异样对象而后用 throw 关键字将它抛出:

throw new IllegalArgumentException

并且,在 Scala 中,抛出异样的动作 throw 是一个有后果类型的表达式,这个后果的类型就是 Nothing。如下示例:

val half:Int =

If (n % 2 == 0)

n / 2

else

throw new RuntimeException(“n must be even”)

在这段代码中,如果 n 是偶数,那么 half 会被赋值为 n 的一半,如果 n 不是偶数那么 half 被初始化之前,就会有异样抛出。而你如此写不必放心 half 的类型问题,因为技术上讲,抛出异样这个表达式的类型是 Nothing。在这个场景下,if 的一个分支计算出某个值,而另一个分支抛出异样并计算出 Nothing,整个 if 表达式的类型就是那个计算出某个值的分支。

再举例来说,在 Scala 的规范类库中 Predef 对象有一个 error 办法,其定义如下:

def error(message:String):Nothing =

throw new RuntimeException(message)

error 办法的返回值类型是 Nothing,这通知应用方该办法并不会失常返回,它会抛出异样。对 error 的应用如下:

def divide(x: Int, y: Int): Int =

if (y != 0) x / y

else error(“can’t divide by zero”)

这里的 x / y 条件判断的 then 分支的类型为 Int,而 else 分支类型为 Nothing,因为 Nothing 是 Int 的子类型,整个条件判断表达式的类型就是 Int,正如办法申明要求的那样。

关键词:大数据培训

正文完
 0