Java泛型超级关键字

Question

Java泛型超级关键字

我读过这些话题

• 仿制药.？超级T

• 用“Super”关键字包围泛型

不过，我似乎还是有点迷茫super关键词：

1. 当我们宣布这样的收藏时：

   List<? super Number> list = null;list.add(new Integer(0));
   //this compileslist.add(new Object());//this doesn't compile

   应该是相反的吗？我们有一个包含(未知类型的)对象的列表，这些对象是Number..所以Object应该适合(因为它是Number)，以及Integer不应该。相反的是出于某种原因。

2. 如果我们有以下代码

   static void test(List<? super Number> param) {
       param.add(new Integer(2));}public static void main(String[] args) {
       ArrayList<String> sList = new ArrayList<String>();
       test(sList);            //will never compile, however...}

   编译上述代码是不可能的(我的理智表明这是正确的行为)，但是基本的逻辑可以证明相反的情况：

   String is Object, Object is superclass of Number. So String should work.

   我知道这很疯狂，但这不是他们不允许的原因吗？<S super T>建筑？如果是，那为什么<? super T>是允许的吗？

有人能帮我恢复这个逻辑链中缺失的部分吗？

Answer 1

中的有界通配符List<? super Number>能捕捉Number以及它的任何一种超级类型。自Number extends Object implements Serializable，这意味着目前唯一被捕获的类型-可转换为List<? super Number>是：List<Number>List<Object>List<Serializable>注意你可以add(Integer.valueOf(0))到上述任何类型。但是，你不能&nbsp;add(new Object())转到List<Number>或者是List<Serializable>，因为这违反了泛型类型安全规则。因此，它是不你真的可以add任何超型Number转到List<? super Number>这根本不是有界通配符和捕获转换的工作方式。你不能宣布List<? super Number>因为您可能想要添加一个Object更重要的是(你不能！)；你这么做是因为你想加入Number对象(即它是Number)，简单地说是List<Number>限制太大了。参考文献安格利卡·兰格的一般性常见问题什么是有界通配符？何时使用具有下限的通配符参数化类型？(“当具体的参数化类型过于限制性时。”)为什么类型参数没有下限？(“因为这没有道理。”)JLS 5.1.10捕获转换另见有效Java第二版，第28项：使用有界通配符来增加api的灵活性。“果胶代表生产者-extends，消费者-super相关问题太多了，太少了，胸肌，new Integer(0)VSvalueOf等