Java面试 讲讲extends和super关键字

讲讲extends和super关键字

这个涉及到泛型的三个特性,不变性、协变性、逆变性。

比如有类Long和类Number,类Long继承于类Number。Long是可以赋值给Number的,但若加一个函数ArrayList后,对于Long的ArrayList就不能赋值给Number的ArrayList了,这个就是泛型的不变性。

若想让Long的ArrayList就赋值给Number的ArrayList就需要利用泛型的协变性,加上函数ArrayList后依然保持继承关系,即ArrayList<Long>继承于ArrayList<Number>,这就需要使用extends关键字,ArrayList<Number>变成ArrayList<? extend Number>,代表元素为元素为Number或其子类的数组,这样就能顺利完成数组赋值。

反过来,若想让Number的ArrayList赋值给Long的ArrayList,就需要利用逆变特性,将原本的继承关系反过来,即Long数组为Number数组的父类,这就需要使用super关键字,将ArrayList<Long> 变为 ArrayList<? super Long>,代表着元素为Long或其父类数组,这样就能顺利完成赋值。

那么泛型的协变和逆变带来了什么弊端呢

协变和逆变虽然放宽了泛型的约束,但也会带来弊端。

协变后无法调用对象的含泛型参数方法了,只能调用以泛型为返回值的方法。就是只能取不能存。

逆变相反,无法调用对象以泛型为返回值的方法,只能调用对象的含泛型参数方法。就是只能存,不能取。

具体可以依据有个PECS原则判断使用协变还是你表,就是Producer Extends Consumer Super,指如果作为生产者向外部提供数据,就用extends,如果作为消费者,接收数据,那么就用super。

Java 泛型中 <? extends T> 与 <? super T> 的区别_Ahuuua的博客-CSDN博客

扫描二维码关注公众号,回复: 14804667 查看本文章

猜你喜欢

转载自blog.csdn.net/Ahuuua/article/details/124651475