协方差：
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不带通用参数的方法（因为它必须是“扩展对象”），但是吸气剂可以正常工作（因为返回的对象始终为“对象”类型）
相反的情况是正确的
contravariantList：你可以使用泛型参数访问所有方法（你知道它必须是“ String”的超类，因此你始终可以传递一个），但没有getter（返回的类型可以是String的任何其他超类型） ）
