为什么我们不能从逆变类型读取

Question

我正在 Java 学习泛型，我正在学习协变和逆变。我了解协方差以及为什么我们不能写入协方差类型。但对我来说，逆变是令人困惑的。我想知道为什么从逆变读取总是对象类型

假设我们有以下类

Class Animal
Class Dog extends Animal
Class Tiger extends Animal

现在，考虑以下代码

List<Animal> animals = new ArrayList<>();
List<? super Animal> contraVarianceList=animals;

animals.add(new Dog()); // Allowed
animals.add(new Tiger()); //Allowed
Animal animal = contraVarianceList.get(0); // Not allowed. Why?

我的问题是为什么我们不能从逆变列表中读取“动物”。为什么总是且只有“对象”可以返回？如果我们从逆变列表中读取“动物”会或可能会出什么问题？

Answer 1

我想你是想问为什么 Animal animal=contraVarianceList.get(0); 是不允许的。

这样想：

List<Animal> animals=  new ArrayList<>();
List<Object> objects = new ArrayList<>();

List<? super Animal> contraVarianceList = animals;
List<? super Animal> contraVarianceList2 = objects;

animals.add(new Dog()); // Allowed
animals.add(new Tiger()); //Allowed

objects.add(new Dog()); // Allowed
objects.add(new Tiger()); //Allowed

//there is no type difference between contraVarianceList and contraVarianceList2
Animal animal = contraVarianceList.get(0);  //compiler will complain
Animal animal2 = contraVarianceList2.get(0); //compiler will complain

编译器无法真正知道它们中的任何一个仅携带 Animal 实例。你明确地说 ? super Animal 所以它也可能是带有普通 Object 的列表。

通常，您将这些类型的列表用于您期望添加项而不是从列表中读取的方法的参数。所以有这样的东西：

void populateAnimals(List<? super Animal> animals) {
  //whatever code
  animals.add(...);
}

保证您可以将此方法与 List<Object> 和 List<Animal> 一起使用。

为什么我们不能从逆变类型读取

Why can’t we read from contravariance type

java

generics

contravariance