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博客