当前位置： 首页 > news >正文

【Java数据结构】泛型的进阶部分（泛型通配符）

news 来源：原创 2024/9/19 17:33:53

1.❤️❤️前言~🥳🎉🎉🎉

Hello, Hello~ 亲爱的朋友们👋👋，这里是E绵绵呀✍️✍️。

如果你喜欢这篇文章，请别吝啬你的点赞❤️❤️和收藏📖📖。如果你对我的内容感兴趣，记得关注我👀👀以便不错过每一篇精彩。

当然，如果在阅读中发现任何问题或疑问，我非常欢迎你在评论区留言指正🗨️🗨️。让我们共同努力，一起进步！

加油，一起CHIN UP！💪💪

🔗个人主页：E绵绵的博客
📚所属专栏：

1. JAVA知识点专栏

        深入探索JAVA的核心概念与技术细节

2.JAVA题目练习

        实战演练，巩固JAVA编程技能

3.c语言知识点专栏

        揭示c语言的底层逻辑与高级特性

4.c语言题目练习

        挑战自我，提升c语言编程能力

📘 持续更新中，敬请期待❤️❤️

借鉴的相关文章：Java 中的泛型（两万字超全详解）_java 泛型-CSDN博客

 

 2.泛型通配符

我们希望泛型能够处理某一类型范围的类型参数，比如某个泛型类和它的子类，为此 Java 引入了泛型通配符这个概念。

泛型通配符有 3 种形式：

  1. <?> ：被称作无限定的通配符。
  2. <? extends T> ：被称作有上界的通配符。
  3. <? super T> ：被称作有下界的通配符。

接下来将分别介绍 3 种形式的泛型通配符。

2.1上界通配符 <? extends T>

  <? extends T> 的定义 

上界通配符 <? extends T>：T 代表了类型参数的上界，<? extends T>表示类型参数的范围是 T 和 T 的子类。需要注意的是： <? extends T> 也是一个数据类型实参，它和 Number、String、Integer 一样都是一种实际的数据类型。

下面给个例子： 

public class GenericType {public static void main(String[] args) {  ArrayList<Number> list01 = new ArrayList<Integer>();// 编译错误ArrayList<? extends Number> list02 = new ArrayList<Integer>();// 编译正确}  
}

我们发现，ArrayList< Integer > 和 ArrayList< Number > 之间不存在继承关系，所以编译错误。而引入上界通配符的概念后，我们便可以用 ArrayList<? extends Number> 接收 ArrayList< Integer > 。

所以这也就意味着ArrayList<? extends T>能接收AraayList<T或T的子类>。

所以综上所述，ArrayList<? extends Number> 可以代表 ArrayList< Integer >、ArrayList< Float >、… 、ArrayList< Number >中的某一个集合，但是我们不能指定 ArrayList<? extends Number> 的数据类型。（这里有点难理解）

public class GenericType {public static void main(String[] args) {  ArrayList<? extends Number> list = new ArrayList<>();list.add(new Integer(1));// 编译错误list.add(new Float(1.0));// 编译错误}  
}

可以这样理解，ArrayList<? extends Number> 集合表示了：我这个集合可能是 ArrayList< Integer > 集合，也可能是 ArrayList< Float > 集合，… ，还可能是 ArrayList< Number > 集合；但到底是哪一个集合，不能确定；程序员也不能指定。

所以，在上面代码中，创建了一个 ArrayList<? extends Number> 集合 list，但我们并不能往 list 中添加 Integer、Float 等对象，这也说明了 list 集合并不是某个确定了数据类型的集合

思考：那既然 ArrayList<? extends Number> 可以代表 ArrayList< Integer > 或 ArrayList< Float >，为什么不能向其中加入 Integer、Float 等对象呢？

其原因是 ArrayList<? extends Number> 表示的是一个未知类型的 ArrayList 集合，它可以代表 ArrayList< Integer >或 ArrayList< Float >… 等集合，但却不能确定它到底是 ArrayList< Integer > 还是 ArrayList< Float > 集合。
因此，泛型的特性决定了不能往 ArrayList<? extends Number> 集合中加入 Integer 、 Float 等对象，以防止在获取 ArrayList<? extends Number> 集合中元素的时候，产生 ClassCastException 异常。

那为什么还需要引入上界统配符的概念？---- 答：是为了拓展方法形参中类型参数的范围。下面有个例子： 

// 改写前
public class PairHelper {static int addPair(Pair<Number> p) {Number first = p.getFirst();Number last = p.getLast();return first.intValue() + last.intValue();}
}// 改写后
public class PairHelper {static int addPair(Pair<? extends Number> p) {Number first = p.getFirst();Number last = p.getLast();return first.intValue() + last.intValue();}
}

在改写前，我们无法使 addPair(Pair< Number> p) 方法接收 Pair< Integer > 对象。而在有了上界通配符的概念后，这个问题便有了解决办法，就是将 <Number>改写为<? extends Number>。由于 Pair< Integer > 可以被 Pair<? extends Number>接收 ，所以就能调用 addPair() 方法，我们改写就成功了。

除了可以传入 Pair< Integer > 对象，我们还可以传入 Pair< Double > 对象，Pair< BigDecimal > 对象等等，因为 Double 类和 BigDecimal 类也都是 Number 的子类。

