详细介绍逆变与协变

逆变和协变是编程中与泛型类型参数相关的概念，主要用于描述类型在层次结构中的行为。它们在处理继承和多态时尤为重要，能够帮助程序员编写灵活且类型安全的代码。以下将详细介绍这两个概念的定义、用法和示例。

协变（Covariance）

定义

协变是指类型参数在类型层次结构中可以“向上”转换。简单来说，如果 B 是 A 的子类，那么协变允许将 B 的容器（如 List<B>）视为 A 的容器（如 List<A>）。这意味着子类型的实例可以被用在需要父类型的地方。

用法

协变通常出现在返回值类型的场景中。方法可以返回一个比声明类型更具体的类型，而不会破坏类型安全。这种特性在泛型编程中非常有用，尤其是在需要处理继承关系时。

示例

以下是一个 Java 中的例子：

1class Animal {}
2class Dog extends Animal {}
3
4List<Dog> dogs = new ArrayList<>();
5List<Animal> animals = dogs;  // 协变允许这种赋值

在这个例子中：

• Dog 是 Animal 的子类。
• List<Dog> 被赋值给 List<Animal>，这是合法的，因为协变允许子类型容器被视为父类型容器。

注意：在实际的 Java 中，List 是默认不变的（invariant），需要使用通配符 ? extends 来显式启用协变，例如 List<? extends Animal>。上述代码是为了说明概念，实际需要调整。

逆变（Contravariance）

定义

逆变是指类型参数在类型层次结构中可以“向下”转换。与协变相反，如果 B 是 A 的子类，那么逆变允许将 A 的容器（如 Function<A>）视为 B 的容器（如 Function<B>）。这意味着父类型的实例可以被用在需要子类型的地方。

用法

逆变通常出现在参数类型的场景中。方法可以接受一个比声明类型更宽泛的参数类型，而不会导致类型错误。这种特性在函数式编程或回调函数中尤为常见。

示例

以下是一个 Java 中的例子：

1class Animal {}
2class Dog extends Animal {}
3
4Function<Animal, Void> animalFunction = (Animal a) -> { /* 处理 Animal */ };
5Function<Dog, Void> dogFunction = animalFunction;  // 逆变允许这种赋值

在这个例子中：

• Dog 是 Animal 的子类。
• Function<Animal, Void> 被赋值给 Function<Dog, Void>，这是合法的，因为逆变允许父类型容器被视为子类型容器。

注意：在 Java 中，逆变需要使用通配符 ? super，例如 Function<? super Dog, Void>。上述代码是为了说明概念，实际实现可能需要调整。

协变与逆变的对比

为了更好地理解两者的区别，以下是它们的总结：

不变（Invariance）

除了协变和逆变，还有一种默认情况叫做不变。在不变的情况下，泛型类型之间没有任何转换关系。例如：

1List<Dog> dogs = new ArrayList<>();
2List<Animal> animals = dogs;  // 错误！默认情况下 List 是不可变的

• 不变意味着 List<Dog> 和 List<Animal> 是完全独立的类型，即使 Dog 是 Animal 的子类。
• 要启用协变或逆变，必须显式使用通配符（如 ? extends 或 ? super）。

为什么需要逆变和协变？

逆变和协变的引入是为了在泛型编程中兼顾灵活性和类型安全：

• 灵活性：允许程序员在类型层次结构中重用代码，避免不必要的类型转换。
• 类型安全：确保操作不会违反类型的约束，例如避免将不兼容的对象放入容器中。

例如：

• 协变适用于“只读”场景（如从容器中读取数据），因为它保证返回的对象符合父类型的期望。
• 逆变适用于“只写”场景（如向容器中写入数据），因为它保证传入的对象不会超出子类型的范围。

结论

• 协变：允许子类型容器被视为父类型容器，适用于返回值场景。
• 逆变：允许父类型容器被视为子类型容器，适用于参数场景。
• 不变：默认情况下，泛型类型不具备转换能力。

理解逆变和协变对于使用泛型和继承的场景至关重要。它们不仅提高了代码的复用性，还确保了类型系统的严谨性。在实际开发中，结合 Java 的通配符（如 ? extends 和 ? super），可以更高效地应用这些概念。