浅显理解Java泛型的super和extends

本文解析了Java泛型中的通配符List<? extends T>和List<? super T>的含义与使用方法,通过实例详细解释了它们在add和get操作上的行为差异。

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

概念简单理解

  • List<? extends T>表示该集合中存在的都是类型T的子类,包括T自己

  • List<? super T>表示该集合中存的都是类型T的父类,包括T自己

代码样例解读

父子类代码:

/**
 * 生物
 */
static class Biological{
}

/**
 * 动物
 */
static class Animal extends Biological{
}

/**
 * 植物
 */
static class Plant extends Biological{
}


static class Dog extends Animal{
}

static class Cat extends Animal{
}

static class Flower extends Plant{
}

static class Tree extends Plant{
}

关系图:

fanxing

测试代码:

public static void main(String[] args) {

    List<? super Animal> listA = new ArrayList<>();
    List<? extends Plant> listB = new ArrayList<>();

    //listA.add(new Biological());  
    listA.add(new Animal());
    listA.add(new Dog());
    //listA.add(new Flower());
    Object object = listA.get(0);

    //listB.add(new Plant());
    //listB.add(new Flower());
    listB.add(null);
    Plant plant = listB.get(0);

}

关于List<? super T>

add方面

List<? super Animal> listA = new ArrayList<>();
listA.add(new Biological());  

执行上面这行代码是不允许的,因为listA的集合类型是Animal或者更高的父类,想一下如果代表的类型是Animal,那怎么允许add它的父类Biological呢?当然不允许了。

listA.add(new Animal());
listA.add(new Dog());

执行上面这两句就是可以正常执行的,因为无论是Animal还是Animal的子类Dog,都是可以存到集合类型是Animal或者更高的父类的集合中的。有点拗口,不过就是这个意思。

listA.add(new Flower());

添加Flower当然是不可以的,因为它不是Animal的子类。

返回值方面

Object object = listA.get(0);

因为listA的集合类型是Animal或者更高的父类,所以不清楚到底会是哪个类,但是我们都应该清楚所有类的父类都是Object,所以返回值是Object类型的。

关于List<? extendsT>

add方面

List<? extends Plant> listB = new ArrayList<>();
listB.add(new Plant());

执行上面的代码是不允许的,因为listB的集合类型是Plant或Plant的子类,想一下如果代表的类型是Plant的子类Tree,那么怎么可能可以add它的父类Plant呢?所以跟上面的那个理解差不多,就是反过来理解。看图可以更加清晰。

listB.add(new Flower());

这个同理,如何代表的类型是Flower的子类Rose(玫瑰花),这样当然不可以add它的父类Flower了。

listB.add(null);

特殊情况就是这个,可以add null,但是也没意义啊。

返回值方面

Plant plant = listB.get(0);

因为listB的集合类型是Plant或者它的子类,所以不清楚到底会是哪个类,但是我们可以知道,最高的类型就是Plant了,所以返回值就是Plant类型的。

总结

  • List<? super T>表示该集合中存的都是类型T的父类,包括T自己

    • add:只能添加T及T的子类

    • get:get返回的对象类型为Object

  • List<? extends T>表示该集合中存在的都是类型T的子类,包括T自己

    • add:不能add任何对象(特例:可以添加null)

    • get:get返回的对象类型为T

版权声明:
原创博主:牛哄哄的柯南
博主原文链接:https://keafmd.blog.csdn.net/

看完如果对你有帮助,感谢点击下面的一键三连支持!
[哈哈][抱拳]

请添加图片描述在这里插入图片描述
加油!

共同努力!

Keafmd

评论 30
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

牛哄哄的柯南

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值