    <? extends T> 的用法

上面说到，我们无法确定 ArrayList<? extends Number> 具体是什么数据类型的集合，因此其 add() 方法会受限（即不能往集合中添加任何数据类型的对象）；但是可以往集合中添加 null，因为 null 表示任何类型。 

那我们该怎么办呢?以下是正确用法

上界通配符 <? extends T> 的正确用法： 

public class Test {public static void main(String[] args) {// 创建一个 ArrayList<Integer> 集合ArrayList<Integer> integerList = new ArrayList<>();integerList.add(1);integerList.add(2);// 将 ArrayList<Integer> 传入 printIntVal() 方法printIntVal(integerList);// 创建一个 ArrayList<Float> 集合ArrayList<Float> floatList = new ArrayList<>();floatList.add((float) 1.0);floatList.add((float) 2.0);// 将 ArrayList<Float> 传入 printIntVal() 方法printIntVal(floatList);}public static void printIntVal(ArrayList<? extends Number> list) {// 遍历传入的集合，并输出集合中的元素       for (Number number : list) {System.out.print(number.intValue() + " ");}System.out.println();}
}

 

在 printIntVal() 方法中，其形参为 ArrayList<? extends Number>，因此，可以给该方法传入 ArrayList< Integer >、ArrayList< Float > 等集合。

需要注意的是：在 printIntVal() 方法内部，必须要将传入集合中的元素赋值给Number 对象，而不能赋值给某个子类对象； 是因为根据 ArrayList<? extends Number> 的特性，并不能确定传入集合的数据类型（即不能确定传入的是 ArrayList< Integer > 还是 ArrayList< Float >）

假设在 printIntVal() 方法中存在下面代码：

  Integer intNum = (Integer) number;

若是传入集合为 ArrayList< Float >，则必然会产生ClassCastException 异常。

 下界通配符 <? super T> 的错误用法：

public class Test {public static void main(String[] args) {ArrayList<? extends Number> list = new ArrayList();list.add(null);// 编译正确list.add(new Integer(1));// 编译错误list.add(new Float(1.0));// 编译错误}public static void fillNumList(ArrayList<? extends Number> list) {list.add(new Integer(0));//编译错误list.add(new Float(1.0));//编译错误list.set(0, new Integer(2));// 编译错误list.set(0, null);// 编译成功，但不建议这样使用}
}

在 ArrayList<? extends Number> 集合中，不能添加任何数据类型的对象，只能添加空值 null，因为 null 可以表示任何数据类型。 

 <? extends T> 小结

一句话总结：使用 extends 通配符表示后该数据只可以读，不能写。

2.2下界通配符 <? super T>

 <? super T> 的定义

下界通配符 <? super T>：T 代表了类型参数的下界，<? super T>表示类型参数的范围是 T 和 T 的超类，直至 Object。需要注意的是： <? super T> 也是一个数据类型实参，它和 Number、String、Integer 一样都是一种实际的数据类型。

 下面给个例子：

public class GenericType {public static void main(String[] args) {  ArrayList<Integer> list01 = new ArrayList<Number>();// 编译错误ArrayList<? super Integer> list02 = new ArrayList<Number>();// 编译正确}  
}

我们发现，ArrayList< Integer > 和 ArrayList< Number > 之间不存在继承关系，所以编译错误。而引入上界通配符的概念后，我们便可以用 ArrayList<? super Number> 接收 ArrayList< Integer > 。

所以这也就意味着ArrayList<? super T>能接收AraayList<T或T的父类>。

ArrayList<? super Integer> 只能表示指定类型参数范围中的某一个集合，但我们不能指定 ArrayList<? super Integer> 的数据类型。（这里有点跟上界通配符一样难理解）

下面请看例子：

public class GenericType {public static void main(String[] args) {  ArrayList<? super Number> list = new ArrayList<>();list.add(new Integer(1));// 编译正确list.add(new Float(1.0));// 编译正确// Object 是 Number 的父类 list.add(new Object());// 编译错误}  
}

这里奇怪的地方出现了，为什么和ArrayList<? extends Number> 集合不同， ArrayList<? super Number> 集合中可以添加 Number 类及其子类的对象呢？

其原因是， ArrayList<? super Number> 的下界是 ArrayList< Number > 。因此，我们可以确定 Number 类及其子类的对象自然可以加入 ArrayList<? super Number> 集合中； 而 Number 类的父类对象就不能加入 ArrayList<? super Number> 集合中了，因为不能确定 ArrayList<? super Number> 集合的数据类型。

