我对Java泛型如何处理继承/多态性有点困惑.
假设以下层次 struct -
Animal(家长)
Dog-Cat( children )
假设我有一个方法doSomething(List<Animal> animals).根据继承和多态性的所有规则，我会假设a List<Dog> is a List<Animal>和a List<Cat> is a List<Animal>，所以任何一个都可以传递给这个方法.不是这样.如果我想实现这种行为，我必须明确地告诉这个方法接受动物任何子类的列表，比如说doSomething(List<? extends Animal> animals).
我知道这是Java的行为.我的问题是why？为什么多态性通常是隐式的，但当涉及泛型时，它必须被指定？
不，List<Dog>是not是List<Animal>.想一想你能用List<Animal>做什么--你可以在上面加any只动物……包括一只cat .现在，你能合乎逻辑地给一窝小狗加一只cat 吗？绝对不行.
// 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?
突然之间，你就有了一只very只困惑的cat .
现在，你can't在List<? extends Animal>的基础上加Cat，因为你不知道它是List<Cat>.您可以检索一个值并知道它将是Animal，但不能添加任意动物.List<? super Animal>的情况正好相反-在这种情况下，您可以安全地向其添加Animal，但您不知道可能从中检索到什么，因为它可能是List<Object>.