在scala中，所有值都有一个类型，包括数值和函数。下图演示了类型层次结构的一个子集。
![[Scala之旅]3-统一类型 - TOUR OF SCALA 思否](https://img.php.cn/upload/article/000/153/291/1631c91b131cc86403e9e57292daefc1-0.jpg)
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>
类型转换
值类型可以通过以下方式进行转换:
![[Scala之旅]3-统一类型 - TOUR OF SCALA 思否](https://img.php.cn/upload/article/000/153/291/880d649cfe1993f6e5c152158f099783-1.jpg)
例如：
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 的替代方案。
