在Scala中,所有值都有一个类型,包括数值和函数。下图演示了类型层次结构的一个子集。

Scala类型层次结构

Any 类型是所有类型的父类型,也称为顶级类型。它定义了一些通用的方法,如 equals、hashCode 和 toString。Any 有两个直接子类:AnyVal 和 AnyRef。

AnyVal 代表值类型。有9种预定义的值类型,它们是不可为空的:Double、Float、Long、Int、Short、Byte、Char、Unit 和 Boolean。Unit 是一个不具备任何意义的值类型。Unit 只有一个实例可以像这样声明:()。所有函数都必须返回某个值,因此 Unit 是一个有用的返回类型。

AnyRef 表示引用类型。所有的非值类型都被定义为引用类型。Scala中的每个用户定义类型都是 AnyRef 的子类型。如果Scala是在Java运行时环境中使用的,那么 AnyRef 对应于 Java.lang.object。

这里有一个例子,它演示了字符串、整数、字符、布尔值和函数都是与其他对象一样的对象:

val list: List[Any] = List( "a string", 732, // an integer 'c', // a character true, // a boolean value () => "an anonymous function returning a string" ) list.foreach(element => println(element))

它定义了类型 List[Any] 的变量列表。这个列表是用各种类型的元素初始化的,但是它们都是 scala.Any 的实例,所以你可以把它们都添加到列表中。

下面是程序的输出:

a string 732 c true <function>类型转换

值类型可以通过以下方式进行转换:

例如:

val x: Long = 987654321 val y: Float = x // 9.8765434E8 (note that some precision is lost in this case) val face: Char = '' val number: Int = face // 9786

转换是单向的。下面最后一条语句将无法通过编译:

val x: Long = 987654321 val y: Float = x // 9.8765434E8 val z: Long = y // Does not conform

你还可以将引用类型转换为子类型。这将在之后的文章中被介绍。

Nothing和Null

Nothing 是所有类型的子类型,也称为底部类型。类型 Nothing 是没有值的。常见的用途是发出非终止信号,例如抛出异常、程序退出或无限循环(即,它是一种没有对值进行求值的表达式,或者是一种不返回正常值的方法)。

Null 是所有引用类型的子类型(即 AnyRef 的任何子类型)。它有一个由关键字 null 标识的单一值。Null 主要用于与其他JVM语言的互操作性,并且几乎不应该在Scala代码中使用。我们将在稍后的文章中介绍 null 的替代方案。