范型类如何实现上下转型

最新推荐文章于 2022-08-09 16:38:23 发布

noodles_mee

最新推荐文章于 2022-08-09 16:38:23 发布

阅读量590

点赞数

分类专栏： java基础文章标签： java 开发语言

本文链接：https://blog.csdn.net/huhu123444/article/details/124516596

版权

5 篇文章 0 订阅

订阅专栏

本文深入探讨了Java中的上转型和下转型，以及在范型中如何使用<? extends T>和<? super T>实现上下转型。同时，解释了协变和逆变的概念，展示了它们在Java范型中的应用。通过示例代码，阐述了范型通配符<?>如何支持同时的协变和逆变，以增强代码的灵活性和兼容性。

摘要由CSDN通过智能技术生成

1 Java上转型和下转型

Java上转型： 子类引用的对象转为父类，可以实现自动转型；
Java下转型： 父亲类引用的对象转为子类，需要进行强制转换。
首先JDK中的数组也是范型，可以进行类似向上的转型，例如：

Animal[] animals = new Animal[10] ; 
animals. = new Dog[10];//Dog 是Animal的子类。

但如下操作却不允许

List<Object> list = new ArrayList<>;
list = new ArrayList<String>();//

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

对于范型的向上下转型，更专业称呼叫协变和逆变。斜变和逆变在物理中被普遍使用，描述了一个物理量伴随坐标系变化而发生的变化。在Java范型逆变和协变描述了范型中真实类型发生变化后，范型类引用的兼容关系。设A、B确切类型，f(.)表示范型类，A<=B表示A是B的子类，那么存在：

A <=B: f(A) <= f(B);
A<= B: f(A) >= f(B)

同时java范型通配符<?>可以支持范型同时支持逆变和协变：

List<?> list = new ArrayList<Number>();
list = new ArrayList<Integer>();
list = new ArrayList<Object>();

关注

专栏目录