复习一下，? extends T 和 ? super T

前话

最近学一些杂七杂八的东西，都把基础给忘了。
比如Java泛型中的 ? extends T和 ? super T 吧。
刚看开源项目的时候遇到它，表情如下：

---

源码分析

直接用源码来讲解吧

package me.pwcong.test;

import java.util.ArrayList;
import java.util.List;

public class Test {

    public static void main(String[] args) {

        List<? extends Animal> list1=new ArrayList<>();

        list1.add(new Animal());    //错误，无法添加
        list1.add(new Cat());       //错误，无法添加
        list1.add(null);            //正确，可以添加
        ...
        list1.get(1);               //正确，可以获取，返回值类型为Animal

        

        List<? super Animal> list2=new ArrayList<>();
        list2.add(new Animal());    //正确，可以添加
        list2.add(new Cat());       //正确，可以添加
        list2.get(1);               //正确，可以获取，返回值类型为Object

    }

    public class Animal{}

    public class Cat extends Animal{}

}

结论

? extends T ：限定了取出数据的类型为T。编译器无法确定 List 所持有的类型，所以无法安全的向其中添加对象。可以添加 null ,因为 null 可以表示任何类型。所以 List 的 add 方法不能添加任何有意义的元素，但是可以接受现有的子类型List< T > 赋值。

? super T ：限定了存入数据类型为 T 或者 T 的子类。因为，List< ? super T >中的类型可能是任何 T 的超类型，所以编译器无法确定get返回的对象类型是 T ,还是 T 的子类，因此返回 Object 类型。

---

那它的作用是什么呢？下面还是用源码解释吧：

package me.pwcong.test;

import java.util.ArrayList;
import java.util.List;

public class Test {

    public static void main(String[] args) {

        List<Cat> cats=new ArrayList<>();
        touchAnimal(cats);

        List<Dog> dogs=new ArrayList<>();
        touchAnimal(dogs);

    }

    public static void touchAnimal(List<? extends Animal> list){

        for(Animal animal:list){
            //do something
        }
    }


    public class Animal{}

    public class Cat extends Animal{}
    public class Dog extends Animal{}

}

touchAnimal方法限制了传入的List的数据类型为Animal或Animal的子类，起到了参数限制的作用。