27、Scala编程：类型系统与继承中的方差深入解析

Scala编程：类型系统与继承中的方差深入解析

1. 继承中的方差概述

在编程中，参数化类型（在Java文献中通常称为泛型）在不同语言中的表现有所不同，尤其是在继承时的方差行为。以Scala和Java为例，我们来探讨这一特性。

假设一个方法需要一个 List[AnyRef] 类型的参数，那么能否传入 List[String] 呢？这就涉及到了方差的概念。如果 List[String] 被视为 List[AnyRef] 的子类型，这种方差被称为协变（covariance），因为容器（参数化类型）的超类型 - 子类型关系与类型参数之间的关系“方向相同”。

除了协变，还有逆变（contravariance）和不变（invariant）类型。逆变是指对于某些类型 X ， X[String] 是 X[Any] 的超类型；若参数化类型既不是协变也不是逆变，则为不变类型。此外，有些参数化类型可以混合多种方差行为。

在Scala中，方差行为是在类型声明时通过方差注解来定义的。协变类型参数使用 + 注解，逆变类型参数使用 - 注解，不变类型参数则不使用注解。例如：

class W[+A] {...}        // 协变
class X[-A] {...}        // 逆变
class Y[A] {...}