Java的泛型是伪泛型,那是因为泛型信息只存在于代码编译阶段,在生成的字节码中是不包含泛型中的类型信息的,使用泛型的时候加上类型参数,在编译器编译的时候会去掉,这个过程为类型擦除,这篇文章主要介绍了Java 泛型中的通配符,需要
本文内容如下:
1、 什么是类型擦除
2、常用的 ?, T, E, K, V, N的含义
3、上界通配符 < ?extends E>
4、下界通配符 < ?super E>
5、什么是PECS原则
6、通过一个案例来理解 ?和 T 和 Object 的区别
一、什么是类型擦除?
我们说Java的泛型是伪泛型,那是因为泛型信息只存在于代码编译阶段,在生成的字节码中是不包含泛型中的类型信息的,使用泛型的时候加上类型参数,在编译器编译的时候会去掉,这个过程为类型擦除。
泛型是Java 1.5版本才引进的概念,在这之前是没有泛型的,但是因为类型擦除特性,让泛型代码能够很好地和之前版本的代码兼容。
我们来看个案例
(图1)
因为这里泛型定义为Integer类型集合,所以添加String的时候在编译时期就会直接报错。
那是不是就一定不能添加了呢?答案是否定的,我们可以通过Java泛型中的类型擦除特点及反射机制实现。
如下
运行结果
list = [6, 欢迎关注:后端元宇宙]
二、案例实体准备
这里先建几个实体,为后面举例用
Animal类
Pig类
:Pig是Animal的子类
Dog类
: Dog也是Animal的子类
三、常用的 ?, T, E, K, V, N的含义
我们在泛型中使用通配符经常看到T、F、U、E,K,V其实这些并没有啥区别,我们可以选 A-Z 之间的任何一个字母都可以,并不会影响程序的正常运行。
只不过大家心照不宣的在命名上有些约定:
- T (Type) 具体的Java类
- E (Element)在集合中使用,因为集合中存放的是元素
- K V (key value) 分别代表java键值中的Key Value
- N (Number)数值类型
- ? 表示不确定的 Java 类型
四、上界通配符 < ? extends E>
语法:<? extends E>
举例:<? extends Animal> 可以传入的实参类型是Animal或者Animal的子类
两大原则
add
:除了null之外,不允许加入任何元素!get
:可以获取元素,可以通过E或者Object接受元素!因为不管存入什么数据类型都是E的子类型
示例
五、下界通配符 < ? super E>
语法: <? super E>
举例 :<? super Dog> 可以传入的实参的类型是Dog或者Dog的父类类型
两大原则
add
:允许添加E和E的子类元素!get
:可以获取元素,但传入的类型可能是E到Object之间的任何类型,也就无法确定接收到数据类型,所以返回只能使用Object引用来接受!如果需要自己的类型则需要强制类型转换。
示例
六、什么是PECS原则?
PECS原则:生产者(Producer)使用extends,消费者(Consumer)使用super。
原则
- 如果想要获取,而不需要写值则使用" ? extends T "作为数据结构泛型。
- 如果想要写值,而不需要取值则使用" ? super T "作为数据结构泛型。
示例-
示例二
Collections集合工具类有个copy方法,我们可以看下源码,就是PECS原则。
我们按照这个源码简单改造下
运行结果
dest = [Animal(name=黑猪, color=黑色), Animal(name=花猪, color=花色)]
七、通过一个案例来理解 ?和 T 和 Object 的区别
1、实体转换
我们在实际开发中,经常进行实体转换,比如SO转DTO,DTO转DO等等,所以需要一个转换工具类。
如下示例
使用工具类示例
这是一个很好的例子,从这个例子中我们可以去理解 ?和 T 和 Object的使用场景。
我们先以集合转换
来说
首先其实我们并不关心传进来的集合内是什么对象,我们只关系我们需要转换的集合内是什么对象,所以我们传进来的集合就可以用List<?>
表示任何对象的集合都可以。
返回呢,这里指定的是Class<T>,也就是返回最终是List<T>
集合。
再以实体转换
方法为例
同样的,我们并不关心源对象是什么,我们只关心需要转换的对象,只需关心需要转换的对象为T
。
那为什么这里用Object上面用?呢,其实上面也可以改成List<Object> list
,效果是一样的,上面List<?> list
在遍历的时候最终不就是用Object接收的吗
?和Object的区别
?类型不确定和Object作用差不多,好多场景下可以通用,但?可以缩小泛型的范围,如:List<? extends Animal>,指定了范围只能是Animal的子类,但是用List<Object>
,没法做到缩小范围。
总结
- 只用于读功能时,泛型结构使用<? extends T>
- 只用于写功能时,泛型结构使用<? super T>
- 如果既用于写,又用于读操作,那么直接使用<T>
- 如果操作与泛型类型无关,那么使用<?>
到此这篇关于Java 泛型中的通配符的文章就介绍到这了,更多相关Java 泛型通配符内容请搜索编程学习网以前的文章希望大家以后多多支持编程学习网!