如何使Java列表协变

我有以下课程

public class Animal


public class Dog extends Animal


public class Cat extends Animal

对于测试，我有一个驱动程序类。

public class Driver {
    public static void main(String[] args){
        List<? extends Animal> animalList = Arrays.<Dog>asList(new Dog(), new Dog(), new Dog());
        animalList.add(new Dog()) // Compilation error 
    }               
}

默认情况下，列表是不变类型容器。例如，假设我们有List<Object> objectList，ArrayList<String> stringList，我们不能将字符串列表替换为objList。这将导致编译错误

我的尝试是使List成为驱动程序类中的协变。

根据<? extends Animal>，我们可以应用任何属于Animal子类型的对象，包括Animal类型。

但我在指定的行中遇到了编译问题。有没有人能从理论上解释一下我哪里错了。

---

解决方案

我认为您误解了泛型通配符(?)。来自Java tutorial on the subject：

像往常一样，使用灵活性是要付出代价的 通配符。这个代价是，现在将文字写成形状是非法的 在方法体中。例如，这是不允许的：

public void addRectangle(List<? extends Shape> shapes) {
    // Compile-time error!
    shapes.add(0, new Rectangle());
}

您应该能够弄清楚为什么上面的代码是不允许的。这个 shapes.add()的第二个参数的类型为? extends Shape--一个 Shape的未知子类型。由于我们不知道它是什么类型的，我们 不知道它是否是Rectangle的超类型；它可能是也可能不是 这样的超类型，因此在那里传递Rectangle是不安全的。

Java泛型集合不是协变的；有关说明，例如，请参阅Java theory and practice: Generics gotchas。