泛型扩展和超级 ?差异

Question

我尝试理解 java 中的泛型行为

我写了同样的代码：

共同部分：

class A1{}
class B1 extends A1{}
class C1 extends B1{}

案例一：

        List<? extends B1> list = new ArrayList<C1>();
        list.add(new A1());// compile error
        list.add(new B1());//compile error
        list.add(new C1());//compile error

案例2：

        List<? super B1> list = new ArrayList<A1>();
        list.add(new A1());//compile error
        list.add(new B1());//valid
        list.add(new C1());//valid

我认为我编写了简单的代码。为什么我看到非对称结果？

Answer 1

List<? extends B1> 表示：未知类型的列表，它是或扩展 B1。所以它可能是List<B1>、List<C1> 或List<Foo>，如果Foo 也扩展了B1 或C1。所以你不能在这样的列表中添加任何东西：

list.add(new A1); // incorrect, since A1 doesn't even extend B1
list.add(new B1()); // incorrect, since the list could be a List<C1>
list.add(new C1()); // incorrect, since the list could be a List<Foo>

您可以添加到此类列表中的唯一内容是 null。

List<? super B1> 表示：未知类型的列表，它是 B1 或B1 的超类或超接口。所以它可能是List<B1>、List<A1> 或List<Object>（仅此而已）。所以

list.add(new A1()); // incorrect, since the list could be a List<B1>, and A1 is not a B1
list.add(new B1()); // valid, since whatever the type of the list (B1, A1 or Object), B1 is of this type
list.add(new C1()); // valid, since whatever the type of the list (B1, A1 or Object), B1 is of this type

但是，如果您尝试从此类列表中获取元素，则无法保证其类型。唯一确定的是它是一个对象。

总的原则是PECS：Producer Extends，Consumer Super。这意味着当列表是生产者时（这意味着您想从中获取元素），那么应该使用extends。当列表是消费者时（这意味着您要向其添加元素），则应使用super。