36、Scala 类型系统深度解析

Scala 类型系统深度解析

1. 复合类型（Compound Types）

当声明一个结合了多种类型的实例时，就会得到复合类型。例如：

trait T1
trait T2
class C
val c = new C with T1 with T2  // c's type: C with T1 with T2

在这个例子中， c 的类型是 C with T1 with T2 。这是声明一个扩展 C 并混入 T1 和 T2 的类型的另一种方式。需要注意的是， c 被视为这三种类型的子类型：

val t1: T1 = c
val t2: T2 = c
val c2: C  = c

2. 类型细化（Type Refinements）

类型细化是复合类型的一个附加部分。它与 Java 中的匿名内部类概念相关，在 Java 中，通常会提供一个实现某些接口的匿名内部类，添加方法实现和可选的额外成员。

例如，若有一个 java.util.List 存储类型为 C 的对象，可以使用静态方法 java.util.Collections.sort 对列表进行原地排序：