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 <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...

上一篇:java泛型-PECS


下一篇:What is PECS (Producer Extends Consumer Super)?