详解Java中的泛型（泛型的语法，擦除机制，泛型的上界）

---

目录

一.什么是泛型

二.Java中为什么要使用泛型

三.泛型的语法

四.泛型类的使用

五.泛型的编译机制（擦除机制）

六.泛型的上界

---

一.什么是泛型

泛型（Generics）是Java SE 5中引入的一个新特性，可以使Java中的类和方法具有更广泛的类型范围。通俗的说，它使得我们可以在定义类和方法时指定一个或多个类型参数，从而可以在不考虑具体类型的情况下，代码中直接使用这些类型参数。泛型可以增强代码的安全性、可读性和可重用性。例如，可以使用泛型实现容器类（如ArrayList、HashMap）等。在使用泛型时，需要在编写代码时指定泛型类型，这样可以在编译期间检查代码的类型安全性。

二.Java中为什么要使用泛型

一般的类和方法，只能使用具体的类型:：要么是基本类型，要么是自定义的类。如果要编写可以应用于多种类型的代码，这种刻板的限制对代码的束缚就会很大。

----- 来源《Java编程思想》对泛型的介绍

Java中的泛型是一种允许在编写代码时指定类型参数的能力。使用泛型可以使代码更加通用且类型安全。通过使用泛型，程序员可以编写一个方法或类，该方法或类在实例化时可以接受不同类型的参数。泛型是将数据类型参数化，进行传递这样可以减少代码的重复，并提高代码的可读性和可维护性。

假如我们要实现一个数组，使得其中能够存放任意数据类型的元素，想存放整形，又想存放字符型，又想存放引用型该怎么办呢？我们可以联想一下之前认识过的Object类，Object类是所有类的父类，那我们将数组置为Object类可以吗？

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 static void main(String[] args) {
        MyArray myArray = new MyArray();
        myArray.setVal(0, 10);//整形可以存放
        myArray.setVal(1, "hello");//字符串也可以存放
        String ret = myArray.getPos(1);//编译报错，原因是因为我们数组的类型是Object类型
        //但是我们这里接收的元素却是String类型
        //也就是说我们相当于进行了向下转型，所以这里会报错
        //如果我们进行强制转化就可以解决这个问题
        //String ret = (String) myArray.getPos(1);
        System.out.println(ret);
    }

 我们会发现在这种情况下，整体的语法其实是不灵活的，虽然当前数组任何数据都可以存放，但是更多情况下，我们还是希望他只能够持有一种数据类型，而不是同时持有这么多类型。

所以泛型的主要目的就是指定当前的容器，要持有什么类型的对象，让编译器去做检查。此时就需要把类型作为参数传递，需要什么类型，就传入什么类型。

三.泛型的语法

在充分认识了泛型的必要性和作用后，我们来看看如何使用它：在Java中，泛型的使用方式是通过在类名或方法名后面加上尖括号，然后在尖括号里指定类型参数。具体语法如下：

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

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

可以通过泛型实例化一个泛型对象

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

MyArray list = new MyArray();

当编译器可以根据上下文推导出类型实参时，可以省略类型实参的填写

MyArray list = new MyArray<>(); // 可以推导出实例化需要的类型实参为 Integer

泛型只能接受类，所有的基本数据类型必须使用包装类 

四.泛型类的使用

对于我们刚才的数组，我们就可以如下设置为一个泛型数组

class MyArray {
    public T[] array = (T[])new Object[10];//1
    //public T[] array;
    public T getPos(int pos) {
        return this.array[pos];
    }
    public void setVal(int pos,T val) {
        this.array[pos] = val;
    }
}

    public static void main(String[] args) {
        MyArray myArray1 = new MyArray<>();//2
        myArray1.setVal(0,10);
        myArray1.setVal(1,12);
        
        MyArray myArray2 = new MyArray<>();//3
        myArray2.setVal(0,"hello");
        myArray2.setVal(1,"world");
        
        MyArray myArray3 = new MyArray<>();//4
        myArray3.setVal(0,1.23f);
        myArray3.setVal(1,3.14f);
    }

在上述代码块中

类名后的 代表占位符，表示当前类是一个泛型类，常用的其他名称有：

• E 表示 Element
• K 表示 Key
• V 表示 Value
• N 表示 Number
• T 表示 Type
• S, U, V 等等... ...

注释1处，不能new泛型类型的数组，也就是说下面这样的代码是错误的

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

注释2处，类型后加入 指定当前类型，注释3，4处同理

五.泛型的编译机制（擦除机制）

Java的类型擦除机制是指在编译期间将泛型的类型参数替换为其边界或Object类型，从而实现泛型代码运行时无需知晓实际类型参数，也就是说泛型的类型参数在运行时是被擦除了的。这个机制是为了兼容Java语言的旧版本，同时也可以减少代码重复，使得代码更加简洁。

举个例子来说，：

        假如有一个泛型类List，其中的T可以指定任何类型，但是在运行时，List的实际类型是List