泛型和继承？ [复制]

Question

public static void main(String... args) {
    List<Child> list1 = new ArrayList<Child>();
    method2(list1);
}

public static void method2(List<Parent> list1) {
}   

我得到以下编译错误

方法method2(List)未定义...

上述问题可以通过将List<Parent> list1修改为List<? extends Parent> list1来解决。

但是如果我尝试像下面这样添加子对象

public static void method2(List<? extends Parent> list1) {
    Child child1 = new Child();
    list1.add(child1);
}

它再次给出编译错误

类型List中的add(capture#1-of ? extends Parent)方法不适用于参数(Child)

所以我的问题是如果List<Child> 可以作为参数传递给List<? extends Parent> list1 为什么我们不能在List<? extends Parent> 下添加子对象？

Answer 1

这是一个很常见的误解。 Child 扩展 Parent 的事实不会使 List<Child> 扩展 List<Parent>。在这种情况下听起来很不直观，但确实如此。来自java教程：

给定两个具体类型 A 和 B（例如，数字和整数）， MyClass 与 MyClass 没有关系，无论是否 不是 A 和 B 是相关的。 MyClass 的共同父级和 MyClass 是对象。

阅读this了解详情。

至于添加到列表中，简短的回答是：假设您有另一个class Child2 extends Parent，现在，您在method2(List<? extends Parent> list1) 处作为参数接收的列表可能是List<Child1> 或List<Child2> .因此，鉴于第二种情况是可能的，添加 Child1 对象不是类型安全的。

现在，您不能添加的事实并不意味着您不能做其他有用的事情，比如获取大小等。

Answer 2

所以我的问题是List<Child> 是否可以作为参数传递给List<? extends Parent> list1 为什么我们不能在List<? extends Parent> 下添加子对象？

假设我们可以。现在假设我们有：

class Parent {}
class Mother extends Parent {}
class Father extends Parent {}

static void m(List<? extends Parent> parents) {
    parents.add(new Father());
}

List<Mother> mothers = new ArrayList<>();
m(mothers);
// throws 'ClassCastException: cannot cast Father to Mother'
Mother actuallyAFather = mothers.get(0);

List<? extends Parent> 是一个 List，它最多存储 Parent，或者可能是 Parent 的某个子类型，我们不再了解它。除了 null 之外，我们不能向它添加任何内容。

所以也许你想要的是：

public static void method2(List<? super Child> list1) {
//                                ^^^^^^^^^^^
    Child child1 = new Child();
    list1.add(child1);
}

List<? super Child> 是一个列表，我们可以将Child 添加到其中。也许是List<Parent> 或者是List<Child>，但我们不在乎。我们只关心它是一个可以添加Child 的列表。

另见：

• Is List<Dog> a subclass of List<Animal>? Why aren't Java's generics implicitly polymorphic?
• What is PECS (Producer Extends Consumer Super)?

Answer 3

来自Wildcards

List<? extends Parent> 是有界通配符的一个示例。这 ？代表未知类型，就像我们之前看到的通配符一样。但是，在这种情况下，我们知道这种未知类型实际上是Parent 的子类型。

因此，请确保您的 Child 类扩展了 Parent 类。那么下面的代码就可以工作了。

public static void method2(List<? extends Parent> list1) {

通过此更改，它应该可以工作，请参阅Output of you program

Answer 4

这是我阅读更多内容后的答案

我们不能指定List<Dog> to List<Animal>，因为List<Animal>意味着我们可以添加任何动物，比如猫、狗 而List<Dog> 意味着我们只能添加狗/子类型，但不能添加猫。所以分配者会认为他只会得到狗/子类型 但他也可以得到猫对象（所以运行时错误）

这是一个例子

psvm{
List<Dog> list1 = new ArrayList<Dog>();
list1.add(new Dog()); 
method1(list1);// compilation error
}

public static void method1(List<Animal> list1) {
list1.add(cat); // Good
list1.add(dog); // Good
}

另一个常见的误解是关于上界泛型，它与

完全相反

当我们说List<? extends Animal> list1 时，我们不能添加除 null 之外的任何值，但是可以分配任何 Animal/Sub 类型 如果我们允许添加它意味着它可以包含任何动物，如猫、狗，但是在检索（即向下投射）时，我们实际上并没有 它是类型。

psvm{
List<Dog> list1 = new ArrayList<Dog>();
list1.add(new Dog()); 
method1(list1);// good
}

public static void method1(List<? extends Animal> list1) {
list1.add(cat); // compilation error
list1.add(dog); // compilation error
}