协方差：

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的任何其他超类型） ）