简单认识泛型

刺骨的言语ヽ痛彻心扉 2024-03-16 12:49 77阅读 0赞

什么是泛型呢？一般的类和方法中，只能使用具体的类型和自定义的类，如果想编写更多的可以应用的类型的代码，这种刻板的限制就会对代码的束缚很大。-———来源于《Java编程思想》对泛型的介绍。

## 引出泛型 ##

实现一个类，类中包含一个数组成员，是的是数组中可以存放热恩和类型的数据，也可以根据成员方法返回数组中的某个下标的值

package demo1;
    class MyArray{
        public Object[] array = new Object[10];
        public Object getPos(int pos){
            return  this.array[pos];
        }
        public void setVal(int pos,Object val){
            this.array[pos]=val;
        }
    }
    public class Test {
        public static void main(String[] args) {
            MyArray myArray = new MyArray();
            myArray.setVal(0,10);//存放多种类型
            myArray.setVal(1,"hello world");
            String res = myArray.getPos(1);//编译报错
            System.out.println(res);
        }
    }

虽然在这种情况下，当前数组任何数据都可以存放，但是当我们取出数据的时候，编译报错，所以必须需要强制类型转换。如下：

public class Test {
        public static void main(String[] args) {
            MyArray myArray = new MyArray();
            myArray.setVal(0,10);//存放多种类型
            myArray.setVal(1,"hello world");
            String res = (String) myArray.getPos(1);
            System.out.println(res);
        }
    }

但是，更多的情况下，我们希望数组中只持有一种数据类型，所以**泛型的主要目的：指定当前容器，要持有什么类型的对象。让编译器去检查。**

## **泛型的语法** ##

class 泛型类型<类型形参列表>{
        //这里可以使用类型参数
    }
    
    class ClassName<T1,T2....Tn>{
    }
    
    class 泛型类名称<类型形参列表> extends 继承类/* 这里可以使用类型参数 */ {
    // 这里可以使用类型参数
    }
    
    class ClassName<T1, T2, ..., Tn> extends ParentClass<T1> {
    // 可以只使用部分类型参数
    }

所以我们可以对上述代码进行修改：

package demo1;
    class MyArray<T>{
        public T[] array = (T[]) new Object[10];//1
        public T getPos(int pos){
            return  this.array[pos];
        }
        public void setVal(int pos,T val){
            this.array[pos]=val;
        }
    }
    public class Test {
        public static void main(String[] args) {
            MyArray<Integer> myArray = new MyArray<>();//2
            myArray.setVal(0,10);//存放多种类型
            myArray.setVal(1,99);
            System.out.println(myArray.getPos(1));//3
            MyArray<String> myArray1 = new MyArray<>();//5
            myArray1.setVal(1,"hello world");//4
            String res =  myArray1.getPos(1);
            System.out.println(res);
        }
    }

代码的解释：

1.类名后的<T>代表占位符，表示当前类是一个泛型

> E 表示 Element
> 
> K 表示 Key
> 
> V 表示 Value
> 
> N 表示 Number
> 
> T 表示 Type
> 
> S, U, V 等等 - 第二、第三、第四个类型

2.注释1处，不能用new泛型类型的数组

T[] array = new T[5];//是不对的

3.注释2处 类型后加入<Integer>指定当前类型

4.注释4处，如果我不重新创建一个新的泛型类如注释5，就要会报错，因为 我们上面创建的泛型类是Integer类型的。

## 泛型的上界 ##

我们可以根据一道题来理解什么是泛型的上界：写一个泛型类，求数组的最大值。

![8b13082ddf0b409caf06d99f6b52506c.png][]

我们可以看到，上述代码出现错误，这是为什么呢，因为编译器不知道T是什么类型，如String不可以通过大于和小于进行比较，所以我们就需要用Comparable接口中的CompareTo方法进行比较，

而T类型会被擦除成为Object类，而我们的Object类中并没有CompareTo方法 所以我们就要给他一个边界，如：

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

![a2733d68aebd4b58ad432df2898d66c7.png][]

这个就是让其擦除为一个实现这个接口的类型！

[8b13082ddf0b409caf06d99f6b52506c.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/16/a273c5aee75f496d99722f5376fb2bad.png
[a2733d68aebd4b58ad432df2898d66c7.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/16/fc2e109a10174dd2bf42bf74c2cdb700.png