在Java泛型中将如何使用协变？

Question

在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泛型的矛盾性如何有用？您何时选择使用它？

Answer 1

好吧，您的第二个示例将允许您编写：

Shape shape = getShapeFromSomewhere();
shapes.add(shape);

而您无法使用第一种形式执行此操作。它不会像协方差那样有用，我将授予您。

在比较方面，它 可能 是有用的一个领域。例如，考虑：

class AreaComparer implements Comparator<Shape>
...

您可以使用它来比较 任意 两个形状…因此，如果我们也 可以 使用它来对a
List<Circle>进行排序，那将是很好的。幸运的是，我们可以使用逆方差来做到这一点，这就是为什么存在以下原因的重载Collections.sort：

public static <T> void sort(List<T> list, Comparator<? super T> c)