演示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

回到顶部