Java中和的理解

意义不同

• ? extends T 表示上界是T
• ? super T 表示下界是T

1. 为什么要用通配符和边界？

使用泛型的过程中，经常出现一种很别扭的情况。比如按照题主的例子，我们有Fruit类，和它的派生类Apple类。

public class Apple extends Fruit{
}

public class Fruit {

}

然后我在main方法里创建实例对象：

逻辑上水果盘子当然可以装苹果，但实际上Java编译器不允许这个操作。会报错，“装苹果的盘子”无法转换成“装水果的盘子”。

Error:(9, 30) java: 不兼容的类型: com.generic.Plate无法转换为com.generic.Plate

实际上，编译器认定的逻辑是这样的：

• 苹果 IS-A 水果
• 装苹果的盘子 NOT-IS-A 装水果的盘子

所以，就算容器里装的东西之间有继承关系，但容器之间是没有继承关系的。所以我们不可以把Plate的引用传递给Plate.

为了让泛型用起来更舒服，Sun的大脑袋们就想出了和的办法，来让”水果盘子“和”苹果盘子“之间发生关系。

可以看出编译不再报错，程序正常运行。

? super T
这个也就不多解释了，上面的extend是说明实例对象必须是T的派生类。
则super则说明实例对象必须是T的基类。

PECS原则

PECS（Producer Extends Consumer Super）原则

• 频繁往外读取内容的，适合用上界Extends。
• 经常往里插入的，适合用下界Super。

以List为例
List 表示List中存放的都是T或者T的子类型

List foo = new ArrayList();
List foo = new ArrayList();
List foo = new ArrayList();

foo确定了上界，所以可以从foo中读取到Number对象
而不知道下界，所以foo可能是存储Number子类型的List，不能写入Number对象，同时不知道是哪一种子类型（Integer写Double或Double写Integer），所以写哪一种对象都是不合适的。
List表示List中存放的都是T或者T的父类型

List foo = new ArrayList();
List foo = new ArrayList();
List foo = new ArrayList