上界和下界通配符的 Java 泛型

Question

我在阅读 Java 泛型时遇到了一个有趣的查询。我的问题如下。

1. 对于上限通配符

   public static void printList(List<? extends Number> list) {
       for (int i = 0; i < 10; i++) {
           list.add(i);// gives compilation error
       }
   }
   

2. 对于下界通配符

   public static void printList(List<? super Integer> list) {
       for (int i = 0; i < 10; i++) {
           list.add(i);// successfully compiles
       }
   }
   

我对此感到困惑，因为查看 Sun Oracle 文档我了解到代码也应该针对第 1 点进行编译

Upper Bound Wildcard Lower Bound Wildcard

谁能帮我理解一下？

Answer 1

这是因为当您使用上限时，您不能将元素添加到集合中，只能读取它们。

这意味着这些是一些合法的分配:

List<? extends Number> l = new ArrayList<Integer>();
List<? extends Number> l = new ArrayList<Double>();

所以你不能保证在添加对象时，它会保存正确类型的对象。为了更好的解释，请遵循: How can I add to List<? extends Number> data structures?