当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢
Posted CSDN云计算
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢相关的知识,希望对你有一定的参考价值。
作者 | 阿Q
来源 | 阿Q说代码
事情是这样的:
对话中的截图如下:
看了阿Q的解释,你是否也和“马小跳”一样存在疑问呢?请往👇看
我们都知道在java
中,只要是类型兼容,就可以将一种类型的对象分配给另一种类型的对象。比如可以将一个Integer
类型的对象分配给Object
类型的对象,因为Object
是Integer
的超类。
Object someObject = new Object();
Integer someInteger = new Integer(10);
someObject = someInteger; //OK
在面向对象中,我们把它称之为 is a 的关系。因为Integer
是Object
的一种子类,所以允许被赋值。
又因为Integer
也是Number
的一种子类,所以下边的代码也是有效的:
public void someMethod(Number n) /* ... */
someMethod(new Integer(10)); // OK
someMethod(new Double(10.1)); // OK
当然泛型也是如此,在执行泛型类型调用时,将Number
作为其类型参数传递,如果参数是Number
的子类型,则允许任何后续的add
调用:
Box<Number> box = new Box<Number>();
box.add(new Integer(10)); // OK
box.add(new Double(10.1)); // OK
现在我们来看以下代码:
public void boxTest(Box<Number> n) /* ... */
该方法接收什么类型的参数呢?
通过该方法,大家肯定知道它的参数类型为Box<Number>
,但是大家思考一个问题:你认为Box<Integer>
和Box<Double>
类型的参数可以传入吗?
答案是否定的。
尽管Integer
是Number
的子类型,但Box<Integer>
和Box<Double>
不是Box<Number>
的子类,它俩的父类对象是Object
。文首的对话表达的就是这个意思。
那么问题来了,当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢?例如如何让Box<Integer>
和Box<Double>
变得与Box<Number>
有关呢?
为了搞懂这个问题,我们先来了解一下同一类型的对象是如何实现子类型化的吧。
通过分析源码我们可以发现:ArrayList<E>
实现了 List<E>
,List<E>
继承了Collection<E>
,所以ArrayList<String>
是List<String>
的子类型, List<String>
是 Collection<String>
的子类型。因此当我们在传递参数时,ArrayList<String>
类型的是可以给List<E>
或者Collection<E>
传递的。
只要不改变类型参数,类型之间的子类型关系就会保留。
如果我们想要定义我们自己的列表接口PayloadList
,使得泛型类型P的可选值与每个元素相关联,可以定义如下:
interface PayloadList<E,P> extends List<E>
void setPayload(int index, P val);
...
则PayloadList<String,String>
、PayloadList<String,Integer>
、PayloadList<String,Exception>
都是List<String>
的子类型。
小结:可以通过继承泛型类或者实现接口来对其进行子类型化。
搞懂了子类型化的问题,我们回到“如何在两个泛型类之间创建类似子类型的关系“的问题。
泛型类或者接口并不会仅仅因为它们的类型之间有关系而变得相关,如果要达到相关,我们可以使用通配符来创建泛型类或接口之间的关系。
Box<Integer>
和Box<Number>
的父类对象其实是Box<?>
为了在这些类之间创建关系,以便代码可以通过Box<Integer>
访问Box<Number>
的方法,可以使用上限通配符:
Box<? extends Integer> initBox = new Box<>();
Box<? extends Number> numberBox = initBox;
// OK. Box<? extends Integer> is a subtype of Box<? extends Number>
因为Integer
是Number
的子类型,numberBox
的泛型是Number
对象子类,所以在intBox
和numberBox
之间存在关系。
图为用上限和下限通配符声明的几个类之间的关系。
往期推荐
三分钟教你用 Scarlet 写一个 WebSocket App
点分享
点收藏
点点赞
点在看
以上是关于当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢的主要内容,如果未能解决你的问题,请参考以下文章