List

Question

我对Java泛型如何处理继承/多态感到困惑。

假设以下层次结构-

Animal (Parent)

Dog - Cat (Children)

所以，假设我有一个方法doSomething(List<Animal> animals)。通过将所有继承和多态的规则，我会假设List<Dog> 是一个List<Animal>和List<Cat> 是一个List<Animal>-所以任何一个可以传递给此方法。不是这样 如果要实现此行为，则必须通过说出明确告诉该方法接受Animal的任何子类的列表doSomething(List<? extends Animal> animals)。

我了解这是Java的行为。我的问题是为什么？为什么多态性通常是隐式的，但是当涉及泛型时，必须指定它？

Answer 1

不，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>。