PECS原则

Producer Extends Consumer Super

如果参数化类型表示一个生产者，就使用<? extends T>；如果它表示一个消费者，就使用<? super T>

个人理解

在阅读阿里巴巴Java开发手册时看到这个原则,于是就学习了一番.
个人认为这个原则重点的地方在于理解List<? extends Fruit>和List<? super Apple>中的 ? 代表的意思.

在List<? extends Fruit>的泛型集合中,对于元素的类型,编译器只能知道元素是继承自Fruit,具体是Fruit的哪个子类,这是无法知道的,所以向一个无法知道具体类型的泛型集合中插入元素是不能通过编译的.但是,由于知道元素是继承自Fruit,所以从这个泛型集合中取Fruit类型的元素是可以的.

在List<? super Apple>的泛型集合中,元素的类型是Apple的父类,但无法知道是哪个具体的父类,因此读取元素时无法确定以哪个父类进行读取.插入元素时,可以插入Apple与Apple的子类,因为这个集合中的元素都是Apple的父类.

总结

只读不可写时,使用List<? extends Fruit>:Producer
只写不可读时,使用List<? super Apple>:Consumer

参考

Java泛型中的PECS原则
Java 泛型: 什么是PECS（Producer Extends, Consumer Super）