34、Scala 类型参数化与抽象成员详解

Scala 类型参数化与抽象成员详解

1. Scala 类型参数化

Scala 的类型参数化在编程中有着重要的作用，它可以让我们编写更加通用和灵活的代码。

1.1 方差检查规则特例

Scala 的方差检查规则中，对于对象私有定义有特殊情况。当检查带有 + 或 - 注解的类型参数是否仅出现在具有相同方差分类的位置时，会忽略对象私有定义。例如以下代码可以正常编译：

// 假设这里是 Listing 19.10 的代码，原文未给出完整代码

但如果去掉两个私有修饰符中的 [this] 限定符，会出现类型错误，如：

Queues.scala:1: error: covariant type T occurs in
contravariant position in type List[T] of parameter of
setter leading_=
class Queue[+T] private (private var leading: List[T],
ˆ
Queues.scala:1: error: covariant type T occurs in
contravariant position in type List[T] of parameter of
setter trailing_=
private var trailing: List[T]) {
ˆ

1.2 上界（Upper bou