我不理解java中的通配符[重复]

Question

我有课：

class Animal{
    public void type(){
        System.out.println("I am Animal");
    }
}
class Dog extends Animal{
    public void type(){
        System.out.println("I am Dog");
    }
}
class Cat extends Animal{
    public void type(){
        System.out.println("I am Cat");
    }
}
class Haski extends Dog{
    public void type(){
        System.out.println("I am Haski");
    }
}

然后我用wildcards 创建List：

List<? extends Animal> animalList = new ArrayList<Animal>();

我知道我不能向animalList 添加一些对象。我在不同的书籍、互联网上的文章、视频课程中读到过它，但我仍然不明白为什么？如果我们认为animalList 只包含对象extends Animal，为什么java 不能添加任何objects extends Animal 并将其转换为Animal？

animalList.add(new Dog()); //cast dog to Animal
animalList.add(new Cat()); //cast cat to Animal

编译器有足够的信息 - objects extends Animal 为什么它不能转换？

编辑：

所以我没有正确理解。

List<Animal> animalList1 = new ArrayList<Animal>();
animalList.add(new Animal());
animalList.add(new Dog());
animalList.add(new Cat());
animalList.add(new Haski());

和

List<? extends Animal> animalList

有一种感觉，它们应该是一样的。但我感觉不到原则上的区别

Answer 1

因为这个：

List<Dog> dogList = new ArrayList<>(); // compiles
List<? extends Animal> listOfUnknownAnimalType = dogList; // compiles
listOfUnknownAnimalType.add(new Cat()); // doesn't compile

如果编译第三行，您将能够将 Cat 添加到 List<Dog>，这将完全破坏泛型带来的类型安全：listOfUnknownAnimalType 在第 2 行使用 dogList 初始化。所以两个变量都引用同一个列表，即List<Dog>。因此，如果您将猫添加到 listOfUnknownAnimalType，则将其添加到 dogList。将 Cat 添加到狗列表中是不对的：List<Dog> 应该只包含狗，而不是猫。

想象一下你有这个方法：

public void printAllTypes(List<Animal> list) {
    list.forEach(a -> System.out.println(a.type()));
}

这很好，效果很好：

List<Animal> list = new ArrayList<>();
list.add(new Cat());
list.add(new Dog());
printAllTypes(list);

现在假设你有这个：

List<Dog> list = new ArrayList<>();
list.add(new Haski());
list.add(new Dog());
printAllTypes(list);

最后一行无法编译，因为List<Dog> 不是List<Animal>（原因同上）。这就是通配符变得有用的地方：因为您的方法实际上并不关心列表的具体泛型类型，只要它扩展 Animal，并且由于它不会改变列表，您可以将您的方法重写为

public void printAllTypes(List<? extends Animal> list) {
    list.forEach(a -> System.out.println(a.type()));
}

现在您可以使用List<Animal> 调用它，也可以使用List<Dog> 或List<Cat> 作为参数。