我对Java泛型如何处理继承/多态感到困惑。
假设以下层次结构-
Animal (Parent)
Dog - Cat (Children)
所以，假设我有一个方法doSomething(List<Animal> animals)。通过将所有继承和多态的规则，我会假设List<Dog> 是一个List<Animal>和List<Cat> 是一个List<Animal>-所以任何一个可以传递给此方法。不是这样 如果要实现此行为，则必须通过说出明确告诉该方法接受Animal的任何子类的列表doSomething(List<? extends Animal> animals)。
doSomething(List<Animal> animals)
List<Dog>
List<Animal>
List<Cat>
Animal
doSomething(List<? extends Animal> animals)
我了解这是Java的行为。我的问题是为什么？为什么多态性通常是隐式的，但是当涉及泛型时，必须指定它？
不，List<Dog>是不是一个List<Animal>。考虑一下您可以做什么List<Animal>-您可以向其中添加任何动物…包括猫。现在，您可以在逻辑上将猫添加到一窝小狗中吗？绝对不。
// Illegal code - because otherwise life would be Bad List<Dog> dogs = new ArrayList<Dog>(); // ArrayList implements List List<Animal> animals = dogs; // Awooga awooga animals.add(new Cat()); Dog dog = dogs.get(0); // This should be safe, right?
突然，你有一只非常困惑的猫。
现在，您不能将a添加Cat到，List<? extends Animal>因为您不知道它是一个List<Cat>。您可以检索一个值并知道它将是一个值Animal，但不能添加任意动物。相反的情况是正确的List<? super Animal>-在这种情况下，您可以Animal安全地向其中添加一个，但是对于从中检索到的内容一无所知，因为它可能是个List<Object>。
List<? extends Animal>
List<? super Animal>
List<Object>
