Java泛型的协变与逆变

1 java 泛型的协变，在我们消费泛型容器的时候，往往有这样一个要求，就是我们声明的方法要求可以处理某一类以及包含其子类的元素的能力。 这个时候我们就可以使用java泛型提供的协变能力。例如

public static   void consume(List<? extends Number> datas){
        for (int i = 0; i < datas.size(); i++) {
            Number data = datas.get(i);
        }
    }

我们可以传递任意Number子类的泛型容器给这个方法

consume(new ArrayList<Integer>());
consume(new ArrayList<Double>());

因为我么知道泛型的上限是Number所以我们总是可以使用Number去接受变量，但是我们不能写出下面这样的代码

public static   void append(List<? extends Number> datas){
       datas.add(Integer.valueOf(1));
    }

此时会编译错误。是由于编译器只是知道容器里面的数据是Number的某一个子类，但是不知道是哪个一个子类，为了避免错误，所以不能做类似的操作。那么怎样才可以做类似的操作呢，需要使用泛型的逆变。

2 泛型的逆变

public static   void addIntData(List<? super Integer> datas){
        datas.add(Integer.valueOf(1));
    }

此时代表这个容器的下限是Integer数据类型，但是你传递的容器可以是的声明为

​
List<Number> datas = new ArrayList<>();
datas.add(Double.valueOf(1.0D));
addIntData(datas);

​

此时是没有任何问题的因为这个容器的声明是一个Number类型的容器，它可以添加所以Number子类的元素，因为当我们做任何遍历消费的时候都是以Number作为接受类型的。