Java泛型extends和super的区别

1.  <? extends T>：是指 “上界通配符（Upper Bounds Wildcards）”

2. <? super T>：是指 “下界通配符（Lower Bounds Wildcards）”

先举个栗子：

我们有一个Fruit类，同时还有 Apple 类 和 Orange 类 ，其中 Apple Orange 继承 于Fruilt

我们再有一个篮子类：

public class Plate<T> { private T item; public T getItem() { return item; } public void setItem(T item) { this.item = item; }}

Plate<? extends Fruit> plate =new Plate<Fruit>(); plate.setItem(new Fruit()); //编译错误 Fruit fruit = plate.getItem();

为什么不可以set 但是可以 get 呢？

首先，泛型的出现时为了安全，所有与泛型相关的异常都应该在编译期间发现，因此为了泛型的绝对安全，java在设计时做了相关的限制：

Plate<? extends Fruit> 表示 只能往篮子中存放Fruit的子类型（包含Fruit本身）， 由于Fruit的子类型可能有很多，但是我们存放元素时实际上只能存放其中的一种子类型（这是为了泛型安全，因为其会在编译期间生成桥接方法 <Bridge Methods> 该方法中会出现强制转换，若出现多种子类型，则会强制转换失败）

上例中添加的元素类型不止一种，这样编译器强制转换会失败，为了安全，Java只能将其设计成不能添加元素。

虽然 Plate<? extends Fruit> 不能添加元素，但是由于其中的元素都有一个共性--有共同的父类，因此我们在获取元素时可以将他们统一强制转换为Fruit类型，我们称之为 get原则。

我们再看下面的例子

Plate<? super Apple> plate = new Plate<Apple>(); plate.setItem(new Fruit()); //编译错误 ----只能添加Apple的子类和本身 plate.setItem(new Apple()); plate.getItem();

我们知道 Plate<？ super Apple> 泛型规定了下限 ，apple的父类（包含本身）。但这种泛型容器只能添加Apple的子类。

往Plate中添加是可以成功的，也叫put原则。但取的时候，不知道它是什么类型。都默认成Object去取。