5.1.3 型变 (Variance)

文档摘要

5.1.3 型变 (Variance) Scala 泛型之型变 (Variance) 详解型变的定义型变定义了具有相同泛型类型但不同类型参数的类型之间的子类型关系。具体来说，假设我们有两个类型和，其中是的子类型 (记作 )。现在考虑一个泛型类型。型变决定了和之间的子类型关系。 Scala 支持三种型变类型：协变 (Covariance): 如果，则。用表示。逆变 (Contravariance): 如果，则。用表示。不变 (Invariance): 和之间没有任何子类型关系，即使。默认情况。型变的类型 2.1 协变 (Covariance) 协变使用来声明类型参数。这意味着如果是的子类型，那么也是的子类型。