 <? super T> 的用法 

 下界通配符 <? super T> 的正确用法：

public class Test {public static void main(String[] args) {// 创建一个 ArrayList<? super Number> 集合ArrayList<Number> list = new ArrayList(); // 往集合中添加 Number 类及其子类对象list.add(new Integer(1));list.add(new Float(1.1));// 调用 fillNumList() 方法，传入 ArrayList<Number> 集合fillNumList(list);System.out.println(list);}public static void fillNumList(ArrayList<? super Number> list) {list.add(new Integer(0));list.add(new Float(1.0));}
}

 

与带有上界通配符的集合ArrayList<? extends T>只能添加null不同，带有下界通配符的集合ArrayList<? super Number> 中可以添加 Number 类及其子类的对象；ArrayList<? super Number>的下界就是ArrayList<Number>集合，因此，其中必然可以添加 Number 类及其子类的对象；但不能添加 Number 类的父类对象（不包括 Number 类）。

下界通配符 <? super T> 的错误用法：

public class Test {public static void main(String[] args) {// 创建一个 ArrayList<Integer> 集合ArrayList<Integer> list = new ArrayList<>();list.add(new Integer(1));// 调用 fillNumList() 方法，传入 ArrayList<Integer> 集合fillNumList(list);// 编译错误}public static void fillNumList(ArrayList<? super Number> list) {list.add(new Integer(0));// 编译正确list.add(new Float(1.0));// 编译正确// 遍历传入集合中的元素，并赋值给 Number 对象；会编译错误for (Number number : list) {System.out.print(number.intValue() + " ");System.out.println();}// 遍历传入集合中的元素，并赋值给 Object 对象；可以正确编译// 但只能调用 Object 类的方法，不建议这样使用for (Object obj : list) {System.out.println(obj);使用}}
}

注意，ArrayList<? super Number> 代表了 ArrayList< Number >、 ArrayList< Object > 中的某一个集合，而 ArrayList< Integer > 并不属于 ArrayList<? super Number> 限定的范围，因此，不能往 fillNumList() 方法中传入 ArrayList< Integer > 集合。

并且，不能将传入集合的元素赋值给 Number 对象，因为传入的可能是 ArrayList< Object > 集合，向下转型可能会产生ClassCastException 异常。

不过，可以将传入集合的元素赋值给 Object 对象，因为 Object 是所有类的父类，不会产生ClassCastException 异常，但这样的话便只能调用 Object 类的方法了，不建议这样使用。

 <? super T> 小结

一句话总结：使用 super 通配符表示可以写，但不能读。

 2.3无限定通配符 <?>

我们已经讨论了<? extends T>和<? super T>作为方法参数的作用。实际上，Java 的泛型还允许使用无限定通配符<?>，即只定义一个?符号。

​​​​​​​无界通配符<?>：? 代表了任何一种数据类，需要注意的是： <?> 也是一个数据类型实参，它和 Number、String、Integer 一样都是一种实际的数据类型。

例如ArrayList<?> 可以接收 ArrayList< Integer>、ArrayList< Number >、ArrayList< Object >中的某一个集合。

 举例如下：

public class GenericType {public static void main(String[] args) {ArrayList<Integer> list01 = new ArrayList<>(123, 456);ArrayList<?> list02 = list01; // 安全地向上转型}
}

上述代码是可以正常编译运行的，因为 ArrayList<?> 可以接收ArrayList< Integer 》

ArrayList<?> 既没有上界也没有下界，因此，它可以代表所有数据类型的某一个集合，但我们不能指定 ArrayList<?> 的数据类型。

public class GenericType {public static void main(String[] args) {ArrayList<?> list = new ArrayList<>();list.add(null);// 编译正确Object obj = list.get(0);// 编译正确list.add(new Integer(1));// 编译错误Integer num = list.get(0);// 编译错误}
}

ArrayList<?> 集合的数据类型是不确定的，因此我们只能往集合中添加 null；而我们从 ArrayList<?> 集合中取出的元素，也只能赋值给 Object 对象，不然会产生ClassCastException 异常（原因可以结合上界和下界通配符理解）

