前话

最近学一些杂七杂八的东西，都把基础给忘了。
比如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);               //正确，可以获取，返回值类型为AnimalList<? 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的子类，起到了参数限制的作用。