浅显理解Java泛型的super和extends

简介: 浅显理解Java泛型的super和extends

概念简单理解


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{
}

关系图:

1.png



测试代码:


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

相关文章
|
2月前
|
Java
Java关键字 —— super 详细解释!一看就懂 有代码实例运行!
文章详细解释了Java关键字`super`的用途,包括访问父类的成员变量、调用父类的构造方法和方法,并提供了相应的代码实例。
146 5
Java关键字 —— super 详细解释!一看就懂 有代码实例运行!
|
2月前
|
Java API
[Java]泛型
本文详细介绍了Java泛型的相关概念和使用方法,包括类型判断、继承泛型类或实现泛型接口、泛型通配符、泛型方法、泛型上下边界、静态方法中使用泛型等内容。作者通过多个示例和测试代码,深入浅出地解释了泛型的原理和应用场景,帮助读者更好地理解和掌握Java泛型的使用技巧。文章还探讨了一些常见的疑惑和误区,如泛型擦除和基本数据类型数组的使用限制。最后,作者强调了泛型在实际开发中的重要性和应用价值。
36 0
[Java]泛型
|
2月前
|
存储 安全 Java
🌱Java零基础 - 泛型详解
【10月更文挑战第7天】本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,希望能够助你一臂之力,帮你早日登顶实现财富自由🚀;同时,欢迎大家关注&&收藏&&订阅!持续更新中,up!up!up!!
18 1
|
2月前
|
Java 语音技术 容器
java数据结构泛型
java数据结构泛型
27 5
|
2月前
|
存储 Java 编译器
Java集合定义其泛型
Java集合定义其泛型
19 1
|
2月前
|
存储 Java 编译器
【用Java学习数据结构系列】初识泛型
【用Java学习数据结构系列】初识泛型
22 2
|
2月前
|
Java
Java关键字 —— super 与 this 详细解释!一看就懂 有代码实例运行!
本文介绍了Java中this和super关键字的用法,包括在构造方法中使用this来区分参数和成员变量、使用super调用父类构造方法和方法,以及它们在同一个方法中同时使用的场景。
142 0
Java关键字 —— super 与 this 详细解释!一看就懂 有代码实例运行!
|
2月前
|
安全 Java 编译器
Java基础-泛型机制
Java基础-泛型机制
17 0
|
2月前
|
Java
【Java】什么是泛型?什么是包装类
【Java】什么是泛型?什么是包装类
22 0
|
2月前
|
Java 程序员 编译器
【Java】继承、super、final、子类构造方法
【Java】继承、super、final、子类构造方法
36 0