Java 泛型详解：构建类型安全的代码

最新推荐文章于 2025-04-10 16:33:23 发布

java小吕布

最新推荐文章于 2025-04-10 16:33:23 发布

阅读量933

点赞数 16

分类专栏： Java基础修炼手册文章标签： java 安全

本文链接：https://blog.youkuaiyun.com/hwh22/article/details/143770907

版权

Java基础修炼手册专栏收录该内容

41 篇文章

订阅专栏

在 Java 编程中，泛型（Generics）是一项非常重要的特性，它允许你在定义类、接口和方法时不指定具体的类型，而是在使用时再指定。这样不仅提高了代码的重用性，更重要的是增强了类型安全性，减少了类型转换的错误。本文将深入解析 Java 泛型的关键概念和用法，帮助你更好地理解和应用这一特性。

一、为什么需要泛型？

在 Java 5 之前，集合类（如 ArrayList, HashMap 等）没有类型参数，只能存储 Object 类型的对象。这意味着在使用集合时，你需要进行大量的类型转换，不仅代码冗长，还容易引发 ClassCastException。

泛型的出现解决了这一问题，它允许你在定义集合时就指定存储对象的类型，从而在编译时就进行类型检查，避免了运行时的类型转换错误。

二、泛型的基本用法

定义泛型类

泛型类是使用类型参数声明的类。类型参数在类名后的一对尖括号 <> 中定义。

public class Box<T> {
    private T content;

    public void setContent(T content) {
        this.content = content;
    }

    public T getContent() {
        return content;
    }
}

在上面的例子中，T 是一个类型参数，可以用任何具体的类型来替换。

定义泛型接口

泛型接口的定义与泛型类类似。
```
public interface Pair<K, V> {
    K getKey();
    V getValue();
}
```
Pair 接口有两个类型参数 K 和 V，分别代表键和值的类型。
定义泛型方法

泛型方法是在方法定义时引入类型参数的方法。
```
public static <T> void printArray(T[] array) {
    for (T element : array) {
        System.out.print(element + " ");
    }
    System.out.println();
}
```
<T> 声明了 printArray 是一个泛型方法，它接受任何类型的数组并打印其内容。

三、泛型的类型擦除

Java 的泛型是通过类型擦除（Type Erasure）来实现的。这意味着泛型信息在编译时被擦除，并替换为它们的限定类型（通常是 Object）。

例如，List<String> 在编译时被擦除为 List，并且所有的 String 类型都被替换为 Object。然而，由于编译器保留了类型信息用于类型检查，因此你可以得到类型安全的保证。

List<String> stringList = new ArrayList<>();
stringList.add("Hello");
// stringList.add(123); // 编译错误

在上面的例子中，尝试向 stringList 添加一个整数会导致编译错误，因为编译器知道 stringList 只能存储字符串。

四、泛型的边界（上界和下界）

上界通配符

使用 extends 关键字可以为泛型指定上界，表示泛型类型必须是某个类或其子类。
```
public void processElements(List<? extends Number> list) {
    for (Number num : list) {
        System.out.println(num);
    }
}
```
在这个例子中，list 可以是 List<Number>、List<Integer> 或 List<Double> 等。
下界通配符

使用 super 关键字可以为泛型指定下界，表示泛型类型必须是某个类或其父类。
```
public void addNumbers(List<? super Integer> list) {
    list.add(10);
    list.add(20);
    list.add(30);
}
```
在这个例子中，list 可以是 List<Integer>、List<Number> 或 List<Object> 等。

五、泛型与集合框架

Java 的集合框架（如 List, Set, Map 等）广泛使用泛型。通过使用泛型，你可以创建类型安全的集合，从而避免类型转换错误。

List<String> stringList = new ArrayList<>();
stringList.add("Apple");
stringList.add("Banana");

for (String fruit : stringList) {
    System.out.println(fruit);
}

六、泛型的高级用法

泛型数组

由于 Java 的类型擦除机制，泛型数组和泛型类型变量的实例化有一定的限制。通常，泛型数组通过泛型集合来实现。
泛型方法中的类型推断

Java 7 引入了泛型方法中的类型推断，使得在调用泛型方法时可以省略类型参数。
```
public static <T> T echo(T input) {
    return input;
}

String result = echo("Hello"); // 类型推断为 String
```
泛型与反射

由于泛型在运行时被擦除，使用反射处理泛型类型时需要一些特殊处理。