演示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<String> aList...List<? extends Object> covariantList = aList;
List<? super String> contravariantList = aList;
现在,你可以访问所有covariantList
不带通用参数的方法(因为它必须是“扩展对象”),但是吸气剂可以正常工作(因为返回的对象始终为“对象”类型)
相反的情况是正确的contravariantList
:你可以使用泛型参数访问所有方法(你知道它必须是“ String”的超类,因此你始终可以传递一个),但没有getter(返回的类型可以是String的任何其他超类型) )
以上是 演示Java中的协方差和逆方差? 的全部内容, 来源链接: utcz.com/qa/420997.html