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

Question

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

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

Answer 1

协方差：class&nbsp;Super&nbsp;{ &nbsp;&nbsp;Object&nbsp;getSomething(){}}class&nbsp;Sub&nbsp;extends&nbsp;Super&nbsp;{ &nbsp;&nbsp;String&nbsp;getSomething()&nbsp;{}}Sub＃getSomething是协变的，因为它返回Super＃getSomething的返回类型的子类（但是满足Super.getSomething（）的合同）逆变class&nbsp;Super{ &nbsp;&nbsp;void&nbsp;doSomething(String&nbsp;parameter)}class&nbsp;Sub&nbsp;extends&nbsp;Super{ &nbsp;&nbsp;void&nbsp;doSomething(Object&nbsp;parameter)}Sub＃doSomething是逆变的，因为它需要Super＃doSomething参数的超类参数（但是，再次填写Super＃doSomething的合约）注意：此示例在Java中不起作用。Java编译器会重载并且不会覆盖doSomething（） - Method。其他语言确实支持这种逆转方式。泛型这也适用于泛型：List<String>&nbsp;aList...List<?&nbsp;extends&nbsp;Object>&nbsp;covariantList&nbsp;=&nbsp;aList;List<?&nbsp;super&nbsp;String>&nbsp;contravariantList&nbsp;=&nbsp;aList;您现在可以访问covariantList不带泛型参数的所有方法（因为它必须是“extends Object”），但getter将正常工作（因为返回的对象将始终为“Object”类型）反之亦然contravariantList：您可以使用泛型参数访问所有方法（您知道它必须是“String”的超类，因此您始终可以传递一个）但没有getter（返回的类型可以是String的任何其他类型） ）

Answer 2

看看Liskov替代原则。实际上，如果B类扩展了A类，那么只要需要A就可以使用B。