给出了在Java中有重载和重载情况下显示协方差和逆方差的函数示例吗? [关闭]

问题描述 投票:103回答:3

请在Java中显示协方差和逆方差的好例子。

java covariance contravariance
3个回答
153
投票

协方差:

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

Sub#getSomething是协变的,因为它返回Super#getSomething的返回类型的子类(但完全填充了Super.getSomething()的协定)

Contravariance

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

Sub#doSomething是逆变的,因为它采用了Super#doSomething的参数的超类的参数(但是,再次填充了Super#doSomething的协定)

注意:此示例在Java中不起作用。 Java编译器将重载并且不会覆盖doSomething()-Method。其他语言也支持这种风格的协变。

Generics

这对于泛型也是可能的:

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

您现在可以访问covariantList的所有不带通用参数的方法(因为它<contravariantList则相反:您可以使用泛型参数访问所有方法(您知道它必须是“ String”的超类,因此您始终可以传递一个),但没有getter(返回的类型可能是字符串的任何其他超类型)


48
投票

协方差:可迭代和迭代器。


-4
投票
Liskov substitution principle。实际上,如果B类扩展了A类,那么只要需要A,您就应该能够使用B。]
© www.soinside.com 2019 - 2024. All rights reserved.