-
再谈Java泛型
一.类型参数的约束
我们可以对泛型传进来的参数做一些约束，比如说
用extends表明传进来的参数类型必须是必须是某个类型的子类型或者本身
当然也可以用接口约束，也是用extends表明传进来的参数类型必须实现某个接口。用&连接，注意class需要写在接口前面
但是在类的泛型声明中不能使用super
因为泛型擦除后变为
二.泛型方法
在返回类型的前面加上泛型就可以定义泛型方法，泛型方法参数中可以使用泛型
需要注意下面的并不是泛型方法，只是使用了类中的泛型而已
三.泛型不支持协变
协变，逆变，抗变等概念是从数学中来的，描述的是两个类型集合之间的继承关系。
Animal、Dog , Dog extends Animal
第一个集合为：List
第二个集合为：List
- 协变(Covariance)：List
是List 的子类型 - 逆变(Contravariance): List
是List 的子类型 - 抗变(Invariant): List
与List 二者间没有任何继承关系
由于泛型不支持协变，所以下面这样传参是不可以的
但数组是默认支持协变的
四.通配符
事实上，我们可以用通配符?来解决刚才的问题，?会匹配所有的类型
当然我们可以用extends固定它的上界
也可以用super固定它的下界
- 协变(Covariance)：List
-
相关阅读:
pytest 的使用===谨记
JavaScript基础
自定义镜像运行Nginx及Java服务并基于NAS实现动静分离
优雅而高效的JavaScript——模板字面量
Hi3861 OpenHarmony嵌入式应用入门--鸿蒙开发环境搭建
Docker 部署常用应用（持续更新中）
尚硅谷ES6复习总结上（64th）
Java —— 数组
使用GPT-4训练数据微调GPT-3.5 RAG管道
[vue] 数据不响应 ... Vue.set
- 原文地址：https://blog.csdn.net/qq_62767608/article/details/133799759