Java泛型之上界下界通配符详解

2023-08-21 09:14:04 77

泛型，继承和子类

如你所知，只要类型兼容，就可以将一种类型的对象分配给另一种类型的对象。例如，你可以指定一个整数一个对象，因为对象是一个整数的超类型：

ObjectsomeObject=newObject（）;
IntegersomeInteger=newInteger（10）;
someObject=someInteger;//好

在面向对象的术语中，这被称为“是一种”关系。由于Integer是一种Object，因此允许赋值。但是Integer也是一种Number，所以下面的代码也是有效的：

publicvoidsomeMethod（Numbern）{/*...*/}
someMethod（newInteger（10））;//好
someMethod（newDouble（10.1））;//好

泛型也是如此。您可以执行泛型类型调用，将Number作为其类型参数传递，如果参数与Number兼容，则允许任何后续的add调用：

Boxbox=newBox（）;
box.add（newInteger（10））;//好
box.add（newDouble（10.1））;//好

现在考虑以下方法：

publicvoidboxTest（Boxn）{/*...*/}

它接受什么类型的论据？通过查看其签名，您可以看到它接受一个类型为Box的参数。但是，这是什么意思？您是否可以按照您的预期传递Box或Box？答案是“否”，因为Box和Box不是Box的子类型。

这是在使用泛型编程时一个常见的误解，也是一个需要学习的重要概念。

Box不是Box的子类型，即使Integer是Number的子类型。

注意：给定两个具体类型A和B（例如，Number和Integer），MyClass与MyClass无关，无论A和B是否相关。MyClass和MyClass的公共父是Object。

有关如何在类型参数相关时在两个泛型类之间创建类似子类型关系的信息，请参阅下面的通配符和子类型一节。

泛型类和子类型化

您可以通过扩展(extends)泛型类或实现(implements)泛型接口来对其进行子类型化。一个类或接口的类型参数与另一个类或接口的类型参数之间的关系由extends和implements子句确定。

使用Collections类作为示例，ArrayList实现List，List扩展Collection。所以ArrayList是List的子类型，它是Collection的子类型。只要不改变类型参数，就会在类型之间保留子类型关系。

显示Collection层次结构示例的图表：ArrayList是List的子类型，二者都是Collection的子类型。

现在假设我们想要定义我们自己的列表接口PayloadList，它将可选值泛型类型参数P的与每个元素相关联。它的声明可能如下：

interfacePayloadListextendsList{ voidsetPayload(intindex,Pval); ... }

PayloadList的以下参数化是List的子类型：

PayloadList PayloadList PayloadList

PayLoadList层次结构的示意图：PayloadList是List的子类型，它是Collection的子类型。在PayloadList的相同级别是PayloadList和PayloadList。

通配符和子类型

如泛型，继承和子类一节中所述，泛型类之间或接口之间几乎并不因它们的类型参数而相关。但是，您可以使用通配符在泛型类或接口之间创建关系。

给定以下两个常规（非泛型）类：

classA{/*...*/} classBextendsA{/*...*/}

编写以下代码是合理的：

Bb=newB（）; Aa=b;

此示例显示常规类的继承遵循此子类型规则：如果B扩展A，则类B是类A的子类型。此规则不适用于泛型类型：

Listlb=newArrayList<>(); Listla=lb;//编译时错误

鉴于Integer是Number的子类型，List和List之间的关系是什么？

尽管Integer是Number的子类型，但List不是List的子类型，实际上，这两种类型不相关。List和List的公共父是List。

上界(extends)的通配符与下界(super)通配符

为了在这些类之间创建关系以便代码可以通过List的元素访问Number的方法，请使用上界的通配符：

ListintList=newArrayList<>(); ListnumList=intList;//OK,List<？extendsInteger>是List的子类型

因为Integer是Number的子类型，而numList是Number对象的列表，所以intList（是一个Integer对象列表）和numList之间现在存在关系。下图显示了使用上限和下限通配符声明的多个List类之间的关系。

通配符使用指南

学习使用泛型编程时，更令人困惑的一个方面是确定何时使用上限有界通配符以及何时使用下限有界通配符。本文提供一些设计代码时要遵循的一些准则。

为讨论方便，认为变量具备两个功能：

一个“In”变量

“in”变量向代码提供数据。想象一下带有两个参数的复制方法：copy（src，dest）。该SRC参数提供的数据被复制，因此它是“in”参数。

一个“Out”变量
“out”变量保存数据以供其他地方使用。在复制示例中，copy（src，dest），dest参数接受数据，因此它是“out”参数。

当然，一些变量既用于“in”又用于“out”目的-这种情况也在本文中也用到了。

在决定是否使用通配符以及适合使用哪种类型的通配符时，可以使用“in”和“out”原则。以下列表提供了遵循的准则：

通配符指南：

使用extends关键字,定义带有上界通配符的“in”变量。

使用super关键字，使用下界通配符定义“out”变量。

在可以使用Object类中定义的方法访问“in”变量的情况下，使用无界通配符。

在代码需要作为“in”和“out”变量访问变量的情况下，不要使用通配符。

这些指南不适用于方法的返回类型。应该避免使用通配符作为返回类型，因为它强制程序员使用代码来处理通配符。

List可以被非正式地认为是只读的，但这不是一个严格的保证。假设您有以下两个类：

classNaturalNumber{ privateinti; publicNaturalNumber(inti){this.i=i;} //... } classEvenNumberextendsNaturalNumber{ publicEvenNumber(inti){super(i);} //... }

请考虑以下代码：

Listle=newArrayList<>(); Listln=le; ln.add(newNaturalNumber(35));//compile-timeerror//编译时错误

因为List是List，您可以赋值le给ln。但是你不能使用ln将自然数添加到偶数列表中。列表中的以下操作是可能的：

您可以添加null。

你可以调用清除。

您可以获取迭代器并调用remove。

您可以捕获通配符并写入从列表中读取的元素。

你可以看到List在严格意义上不是只读的，但您可能会这样想，因为您无法存储新元素或更改列表中的现有元素。

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持毛票票。

上一篇
pyqt5对用qt designer设计的窗体实现弹出子窗口的示例下一篇
python 读写excel文件操作示例【附源码下载】

热门推荐

1 毛坯房验收经验和常识看了之后再验房心里有底

2 二手房收房如何交接二手房收房注意问题

3 专业验收毛坯房的价格商品房验收合格的标准

4 精装房怎么验收精装房请验房师有用吗

5 一般要到哪里找验房师验房师有哪些作用呢

6 请人验房一般是多少钱验房师费用是多少

7 怎样测量房子面积建筑面积和使用面积怎么算

8 收房需要注意什么仔细检查不松懈

9 收房时三书一证一表是什么主要作用介绍

10 交房时交房税费有哪些本文为你一一讲解

11 验房都需要验什么要做哪些准备呢

12 毛坯房验房师有必要请吗毛坯房装修完如何验收

13 地下室防水工程质量验收规范详解

14 水性涂料、油性涂料区别介绍

15 零基础布艺DIY工坊教你做超萌猫头鹰钥匙包

16 三棵树漆怎么样？三棵树漆官方网站

17 家庭“装修套餐”中猫腻你知道吗？

18 小空间大浴望卫浴间装修巧支招

Java泛型之上界下界通配符详解

热门推荐

随机推荐