JAVA的PECS原则
PECS指“Producer Extends,Consumer Super”
比如:
List<? extends Fruit> fruitList = new ArrayList<>();
fruitList.add(new Apple());
fruitList.add(new Orange());
但是编译器却报了编译错误:
按理说fruitList是一个持有类型为Fruit及其子类的泛型列表啊,为什么不能往其中添加Fruit的子类呢?
因为泛型的一大好处就是可以在编译时检查,避免传入不相符的类型可能导致的ClassCastException了。但是声明fruitList的时候没有明确的指定泛型的具体类型,所以编译器无法确认其持有的具体类型,当然也就拒绝了add操作。
fruitList只是规定了泛型的上限,但是并没有确定具体的类型,也无法确定具体的子类型,可以是Apple,Orange还可能是Banana,所以不能把具体的对象添加进去,不然使用的时候可能导致ClassCastException了。但是可以保证从里面取出来的数据都是Fruit及其子类,而且还是Fruit的某一个子类。
我们把代码改成下面这样子就可以添加不同的Fruit对象了。
因为我们规定了fruitList持有的都是Fruit及其父类,可以将Fruit 及其子类都添加进去
List<? super Fruit> fruitList = new ArrayList<>();
fruitList.add(new Apple());
fruitList.add(new Orange());
但是
fruitList.add(new Object());
却不行,why?因为在编译时无法确认具体的fruitList持有的是Fruit的哪一个父类,要想确定就必须指定具体泛型类了。所以就无法往里面写入Fruit的父类型对象。
所以我们可以从Java Collctions copy方法的签名可以看出
public static <T> void copy(List<? super T> dest, List<? extends T> src) {
dest集合持有?super T ,可以往里面写入所有T及其子类对象,而src集合持有? extends T泛型。可以确保的是从里面读取的数据都是T及其子类。所以可以写入dest了。
PS:Java 类的final方法和static不能复写
Reference
1:https://www.cnblogs.com/ygj09...
2: http://www.importnew.com/8966...