今天在写代码的时候使用到了这样一个方法签名：publicvoidfoo(Mapmap);
在写这个参数的时候正好在想一些关于泛型的东西，于是:publicvoidfoo(MapextendsString,?extendsString>map);
这两种写法有什么区别呢？记得以前和同学讨论过这个问题，但后来没有记下来，渐渐又淡忘了。今天又去翻了好多资料，总算找到一些可以参考的，赶紧记在这里方便以后温故知新啦。好了，言归正传，上面这个问题主要涉及的是Java泛型中重要的PECS法则。那么PECS是什么呢？
我们知道Java泛型可以有多种写法，主要是 extends 和 super关键字。比如：HashMap;
HashMapextendsString>;
HashMap;
HashMapsuperString>;
? extendsListapples=newArrayList();
ListextendsFruit>fruits=apples;//works,appleisasubclassofFruit.
fruits.add(newStrawberry());//compileerror
fruits是一个Fruit的子类的List,由于Apple是Fruit的子类，因此将apples赋给fruits是合法的，但是编译器会阻止将Strawberry加入fruits。因为编译器只知道fruits是Fruit的某个子类的List，但并不知道究竟是哪个子类，为了类型安全，只好阻止向其中加入任何子类。那么可不可以加入Fruit呢？很遗憾，也不可以。事实上，不能够往一个使用了? extends的数据结构里写入任何的值。
但是，由于编译器知道它总是Fruit的子类型，因此我们总可以从中读取出Fruit对象：Fruitfruit=fruits.get(0);
? superListfruits=newArrayList();
ListsuperApple>=fruits;
fruits.add(newApple());//work
fruits.add(newRedApple());//work
fruits.add(newFruit());//compileerror
fruits.add(newObject());//compileerror
这里的fruits是一个Apple的超类(父类,superclass)的List。同样地，出于对类型安全的考虑，我们可以加入Apple对象或者其任何子类(如RedApple)对象，但由于编译器并不知道List的内容究竟是Apple的哪个超类，因此不允许加入特定的任何超类型。
而当我们读取的时候，编译器在不知道是什么类型的情况下只能返回Object对象，因为Object是任何Java类的最终祖先类。
PECS原则总结
从上述两方面的分析，总结PECS原则如下：
如果要从集合中读取类型T的数据，并且不能写入，可以使用 ? extends 通配符；(Producer Extends)
如果要从集合中写入类型T的数据，并且不需要读取，可以使用 ? super 通配符；(Consumer Super)
如果既要存又要取，那么就不要使用任何通配符。
如果觉得《pecs_Java泛型中的PECS原则》对你有帮助，请点赞、收藏，并留下你的观点哦！
