协变与逆变
关于协变与逆变，百度百科是这样解释的：
在一门程序设计语言的类型系统中，一个类型规则或者类型构造器是：
- 协变（covariant），如果它保持了子类型序关系≦。该序关系是：子类型≦基类型。
- 逆变（contravariant），如果它逆转了子类型序关系。
- 不变（invariant），如果上述两种均不适用。
。。。一脸懵逼
简单来说，如果父类型序可以代替子类型序的就叫协变，子类型序可有代替父类型序就叫逆变。
Java中数组是支持协变的
class Animal{}
class Dog extends Animal{}
class Bird extends Animal{}
Animal[] animals = new Dog[5]; //数组支持协变，Dog是Animal的子类，Animal[] 可以代替Dog[]
animals[0] = new Dog();
animals[1] = new Animal(); //编译器通过，但运行时抛出ArrayStoreException
animals[2] = new Bird();//编译器通过，但运行时抛出ArrayStoreException
由于Java数组是支持协变的，Dog是Animal的子类，Animal[] 可以代替Dog[]，编译器不会拒绝Animal[] 放Animal或者他的子类，但animals实际上是Dog[]，往里面放Animal或者
Bird就会有问题。所以我们在写代码的时候也不应该使用这种方法，容易出错，我们可以使用泛型把这种错误检查提前到编译期。
List<Animal> animals = new ArrayList<Dog>();//我们都知道是编译不过去的
Java的泛型不支持协变，想要在继承类间建立向上转型关系可以使用通配符
子类型通配符
可以把Animal子类的List赋值给List<? extends Animal>，List<? extends Animal>表示从Animal继承的类的列表。注意，List<? extends Animal>不像Animal[],List<? extends Animal>表示某一个特定的子类的集合，但不知道是具体的哪个,List<? extends Animal>中只有Dog或者只有Bird，不会Dog和Bird都有。
List<? extends Animal> animals = new ArrayList<Dog>();
animals.add(new Dog()); //编译器不允许
animals.add(new Animal()); //编译器不允许
animals.add(new Bird()); //编译器不允许
animals.add(new Object());//编译器不允许
animals.add(null);//编译器通过
Dog dog = animals.get(0); //编译器不允许
Animal animal = animals.get(0); //编译器通过
可以看到List<? extends Animal>除了添加null，其他任何类型都不能加,或许你会觉得疑惑这东西有什么用，后面会有一个专题通配符的高级用法的例子。
当泛型对象声明为子类通配类型引用时，他的多有方法有类型参数的参数都拒绝传参，就像List的add(E e)方法一样
超类通配符
超类通配符是指子类型序可以接受父类型序，用<? super class>表示
class Animal{}
class Dog extends Animal{}
class HotDog extends Dog{}
class Bird extends Animal{}
Holder<? super Dog> dogs = new Holder<Animal>();
dogs.set(new Animal()); //编译器不允许
dogs.set(new Dog()); //编译器通过
dogs.set(new HotDog());//编译器通过
dogs.set(new Bird()); //编译器不允许
Animal animal = dogs.get(); //编译器不允许
Dog dog = dogs.get(); //编译器不允许
HotDog hotDog = dogs.get(); //编译器不允许
? super Dog表示T是Dog或者其父类，T可以赋值为Dog或者其父类，也就是在一些set(T a)、add(T t)..以T为参数地方赋值，但在return T的时候就不知道他具体类型
总结
? extends T是子类型通配符，限定了T的上限，T只能是定义的类型或者他的子类。不可以给T赋值，可以return T成定义的类型
? super T是超类通配符，限定了T的下限，T只能是定义的类型或者他的父类。可以给T赋值为定义的类或者其子类，return T不知道他的具体类型
