Java泛型-介绍-CSDN博客

本文链接：https://blog.csdn.net/qq_68874993/article/details/141608924

泛型（Generics）是Java编程语言中的一个重要特性，它引入了一种参数化类型（Parameterized Types）的概念，允许在类、接口和方法中定义类型参数。这些类型参数在类、接口或方法被实例化或调用时会被具体的类型所替换，从而提供了编译时的类型安全检查和类型推断能力。

一、泛型概述

1. 定义与概念

泛型，即“参数化类型”，是指在定义类、接口和方法时，通过类型参数指定类或接口中某些成员的类型。这些类型参数在实例化或调用时会被具体的类型所替换。泛型的本质是将类型参数化，使得代码更加通用、灵活和可重用。

2. 引入背景

在Java泛型引入之前，集合类（如ArrayList、HashMap等）只能存储Object类型的对象。这导致了在获取集合元素时需要进行强制类型转换，而强制类型转换容易引发ClassCastException异常。为了解决这个问题，Java 5引入了泛型的概念，允许在编译时期就进行类型检查，从而避免类型不匹配的问题。

二、泛型的使用

1. 泛型类

泛型类就是在类定义时通过类型参数指定类中某些成员的类型。例如：

public class Box<T> {  
    private T t;  
  
    public void set(T t) {  
        this.t = t;  
    }  
  
    public T get() {  
        return t;  
    }  
}

在这个例子中，Box类是一个泛型类，它有一个类型参数T。在创建Box的实例时，需要指定T的具体类型，如Box<Integer>或Box<String>。

2. 泛型接口

泛型接口与泛型类的定义类似，也是在接口声明时通过类型参数指定接口中某些方法的返回类型或参数类型。例如：

public interface Pair<K, V> {  
    K getKey();  
    V getValue();  
}

在这个例子中，Pair接口是一个泛型接口，它有两个类型参数K和V，分别代表键值对的键和值的类型。

3. 泛型方法

泛型方法允许在方法定义时声明类型参数，这些类型参数在方法体内作为类型使用，但在方法被调用时会被具体的类型所替换。例如：

public class Util {  
    public static <E> void printArray(E[] inputArray) {  
        for (E element : inputArray) {  
            System.out.printf("%s ", element);  
        }  
        System.out.println();  
    }  
}

在这个例子中，printArray是一个泛型方法，它接受一个类型参数E的数组，并打印出数组中的所有元素。

三、泛型的特点与优势

1. 类型安全

泛型提供了编译时期的类型检查，从而避免了类型不匹配的问题。在编译阶段，如果向泛型集合中添加了不符合类型要求的对象，编译器会报错，从而避免了运行时异常的发生。

2. 消除强制类型转换

使用泛型后，在获取集合元素时不再需要进行强制类型转换，因为编译器已经知道了元素的类型。这简化了代码，并提高了代码的可读性和可维护性。

3. 提高代码复用性

通过泛型，可以编写出更加通用、灵活的代码，减少了代码的重复。例如，可以使用同一个泛型集合类来存储不同类型的对象。

4. 可读性和可维护性

泛型使得代码更加清晰易懂，同时也更容易维护。因为泛型集合明确指出了集合中元素的类型，所以在阅读和维护代码时可以更加准确地理解代码的意图。

四、泛型的类型擦除

Java的泛型是通过类型擦除（Type Erasure）来实现的。这意味着泛型信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息（如类型参数）会被擦除掉。因此，在运行时，JVM看到的只是原始类型（Raw Types）。这种设计是为了与Java平台的旧版本保持二进制兼容性。需要注意的是，由于类型擦除的存在，在运行时无法获取到泛型参数的类型信息。