Java泛型中的协变和逆变是什么

在Java泛型中，协变（covariance）和逆变（contravariance）是用来描述类型参数的继承关系如何影响子类型的兼容性。这两个概念主要与泛型接口和泛型类的继承有关。

1. 协变（Covariance）： 协变允许子类型替换父类型。在Java中，泛型类型参数默认是不允许协变的，即List<Sub>不能被视为List<Super>的子类型。但是，可以使用通配符? extends T来实现协变。这意味着，如果Sub是Super的子类型，那么List<Sub>可以被视为List<? extends Super>的子类型。这样可以在一定程度上保证类型安全，因为你只能从列表中读取元素，而不能向其中添加元素（除了null）。

例如：

class Animal {}
class Dog extends Animal {}

List<Dog> dogs = new ArrayList<>();
List<? extends Animal> animals = dogs; // 协变

2. 逆变（Contravariance）： 逆变允许父类型替换子类型。在Java中，可以使用通配符? super T来实现逆变。这意味着，如果Sub是Super的子类型，那么List<Super>可以被视为List<? super Sub>的子类型。逆变通常用于泛型方法的参数类型，它允许你使用更通用的类型作为参数，从而提高方法的灵活性。

例如：

class Animal {}
class Dog extends Animal {}

List<Animal> animals = new ArrayList<>();
List<? super Dog> dogs = animals; // 逆变

总结一下，协变和逆变是Java泛型中用来处理类型参数继承关系的两种机制。协变允许子类型替换父类型，而逆变允许父类型替换子类型。这两种机制都有助于提高代码的灵活性和可重用性，同时保持类型安全。