在Java中展示协方差和逆变？

Question

请给出Java中协方差和逆变的一个很好的例子.

Answer 1

协方差:

class Super {
  Object getSomething(){}
}
class Sub extends Super {
  String getSomething() {}
}

Sub#getSomething是协变的,因为它返回Super#getSomething的返回类型的子类(但是满足Super.getSomething()的合同)

逆变

class Super{
  void doSomething(String parameter)
}
class Sub extends Super{
  void doSomething(Object parameter)
}

Sub#doSomething是逆变的,因为它需要Super#doSomething参数的超类参数(但是,再次填写Super#doSomething的合约)

注意:此示例在Java中不起作用.Java编译器会重载并且不会覆盖doSomething() - Method.其他语言确实支持这种逆转方式.

泛型

这也适用于泛型:

List<String> aList...
List<? extends Object> covariantList = aList;
List<? super String> contravariantList = aList;

您现在可以访问covariantList不带泛型参数的所有方法(因为它必须是"extends Object"),但getter将正常工作(因为返回的对象将始终为"Object"类型)

反之亦然contravariantList:您可以使用泛型参数访问所有方法(您知道它必须是"String"的超类,因此您始终可以传递一个),但是没有getter(返回的类型可以是String的任何其他类型) )

Answer 2

协方差:Iterable和Iterator.定义共变体Iterable或者变体几乎总是有意义的Iterator.Iterator<? extends T>可以正常使用Iterator<T>- 类型参数出现的唯一位置是方法的返回类型next,因此可以安全地向上转换为T.但是如果你有S扩展T,你也可以分配Iterator<S>一个类型的变量Iterator<? extends T>.例如,如果要定义find方法:

boolean find(Iterable<Object> where, Object what)

你将无法与调用它List<Integer>和5,所以最好定义为

boolean find(Iterable<?> where, Object what)

Contra-variance:比较器.它几乎总是有意义使用Comparator<? super T>,因为它可以像使用一样Comparator<T>.type参数仅作为compare方法参数类型出现,因此T可以安全地传递给它.例如,如果你有一个DateComparator implements Comparator<java.util.Date> { ... }并且你想List<java.sql.Date>用该比较器(java.sql.Date是一个子类java.util.Date)对它进行排序,你可以这样做:

<T> void sort(List<T> what, Comparator<? super T> how)

但没有

<T> void sort(List<T> what, Comparator<T> how)