【数据结构】泛型

最新推荐文章于 2024-04-27 18:34:23 发布

xxxflower.

最新推荐文章于 2024-04-27 18:34:23 发布

阅读量136

点赞数 7

分类专栏：数据结构文章标签：数据结构 java 算法

本文链接：https://blog.csdn.net/qq_61138087/article/details/127322653

版权

数据结构专栏收录该内容

8 篇文章 0 订阅

订阅专栏

作者：✿✿ xxxflower. ✿✿
博客主页：xxxflower的博客
专栏：【数据结构】篇
语录：⭐每一个不曾起舞的日子，都是对生命的辜负。⭐

1.泛型

1.1泛型的引出

泛型：其实就是对类型的进行参数化
问题：实现一个类，类中有一个数组，使得数组中可以存放任意类型的数据
我们可以把数组定义为Object.因为所有类都默认继承于Object。
在这里插入图片描述
但是：

因为不确定Object数组中的元素都是String类型，所以不能强制类型转化。
如果Object里面的数据都是String，也不可以强转。

使用Object类的缺点：
1.在存放元素的时候，任何类型的数据都可以存放。
2.取出元素的时候，得自己判断（需要强制类型转换）。

1.2泛型

在这里插入图片描述
<T>：占位符：表示当前类是一个泛型类。

泛型存在的意义：

存放元素的时候，会进行类型的检查
在取出元素的时候，不需要强制转换。
这两步都是在编译期间完成的。
运行的时候是没有泛型的概念的！！！泛型主要作用于编译的时候。是编译时期的一种机制。这种机制叫做擦除机制！！！！

泛型的语法为：

class 泛型类名称<类型形参列表> {
// 这里可以使用类型参数
}
class ClassName<T1, T2, ..., Tn> {
}

一个泛型类的参数列表可以指定多个类型。
尖括号中<一定必须是类类型，不能是基本类型>

【注意】：

类名后的代表占位符，表示当前类是一个泛型类
了解：【规范】类型形参一般使用一个大写字母表示，常用的名称有：
E 表示 Element
K 表示 Key
V 表示 Value
N 表示 Number
T 表示 Type
S, U, V 等等 - 第二、第三、第四个类型
不能new泛型类型的数组
类型后加入指定当前类型
不需要进行强制类型转换
代码编译报错，此时因为在注释2处指定类当前的类型，此时在注释4处，编译器会在存放元素的时候帮助我们进行类型检查。
T[] ts = new T[5];//是不对的

2.泛型类的使用

2.1语法

泛型类<类型实参> 变量名; // 定义一个泛型类引用
new 泛型类<类型实参>(构造方法实参); // 实例化一个泛型类对象

在这里插入图片描述

当编译器可以根据上下文推导出类型实参时，可以省略类型实参的填写：
在这里插入图片描述

3.裸类型

在这里插入图片描述
此时又和最初的Object一样了。

4.泛型是如何编译的？

4.1擦除机制

在编译的时候，我们把T都擦除成了Object。
疑问：既然把T都擦除成了Object，那么为什么还要写成T呢？？？

因为：编译时自动进行类型转换。

存放元素的时候，会进行类型的检查
在取出元素的时候，不需要强制转换。

可以这样写：//涉及到反射
在这里插入图片描述

5.泛型的上界

5.1语法

class 泛型类名称<类型形参 extends 类型边界> {
...
}

5.2事例

在这里插入图片描述
原因：
T是一个引用类型，不能用大于小于比较！！！
那此处应该怎么做？？？

可以写成上述情况。此处：

这个就称为泛型的上界：T一定是实现了接口的
6dc47e9745f690f8baa1d4c1e32c.png)

class Alg<T extends Comparable<T>>{

    public T findMax(T[] array){
        T max = array[0];
        for (int i = 1; i < array.length; i++) {
            if(max.compareTo(array[i]) < 0){
                max = array[i];
            }
        }
        return max;
    }

}

public class test2 {
    //写一个泛型类，类中有一个方法，求一个数组当中的最大值
    public static void main(String[] args) {
        Alg<Integer> alg = new Alg<>();
        Integer[] array = {2,3,4,6};
        System.out.println(alg.findMax(array));
    }
}

在这里插入图片描述

class Alg<T extends Comparable<T>>{

    public T findMax(T[] array){
        T max = array[0];
        for (int i = 1; i < array.length; i++) {
            if(max.compareTo(array[i]) < 0){
                max = array[i];
            }
        }
        return max;
    }

}
class Person implements Comparable<Person>{

    @Override
    public int compareTo(Person o) {
        return 0;
    }
}
public class test2 {

    public static void main(String[] args) {
        Alg<Person> alg = new Alg<>();
    }

    //写一个泛型类，类中有一个方法，求一个数组当中的最大值
    public static void main1(String[] args) {
        Alg<Integer> alg = new Alg<>();
        Integer[] array = {2,3,4,6};
        System.out.println(alg.findMax(array));
    }
}

在这里插入图片描述

E一定是Number的子类或者Number本身

7.泛型方法

为什么这里加了static之后就报错了。
在这里插入图片描述
因为static不依赖对象。直接用Alg.findMax();去调用，就不会传递实参了。那应该怎么办呢？？？
我们这样修改代码：

泛型方法：
在这里插入图片描述
泛型方法的语法：

方法限定符 <类型形参列表> 返回值类型 方法名称(形参列表) { ... }

class Alg{

    public static<T extends Comparable> T findMax(T[] array){
        T max = array[0];
        for (int i = 1; i < array.length; i++) {
            if(max.compareTo(array[i]) < 0){
                max = array[i];
            }
        }
        return max;
    }

}
public class test2 {

    public static void main(String[] args) {
        Integer[] array = {1,2,3,4};
        System.out.println(Alg.<Integer>findMax(array));
    }

在这里插入图片描述

泛型的静态方法：在这里插入图片描述
此时也是泛型的方法：

7.通配符

？用于在泛型的使用，即为通配符。

7.1通配符

通配符是用来解决泛型无法协变的问题的，协变指的就是如果 Student 是 Person 的子类，那么 List 也应该是 List 的子类。但是泛型是不支持这样的父子类关系的。
泛型 T 是确定的类型，一旦你传了我就定下来了，而通配符则更为灵活或者说是不确定，更多的是用于扩充参数的范围.
在这里插入图片描述
我们来看fun函数，其中Message temp 就说明了问题，此处只能接收String类型的。那要解决这个问题，我们应该怎么办呢？
答案是使用通配符，将String改为？即可。

此时程序不再报错。