为什么不列出<？扩展 A> 接受扩展 A 的 B 的实现？ [复制]

Question

为什么这不起作用？我认为该列表将能够接受任何作为 A 实例的对象。

import java.util.List;

public class Test {

    interface A {}

    interface B extends A {}

    class BImpl implements B {}

    List<? extends A> listOfAExtensions;

    void function() {
        B b = new BImpl();
        listOfAExtensions.add(b);
        // error
        // The method add(capture#1-of ? extends Test.A)
        // in the type List<capture#1-of ? extends Test.A>
        // is not applicable for the arguments (Test.B)
    }
}

Answer 1

List<? extends A> listOfAExtensions

不一样

List<A> listOfAExtensions

因为你可以分配

List<? extends A> listOfAExtensions = new ArrayList<CImpl>();

其中CImpl 是A 的实现，与BImpl 无关。如果之后您可以将BImpl 添加到listOfExtensions，那么您将添加BImpl 到不相关的CImpl 列表中，这没有任何意义。因此编译器不允许您将BImpl 的实例添加到listOfAExtensions。