基于泛型的PECS原则

PECS(Producer Extends Consumer Super)原则： 第一、 频繁往外读取内容的，适合用 <? extends T >。 第二、 经常往里插入的，适合用<? super T>。

我们知道Java泛型可以有多种写法，主要是  extends  和  super  关键字。比如：

HashMap<T  extends  String>; HashMap<?  extends  String>; HashMap<T  super  String>; HashMap<?  super  String>;

? extends

List<Apple> apples =  new  ArrayList<Apple>(); List<?  extends  Fruit> fruits = apples;  //works, apple is a subclass of Fruit. fruits.add( new  Strawberry());         //compile error

fruits是一个Fruit的子类的List,由于Apple是Fruit的子类，因此将apples赋给fruits是合法的，但是编译器会阻止将Strawberry加入fruits。因为编译器只知道fruits是Fruit的某个子类的List，但并不知道究竟是哪个子类，为了类型安全，只好阻止向其中加入任何子类。那么可不可以加入Fruit呢？很遗憾，也不可以。事实上，不能够往一个使用了? extends的数据结构里写入任何的值。

但是，由于编译器知道它总是Fruit的子类型，因此我们总可以从中读取出Fruit对象：

Fruit fruit = fruits.get( 0 );

? super

List<Fruit> fruits =  new  ArrayList<Fruit>(); List<?  super  Apple> = fruits; fruits.add( new  Apple());                  //work fruits.add( new  RedApple());               //work fruits.add( new  Fruit());                  //compile error  fruits.add( new  Object());                 //compile error

这里的fruits是一个Apple的超类（父类,superclass）的List。同样地，出于对类型安全的考虑，我们可以加入Apple对象或者其任何子类（如RedApple）对象，但由于编译器并不知道List的内容究竟是Apple的哪个超类，因此不允许加入特定的任何超类型。

而当我们读取的时候，编译器在不知道是什么类型的情况下只能返回Object对象，因为Object是任何Java类的最终祖先类。

PECS原则总结

从上述两方面的分析，总结PECS原则如下：

如果要从集合中读取类型T的数据，并且 不能写入 ，可以使用 ? extends 通配符；(Producer Extends)

如果要从集合中写入类型T的数据，并且 不需要读取 ，可以使用 ? super 通配符；(Consumer Super)

如果既要存又要取，那么就不要使用任何通配符。