泛型下未绑定通配符与上有界通配符

Question

import java.util.List;
import java.util.ArrayList;

interface Canine {}
class Dog implements Canine {}
public class Collie extends Dog {
    public static void main(String[] args){
        List<Dog> d = new ArrayList<Dog>();
        List<Collie> c = new ArrayList<Collie>();
        d.add(new Collie());
        c.add(new Collie());
        do1(d); do1(c);
        do2(d); do2(c);
    }
    static void do1(List<? extends Dog> d2){
        d2.add(new Collie());
        System.out.print(d2.size());
    }
    static void do2(List<? super Collie> c2){
        c2.add(new Collie());
        System.out.print(c2.size());
    }
}

这个问题的答案表明，当方法采用通配符泛型类型时，可以访问或修改集合，但不能同时访问或修改集合。（凯西和伯特）

据我所知，方法do1有list<？扩展dog>d2，因此d2只能被访问，不能被修改。方法d2具有list<？super Collie>c2，因此可以访问和修改c2，并且没有编译错误。

通用指南

Answer 1

您不能将猫添加到列表<？扩展动物>，因为您不知道这是哪种类型的列表。也可以是列表 。因此，您不想将猫抛入黑洞。这就是为什么不允许对以这种方式声明的列表进行修改的原因。

类似地，当您从列表中取出一些东西时<？超级动物>，你不知道你会从中得到什么。您甚至可以获得对象或动物。但是，您可以在此列表中安全地添加动物。