泛型下限（“超级”）问题？ [复制]

Question

可能重复：
java generics super keyword

我无法将我的知识与以下示例程序联系起来。请参阅下面的示例程序，然后我的疑问就在该程序下方。

import java.util.*;
class A { }
class B extends A { }
class C extends B { }

public class sampleprog {

    public static void main(String[] args) {

        List<? super A> list1 = new ArrayList<A>();
        list1.add(new A());//valid. ok
        list1.add(new B());//valid, why? it is not super to A?
        list1.add(new C());//valid, why? it is not super to A?

        List<? super B> list2 = new ArrayList<A>();
        list2.add(new A());//not valid. why? it is also super to B!!!
        list2.add(new B());
        list2.add(new C());

        List<? super C> list3 = new ArrayList<C>();
        list3.add(new A());//not valid, why? It is super to A so should be valid!!!
        list3.add(new B());//not valid, why? It is super to A so should be valid!!!
        list3.add(new C());
    }
}

我的疑惑： - 据我所知? super T 表示您可以添加的任何类都超级到T 但这里的输出不同？甚至子类也成功添加，这完全令人困惑。 - 输出与列表初始化 (List<? super C> list3 = new ArrayList<C>();) 没有什么不同。在这个初始化中，我分配了A或B的列表，输出是一样的！

请消除我的疑虑。

Answer 1

"? super T" 表示您可以添加的任何类必须是 T 或其子类的实例。

所以List<? super C> list3 = new ArrayList<C>(); 在 list3 中，您可以添加 C 类或其子类实例 (SomeClass extends C) 的实例。

父对象列表可以有自己的子对象和子对象，但为子类创建的列表不能有其父对象。希望你现在清楚了。

Answer 2

List<? super B> 表示

List<? super B> list1 = new ArrayList<A>();
List<? super B> list1 = new ArrayList<B>();

是允许的。 ArrayList<A> 是 ArrayList<B> 的超级，不是吗？我们可以将B 和C 添加到ArrayList<A> 和ArrayList<B> 中吗？我们可以。我们可以添加A 吗？仅指向ArrayList<A>. 但List<? super B> 也允许指向ArrayList<B>。所以我们不能将A's 添加到List<? super B>。

Answer 3

如果我们在泛型声明中使用? super，则引用可以指向相同的泛型集合或超泛型集合。所以在这种情况下，所有通过 IS-A 测试的东西都是有效的。

Answer 4

投票支持@us2012 的评论。

• 对于List<? super A>

  类型是A。A、B、C都是A的子类型，所以可以添加。

• 对于List<? super B>

  类型可以是A，B。B和C都是A或B的子类型。 想想List<? super B> list2 = new ArrayList<A/B>()的区别

• 对于List<? super C>

  类型可以是A、B、C。所以只有C是A、B或C的子类型。

例如，Machine -> Car -> SportsCar。对于List<? super Machine>，无论是Machine、Car、SportsCar，都是Machine，所以添加是安全的。