java 实现协方差_演示Java中的协方差和逆方差？

小编典典

协方差：

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 aList...

List extends Object> covariantList = aList;

List super String> contravariantList = aList;

现在，你可以访问所有covariantList不带通用参数的方法(因为它必须是“扩展对象”)，但是吸气剂可以正常工作(因为返回的对象始终为“对象”类型)

相反的情况是正确的contravariantList：你可以使用泛型参数访问所有方法(你知道它必须是“ String”的超类，因此你始终可以传递一个)，但没有getter(返回的类型可以是String的任何其他超类型) )

2020-03-12