学习笔记：逆变与协变-CSDN博客

本文链接：https://blog.csdn.net/Iostream123321/article/details/130835270

概念

假设Orange类是Fruit类的子类，以集合类List<T>为例：

协变(covariance)：满足条件诸如List<Orange>是List<? extends Fruit>的子类型时，称为协变。
逆变(covariance)：满足条件List<Fruit>是List<? super Orange>的子类型时，称为逆变。

举例

协变

协变可以理解为父类型向子类型转换：

要求越来越具体specific

通常用于返回值类型：返回值类型不变或变得更具体

/**
 * 1.定义一个类型上界限定为Fruit的List，即协变
 */
List<? extends Fruit> fruits = new ArrayList<>();

/**
 * 2.编译器报错，不能添加任何类型的数据
 * 原因是：
 * List.add(T t)函数通过上面的类型指定后，参数会变成
 * <? extends Fruit>,从这个参数中，编译器无法知道需要哪个具体的Fruit子类型，
 * Orange、Banana甚至Fruit都可以，因此，为了保证类型安全，编译器拒绝任何类型。
 */
//fruits.add(new Orange());
//fruits.add(new Fruit());
//fruits.add(new Object());

/**
 * 3.此处正常！！ 由于我们定义是指定了上界为Fruit，因此此处的返回值肯定至少是Fruit类型，
 * 而基类型可以引用子类型
 */
Fruit f = fruits.get(0);

逆变

逆变可以理解为子类型向父类型转换：

要求越来越宽泛specific

通常用于参数类型：参数要向相反（父类）方向的变化，要不变或越来越抽象

/**
 * 1.定义一个Object的List,作为原始数据列表
 */
List<Object> objects = new ArrayList<>();
objects.add(new Object()); //添加数据没有问题
objects.add(new Orange()); //仍然没有问题，

/**
 * 2.定义一个类型下界限定为Fruit的List,并将objects赋值给它。
 * 此时编译不会报错，因为满足逆变的条件。
 */
List<? super Fruit> fruits = objects;

/**
 * 3.add(T t)函数，编译器不会报错，因为fruits接受Fruit的基类类型，
 * 而该类型可以引用其子类型（多态性）
 */
fruits.add(new Orange());
fruits.add(new Fruit());
fruits.add(new RedApple());

/**
 * 4.此处编译器报错，因为fruits限定的是下界是Friut类型,因此，
 * 编译器并不知道确切的类型是什么，没法找到一个合适的类型接受返回值
 */
Fruit f = fruits.get(0);

/**
 * 5.此处不会报错，因为Object是Fruit的最顶层基类，满足下界的限定
 */
//Object obj = fruits.get(0);