 3.<? extends T>与<? super T> 对比

（1）对于<? extends 类型>，编译器将只允许读操作，不允许写操作。即只可以取值，不可以设值。
（2）对于<? super 类型>，编译器将只允许写操作，不允许读操作。即只可以设值（比如 set 操作），不可以取值（比如 get 操作）。

以上两点都是针对于源码里涉及到了类型参数的方法而言的。

比如对于 List 而言，不允许的写操作有 add 方法，因为它的方法签名是boolean add(E e);，此时这个形参 E 就变成了一个涉及了通配符的类型参数；而不允许的读操作有 get 方法，因为它的方法签名是E get(int index);，此时这个返回值 E 就变成了一个涉及了通配符的类型参数。

4.总结 

所以我们泛型的进阶部分就结束了，把通配符讲完了，我们数据结构部分也就结束了。接下来将学习新的篇章——数据库，数据库会不会开一个新的专栏有待商酌。

在此，我们诚挚地邀请各位大佬们为我们点赞、关注，并在评论区留下您宝贵的意见与建议。让我们共同学习，共同进步，为知识的海洋增添更多宝贵的财富！🎉🎉🎉❤️❤️💕💕🥳👏👏👏  

 

相关文章：

  • 北京网站建设多少钱？
  • 辽宁网页制作哪家好_网站建设
  • 高端品牌网站建设_汉中网站制作
  • 数据挖掘顶会ICDM 2024论文分享┆MetaSTC：一种基于聚类和元学习的时空预测框架
  • JS获取页面中video标签视频的封面和时长
  • ctfshow-命令执行
  • nacos 安装 centos7 docker
  • Pytorch深度学习快速入门笔记【小土堆】
  • Linux基础环境搭建（CentOS7）- 虚拟机准备_搭建hadoop能使用桥接模式吗
  • HTML5中`＜area＞`标签深入全面解析
  • HS光流法原理与实现
  • 在职研生活学习--20240907
  • Verilog FPGA 仿真 控制任务
  • 开发中ostringstream，格式化输出的问题
  • 7.测试用例设计方法 + Bug
  • 系统性能分析工具sysstat之sar命令以及nginx中打开gzip使用配置gzip_http_version值为1.0和1.1时遇到的结果乱码问题
  • 创游系列开心娱乐完整组件
  • Gmtracker_深度学习驱动的图匹配多目标跟踪项目启动与算法流程
  • docker容器内的网络抓包
  • ES学习笔记(12)--Symbol
  • flask接收请求并推入栈
  • js作用域和this的理解
  • PHP的类修饰符与访问修饰符
  • V4L2视频输入框架概述
  • vue 配置sass、scss全局变量
  • 今年的LC3大会没了？
  • 名企6年Java程序员的工作总结，写给在迷茫中的你！
  • 前端面试之CSS3新特性
  • 适配iPhoneX、iPhoneXs、iPhoneXs Max、iPhoneXr 屏幕尺寸及安全区域
  • 小程序上传图片到七牛云（支持多张上传，预览，删除）
  • 译米田引理
  • （11）MSP430F5529 定时器B
  • (arch)linux 转换文件编码格式
  • （ISPRS，2021）具有遥感知识图谱的鲁棒深度对齐网络用于零样本和广义零样本遥感图像场景分类
  • (十三)MipMap
  • (四)opengl函数加载和错误处理
  • （一）Java算法：二分查找
  • .\OBJ\test1.axf: Error: L6230W: Ignoring --entry command. Cannot find argumen 'Reset_Handler'
  • .net 获取某一天 在当月是 第几周 函数
  • .NET 跨平台图形库 SkiaSharp 基础应用
  • @ 代码随想录算法训练营第8周（C语言）|Day57（动态规划）
  • [3300万人的聊天室] 作为产品的上游公司该如何？
  • [AIGC] Kong：一个强大的 API 网关和服务平台
  • [android]-如何在向服务器发送request时附加已保存的cookie数据
  • [CISCN 2019华东南]Web11
  • [DM复习]Apriori算法-国会投票记录关联规则挖掘（上）
  • [ESP32] 编码旋钮驱动
  • [EULAR文摘] 利用蛋白组学技术开发一项蛋白评分用于预测TNFi疗效
  • [HNOI2008]水平可见直线
  • [IE技巧] IE 中打开Office文件的设置
  • [IOI2007 D1T1]Miners 矿工配餐
  • [JAVASE] 异常 与 SE阶段知识点补充
  • [JS]Math.random()随机数的二三事
  • [leetcode hot 150]第二十三题，合并K个升序链表
  • [POJ1236]Network of Schools（并查集+floyd，伪强连通分量）
  • [RK3566-Android11] 使用iPhone14/15出现的蓝牙断开重连无声音问题
  • [RN] React Native 常用命令行
  • [SpringBoot] SpringBoot JDBC访问数据库