前话
最近学一些杂七杂八的东西，都把基础给忘了。
比如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的子类，起到了参数限制的作用。