通配符和變異器方法

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>