java pecs_JAVA的PECS原则

https://segmentfault.com/a/1190000017509439

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  void copy(List super T> dest, List extends T> src) {

dest集合持有？super T ，可以往里面写入所有T及其子类对象，而src集合持有？ extends T泛型。可以确保的是从里面读取的数据都是T及其子类。所以可以写入dest了。

PS:Java 类的final方法和static不能复写

Reference

标签：PECS,JAVA,原则,子类,Fruit,add,fruitList,泛型,new

来源： https://blog.csdn.net/qq_15037231/article/details/99997543