【java泛型通配符】

今天对泛型产生了困惑，经过学习后，记录如下。

class Food {
}

class Fruit extends Food {
}

class Apple extends Fruit {
}

我们先看代码：

public class Test {
    Food food = new Fruit(); // success
    
    List listFather = new ArrayList<>();
    List listSon = new ArrayList<>();
    listFather = listSon; // error
}

第一行代码是java中多态的基本使用，但是后三行的代码说明，泛型是继承关系，而被泛型修饰的容器并不具有对应的继承关系。

那有没有一种方式，能使得容器间也能产生类似的多态关系呢。答案是有，即泛型通配符，注意，这不是继承关系，只是匹配关系。

限定一个集合只能接收T及其子类，失去add功能，返回类型为T，只读。

@Test
void testExtends() {

    // 声明一个泛型列表，只能接收Fruit及其子类
    List list;
    list = new ArrayList(); // error
    list = new ArrayList(); // success
    list = new ArrayList(); // success



    
    list.add(new Food());   // error: 可能是Food子类接收 Food
    list.add(new Fruit());  // error:  可能是Fruit子类接收 Fruit
    list.add(new Apple());  // error: 可能是Apple子类接收 Apple
}

限定一个集合只能接收T及其父类,使集合失去 get 功能,可写不可读

@Test
void testSupper() {
    // 声明一个泛型列表，只能接收Fruit及其父类
    List list;
    list = new ArrayList(); // success
    list = new ArrayList(); // success
    list = new ArrayList(); // error

    
    list.add(new Food()); // error: Fruit 接收 父类
    list.add(new Fruit()); // success
    list.add(new Apple()); // success
}

可接收任意类型，由于不知道具体类型，只读。

@Test
void test() {
    List list;
    list = new ArrayList(); // success
    list = new ArrayList(); // success
    list = new ArrayList(); // success
    Object o = list.get(0);
    list.add(new Fruit()); // error: unknow specific type
}

1. 以上 error 都是由于子类不可接收父类而导致的。
2. 只读：频繁往外读取内容的，适合用上界extends，即extends 可用于的返回类型限定，不能用于参数类型限定。
3. 只写：经常往里插入的，适合用下界Super，super 可用于参数类型限定，不能用于返回类型限定。

2和3在java文档里也说明了：

• 深入理解Java泛型

• Java泛型解惑之 extends T>和 super T>上下界限