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的所有方法(因为它必须是“extends Object”)，但getter将正常工作(因为返回的对象将始终为“Object”类型)

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