java - 在 Java 泛型中读写协变和逆变

Question

同时 learning Java generics我开始知道，通过协变我们可以从结构中读取项目，但我们不能向其中写入任何内容，而通过逆变我们可以将项目写入结构，但我们不能从中读取任何内容。

举个例子:

List<? extends Number> myNums = new ArrayList<Integer>();
myNums.add(45L); // Covariance - compiler error
List<? super Integer> myNums = new ArrayList<Integer>();
myNums.add(1);
Number myNum = myNums.get(0); //Contravariance - compiler-error

我不明白的是为什么这个东西被禁止？如果允许这件事发生，我无法理解会出什么问题？

Answer 1

您不能添加 Integer 的元素类别为 List<? extends Number>因为您不知道列表中元素的确切类型。它可能实际上是List<Double> .下一个例子中的逻辑相同。你从 List<? super Integer> 得到什么可能有 Object类型，而不是 Number .