Java基础教程（七十二）泛型之编写泛型：Java 泛型黑魔法，编写高效安全的泛型代码（附实战示例）

原创已于 2025-08-18 08:47:12 修改 · 345 阅读

4 ·

CC 4.0 BY-SA版权

文章标签：

#java #安全 #开发语言

于 2025-08-18 08:46:09 首次发布

Java基础教程专栏收录该内容

302 篇文章

订阅专栏

Java泛型本质是类型参数化，让你编写更灵活、安全的代码。深度掌握泛型需理解：

1) 泛型类/接口（如class Box<T>），用类型参数T定义通用结构；

2) 泛型方法（<T> T getFirst(List<T> list)），独立于类声明类型；

3) 类型限定（<T extends Comparable<T>>）确保类型具备所需能力；

4) 通配符?（List<?>）提升API灵活性，配合extends/super实现PECS原则（Producer Extends, Consumer Super）；

5) 类型擦除机制：泛型仅在编译期存在，运行时擦除为原生类型。

本文通过清晰示例解析核心概念，助你写出高效且健壮的泛型代码。

Java 泛型黑魔法：编写高效安全的泛型代码（附实战示例）

Java 泛型是提升代码灵活性、安全性和重用性的核心利器。它让你编写独立于具体类型的代码，同时在编译期捕获类型错误。本文深度解析如何编写泛型代码，并辅以实用示例。

一、定义泛型类型（类/接口）

使用类型参数（如 T, U, K, V）声明泛型类或接口。

java

// 定义一个通用的"键值对"泛型类
public class Pair<T, U> { 
    private T first;
    private U second;

    public Pair(T first, U second) {
        this.first = first;
        this.second = second;
    }

    public T getFirst() { return first; }
    public U getSecond() { return second; }

    public void setFirst(T first) { this.first = first; }
    public void setSecond(U second) { this.second = second; }
}

// 使用示例
Pair<String, Integer> nameAndAge = new Pair<>("Alice", 30);
String name = nameAndAge.getFirst(); // 安全获取String，无需强转
Integer age = nameAndAge.getSecond(); // 安全获取Integer

二、编写泛型方法

泛型方法在方法签名中声明自己的类型参数（<T>），独立于所在类。

java

public class ArrayUtils {
    // 泛型方法：将数组转换为List
    public static <T> List<T> arrayToList(T[] array) {
        List<T> list = new ArrayList<>();
        for (T element : array) {
            list.add(element);
        }
        return list;
    }
}

// 使用示例
String[] names = {"Bob", "Charlie"};
List<String> nameList = ArrayUtils.arrayToList(names); // 类型自动推断

三、类型参数限定 (`extends`)

使用 extends 关键字约束类型参数必须为指定类型或其子类（支持类和接口）。

java

// 确保T实现了Comparable接口，才能比较大小
public static <T extends Comparable<T>> T findMax(List<T> list) {
    if (list.isEmpty()) throw new IllegalArgumentException("List is empty");
    T max = list.get(0);
    for (T item : list) {
        if (item.compareTo(max) > 0) { // 可以安全调用compareTo
            max = item;
        }
    }
    return max;
}

// 使用示例
List<Integer> numbers = List.of(5, 2, 8, 1);
Integer maxNum = findMax(numbers); // 正确：Integer实现了Comparable

四、通配符 (`?`) 与 PECS 原则

通配符 ? 提供灵活的类型匹配，常配合 extends 或 super 使用。

? extends T (上界通配符 - Producer): 表示“某种T或T的子类”。安全读取为T。

java

public static void printNumbers(List<? extends Number> list) {
    for (Number num : list) { // 可以安全读取为Number
        System.out.println(num.doubleValue());
    }
}
// 可接受 List<Integer>, List<Double> 等

? super T (下界通配符 - Consumer): 表示“某种T或T的父类”。安全写入T对象。

java

public static void addIntegers(List<? super Integer> list) {
    list.add(10); // 可以安全添加Integer
    list.add(20);
}
// 可接受 List<Integer>, List<Number>, List<Object>

五、类型擦除：泛型的底层实现

Java 泛型基于类型擦除实现：

编译器在编译时检查泛型类型安全。
编译后的字节码中，类型参数 (T) 被替换为其边界（如未指定边界则替换为 Object）。
在需要的地方插入类型转换。
生成桥接方法保持多态性。

java

// 编译后，Pair<T, U> 大致等同于：
public class Pair {
    private Object first;
    private Object second;
    ... // getter/setter 内部会进行强制类型转换：(String) first
}