在 Java 中，协方差允许 API 设计者指定实例可以泛化为某种类型或该类型的任何子类型。例如：
List<? extends Shape> shapes = new ArrayList<Circle>();
// where type Circle extends Shape
逆变换反了。它允许我们指定一个实例可以泛化为某种类型或超类型。
List<? super Shape> shapes = new ArrayList<Geometry>();
// where Shape extends Geometry
Java 泛型的逆变性有何用处？你会选择什么时候使用它？
【问题讨论】：
标签： java generics contravariance
这是Java Generics and Collections的相关摘录：
尽可能插入通配符可能是个好习惯，但您如何决定
使用哪个通配符？你应该在哪里使用extends，你应该在哪里使用super，
以及在哪些地方不适合使用通配符？
幸运的是，一个简单的原则决定了哪个是合适的。
Get 和 Put 原则：使用
extends通配符当你只得到 结构中的值，使用super仅将值放入时的通配符 结构，不要使用通配符 当你得到和放置时。
我们已经在复制方法的签名中看到了这个原理：
public static <T> void copy(List<? super T> dest, List<? extends T> src)
该方法从源 src 中获取值，因此使用extends 通配符声明，
并将值放入目标 dst，因此使用super 通配符声明。
每当您使用迭代器时，都会从结构中获取值，因此请使用 extends
通配符。这是一种采用数字集合的方法，将每个数字转换为双精度数，
并总结：
public static double sum(Collection<? extends Number> nums) {
double s = 0.0;
for (Number num : nums) s += num.doubleValue();
return s;
}
【讨论】：
好吧，您的第二个示例将允许您编写：
Shape shape = getShapeFromSomewhere();
shapes.add(shape);
而你不能用第一种形式做到这一点。我承认，它不如协方差那么有用。
它可以有用的一个领域是比较。例如，考虑：
class AreaComparer implements Comparator<Shape>
...
您可以使用它来比较任何两个形状...所以如果我们可以也使用它来对List<Circle> 进行排序就好了。幸运的是，我们可以通过逆变来做到这一点，这就是为什么 Collections.sort 的重载：
public static <T> void sort(List<T> list, Comparator<? super T> c)
【讨论】：
super。我知道使用extends 将无助于将任何形状添加到列表中，但List<Shape> shapes = new ArrayList<Geometry>();? 也同样有效，对吧？我发现 Oracle 的 documentation 在这种情况下也无法完全掌握 super 的用处 :-(
Shape 元素添加到现有列表中，你不介意这是 List<Shape> 还是List<Geometry> - 例如，你可以有一个 List<? super Shape> listToAddTo 的方法参数。
List<Square>，而您不应该在其中添加Circle。 “包含 Shape 或从其扩展的元素的列表”只是 List<Shape>。
例如，在实现Collections.addAll() 方法时，您需要一个可以包含某种类型 T 或 T 的超类型的集合。该方法如下所示：
public static <T> void addAll(Collection<? super T> collection, T... objects) {
// Do something
}
【讨论】：
List<Animal> l = List.of(); Collections.addAll(l, new Cow(), new Cow()); 多亏了逆变性，我们可以在动物列表中添加奶牛。