当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系

举报
阿Q说代码 发表于 2022/04/19 08:58:27 2022/04/19
【摘要】 泛型类或者接口并不会仅仅因为它们的类型之间有关系而变得相关,如果要达到相关,我们可以使用通配符来创建泛型类或接口之间的关系。

哈喽大家好,我是阿Q!

事情是这个样子的…

对话中的截图如下:

看了阿Q的解释,你是否也和“马小跳”一样存在疑问呢?请往👇看

我们都知道在java中,只要是类型兼容,就可以将一种类型的对象分配给另一种类型的对象。比如可以将一个Integer类型的对象分配给Object类型的对象,因为ObjectInteger的超类。

Object someObject = new Object();
Integer someInteger = new Integer(10);
someObject = someInteger; //OK

在面向对象中,我们把它称之为 is a 的关系。因为IntegerObject的一种子类,所以允许被赋值。

又因为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>类型的参数可以传入吗?

答案是否定的。

尽管IntegerNumber的子类型,但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>

因为IntegerNumber的子类型,numberBox的泛型是Number对象子类,所以在intBoxnumberBox之间存在关系。

图为用上限下限通配符声明的几个类之间的关系。

所以,“马小跳”的问题你会了吗?

阿Q将持续更新java实战方面的文章,感兴趣的可以关注下公众号:阿Q说代码,也可以来技术群讨论问题呦,点赞之交值得深交!

【版权声明】本文为华为云社区用户原创内容,转载时必须标注文章的来源(华为云社区)、文章链接、文章作者等基本信息, 否则作者和本社区有权追究责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

举报
请填写举报理由
0/200