29、Scala 对象系统深入解析

Scala 对象系统深入解析

1. Predef 对象相关特性

1.1 类型别名变更

在 Scala 2.11 中，两个方便的二元组和三元组类型别名已被弃用，原因是它们使用频率不高且价值不大，具体如下：

type Pair[+A, +B]       = Tuple2[A, B]
type Triple[+A, +B, +C] = Tuple3[A, B, C]

1.2 支持类型推断的 Predef 类型成员

Predef 中有一些类型成员支持类型推断，具体如下：
| 类型成员 | 描述 |
| ---- | ---- |
| final class ArrowAssoc[A] extends AnyVal | 用于实现 a -> b 字面语法来创建二元组 |
| sealed abstract class <:<[-From, +To] extends (From) => To with Serializable | 证明类型 From 是类型 To 的子类型 |
| sealed abstract class =:=[-From, +To] extends (From) => To with Serializable | 证明类型 From 和 To <