通配符和变异器方法

Question

当看到以下片段时，我感到非常困惑：

class Animal {}

class Dog extends Animal {}

public class Test {

    public static void main(String[] args) {
        List<? super Animal> list = new ArrayList<>();
        list.add(new Dog());  //it's OK
        list.add(new Animal()); //and this is OK too
    }
}

为什么允许这样的事情？ 当我将列表更改为List<? super Dog> list = new ArrayList<>(); List<? super Dog> list = new ArrayList<>(); list.add(new Animal());发生编译时错误 使用extends通配符时，所有组合都会导致错误。 谁能说出这种行为的确切原因？ 提前致谢。

Answer 1

    List<? super Animal> list = new ArrayList<>();
    list.add(new Dog());  //it's OK
    list.add(new Animal()); //and this is OK too

上面的代码应被允许：因为狗也是动物。

    List<? super Dog> list = new ArrayList<>();
    list.add(new Dog());  //it's OK
    list.add(new Animal()); //error

上面的代码是错误的，应该再次出现，因为不是每只动物都是狗。

inheritance就是这么简单。 :)

注意：要完成答案，请参阅：

[ 之间的区别<？ 超级T>和<？ 在Java 1中 扩展T>