Java泛型的边界问题

本文详细解析了Java泛型中的extends和super表示边界的概念,通过具体代码实例展示了如何使用List<?extendsT>和List<?superT>来引用持有特定类型及其子类型或父类型的容器,以及add方法的限制。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

最近看《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>引用的对象所持有的类型,则可以做到向上转型,而向上转型是安全的。

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值