最近看《Java编程思想》看到第15章泛型,关于extends和super表示边界我想了很久终于搞懂了,写下来作为总结吧。
先说说<? extends T>吧,写几个直观的代码。
class Fruit{}
class Apple extends Fruit{}
class Jonathan extends Apple{}
class Orange extends Fruit{}
List<? extends Fruit> list1 = new ArrayList<Fruit>();
List<? extends Fruit> list2 = new ArrayList<Apple>();
List<? extends Fruit> list3 = new ArrayList<Jonathan>();
则List<? extends Fruit>类型的对象可以引用持有Fruit及其子类的容器,所以Fruit为上界;因此对于List<? extends Fruit>类型的对象,其add方法是有所限制的。因为,在没有看到list1,list2和list3所具体引用的对象时,我们是无法知道它们到底是引用了Fruit类型的容器,还是Fruit的子类型,如:
void add(List<? extends Fruit> list, Apple a){
list.add(a);
}
像这样,我们无法知道list所引用的是一个带有何种泛型类型的容器,如果list引用的是持有Jonathan类型的容器,那么将Apple类型向下转型是不安全的,所以用List<? extends Fruit>,add方法是受到限制的,即无法向容器中添加任何实际的类型除了null。
再来看看<? super Jonathan>
List<? super Jonathan> list4 = new ArrayList<Jonathan>();
List<? super Jonathan> list5 = new ArrayList<Apple>();
则List<? super Jonathan>类型的对象可以引用持有Jonathan及其父类的容器,所以Jonathan为下界,此时add方法是没有限制的,但是也只能是添加Jonathan及其子类型。因为Jonathan是下界,若事先不知道List<? super Jonathan>引用的对象所持有的类型,则可以做到向上转型,而向上转型是安全的。