5 分钟 Java 短文：泛型的逆变与协变

在 Java 编程中，泛型的逆变与协变是较为复杂但又十分重要的概念。理解它们能够让我们编写更加灵活和安全的代码。

让我们来理解什么是协变。协变意味着当一个类型参数被另一个子类型替换时，整个类型仍然保持兼容。例如，如果有一个类 Fruit 和它的子类 Apple ，如果有一个泛型类 Box<T> ，那么 Box<Apple> 可以被视为 Box<Fruit> 的子类型，这就是协变。

逆变则与协变相反。当一个类型参数被其超类型替换时，类型保持兼容。比如，如果有一个函数接受 Box<Fruit> 作为参数，那么我们可以传递 Box<Apple> ，这就是逆变。

泛型的协变和逆变在实际编程中有许多应用场景。例如，在函数的参数传递中，通过合理使用协变和逆变，可以使代码更加灵活和通用。

在 Java 中，为了实现泛型的协变和逆变，我们通常会使用通配符 ? extends 和 ? super 。? extends T 表示类型参数是 T 或 T 的子类，这实现了协变；? super T 表示类型参数是 T 或 T 的父类，实现了逆变。

以集合为例，假设我们有一个方法 void processFruits(Collection<? extends Fruit> fruits) ，那么我们可以将 Collection<Apple> 传递给这个方法，因为 Apple 是 Fruit 的子类，符合协变的规则。

再比如，void addFruitsToBox(Box<? super Apple> box) ，这里就可以传递 Box<Fruit> ，因为 Fruit 是 Apple 的父类，体现了逆变。

然而，在使用通配符时也需要注意一些限制。例如，对于 ? extends 类型的集合，我们只能从中读取元素，而不能添加元素，以确保类型安全。

泛型的逆变与协变是 Java 中高级但实用的特性。通过正确理解和运用它们，我们能够编写出更加优雅、灵活和安全的代码，提高程序的可维护性和可扩展性。

希望通过这短短 5 分钟的介绍，您对 Java 中泛型的逆变与协变有了初步的认识和理解。在实际编程中不断实践和探索，您会更加熟练地运用这一特性。