学会Java泛型系列（五）：通配符

协变与逆变

关于协变与逆变，百度百科是这样解释的：

在一门程序设计语言的类型系统中，一个类型规则或者类型构造器是：

协变（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不知道他的具体类型

学会Java泛型系列（五）：通配符

协变与逆变

子类型通配符

超类通配符

总结

推荐阅读更多精彩内容