Java泛型中的PECS原则

今天在写代码的时候使用到了这样一个方法签名：

public void foo(Map<String, String> map);

在写这个参数的时候正好在想一些关于泛型的东西，因而:

public void foo(Map<? extends String, ? extends String> map);

这两种写法有什么区别呢？记得之前和同窗讨论过这个问题，但后来没有记下来，渐渐又淡忘了。今天又去翻了好多资料，总算找到一些能够参考的，赶忙记在这里方便之后温故知新啦。好了，言归正传，上面这个问题主要涉及的是Java泛型中重要的PECS法则。那么PECS是什么呢？

咱们知道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)

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