将超类对象放入下界通配符列表时出错

Question

我明白，在列表中使用下界通配符作为方法参数应该让我们放置下界及其超级类型的元素，但请考虑以下代码：

public class WildcardError {
    void foo(List<? super Number> i) {
        i = new ArrayList<Integer>(); //compile error
        i.add(new Integer(2)); // no error
    }
}

public class WildcardError {
    void foo(List<? super Integer> i) {
        i = new ArrayList<Number>(); //no error
        Number k =20;
        i.add(k); // compile error
    }
}

我试图找到答案，但找不到确切的情况。

Answer 1

在第一个示例中，下界？super number意味着实际类型参数可以是number或超类型（例如object)。因为Java的泛型是不变的，所以列表<？super Number>无法匹配ArrayList 。请记住，下限是对类型参数的限制，而不是对可能作为参数发送的参数类型的限制。调用add没有错误，因为整数可以传递给add方法，该方法可以接受数字或超类。

在第二个例子中，下界？超级整数意味着实际类型参数可以是integer或超类型（例如number、object)。这与ArrayList 匹配，因此这里没有错误。但是，i的类型仍然是list<？超级整数>，它不能保证能够接受数字，例如K。它可以在任何时候引用列表 ，其中数字可能是双不应接受。这就是为什么这里有一个编译器错误。