28、Scala类型系统与Predef对象深入解析

Scala类型系统与Predef对象深入解析

1. Scala类型基础

Scala 2.10引入了用户自定义的值类，这些类扩展自 AnyVal 。除了值类，其他类型都是引用类型，它们派生自 AnyRef ，这类似于Java中的 java.lang.Object 。在Scala 2.10之前，编译器会将一个名为 ScalaObject 的“标记”特质混入所有Scala引用类型的实例中，但从Scala 2.11开始，这一特性被移除了。

2. Nothing和Null类型

• 类型特性 ： Nothing 和 Null 是类型系统底层的特殊类型。 Nothing 是所有其他类型的子类型，而 Null 是所有引用类型的子类型。
• Null类型 ：在大多数编程语言中， null 是一个常见的概念，但通常不会定义 Null 类型，只是用 null 关键字来表示引用没有赋值。在Scala中， Null 的实现如下：

package scala
abstract final class Null extends AnyRef