Java泛型详解：从入门到精通-EW帮帮网

Java泛型详解：从入门到精通

1. 前言

Java泛型（Generics）是JDK 5引入的一项重要特性，它允许在类、接口和方法中使用类型参数，从而提高代码的类型安全性和复用性。本文将详细介绍泛型的基本概念、使用方法、通配符、类型擦除机制以及实际应用场景，帮助你彻底掌握Java泛型。

2. 泛型的基本概念

泛型的本质是参数化类型，即在定义类、接口或方法时，使用一个占位符（如T、E、K、V等）表示类型，等到使用时再指定具体的类型。

2.1 泛型的主要优点

类型安全：编译时检查类型，避免运行时ClassCastException。
消除强制类型转换：减少代码冗余，提高可读性。
代码复用：可以编写更通用的算法和数据结构。

3. 泛型的基本使用

3.1 泛型类

泛型类在类名后使用<T>定义类型参数：

public class Box<T> {
    private T value;

    public void set(T value) {
        this.value = value;
    }

    public T get() {
        return value;
    }
}

使用示例：

Box<String> stringBox = new Box<>();
stringBox.set("Hello");
String str = stringBox.get(); // 无需强制转换

3.2 泛型方法

泛型方法在方法返回类型前使用<T>定义类型参数：

public <T> void printArray(T[] array) {
    for (T element : array) {
        System.out.println(element);
    }
}

使用示例：

Integer[] intArray = {1, 2, 3};
String[] strArray = {"A", "B", "C"};
printArray(intArray); // 自动推断类型为Integer
printArray(strArray); // 自动推断类型为String

3.3 泛型接口

泛型接口在接口名后使用<T>定义类型参数：

public interface List<E> {
    void add(E e);
    E get(int index);
}

实现示例：

public class ArrayList<E> implements List<E> {
    private E[] elements;
    // 实现 add 和 get 方法
}

4. 类型通配符

Java泛型提供了通配符?来处理未知类型：

List<?>：表示未知类型的列表（可以是任何类型）。
List<? extends Number>：表示Number或其子类型的列表（上界通配符）。
List<? super Integer>：表示Integer或其父类型的列表（下界通配符）。

4.1 PECS原则（Producer Extends, Consumer Super）

Producer Extends（生产者用extends）：如果只是从集合中读取数据，使用? extends T。
Consumer Super（消费者用super）：如果只是向集合中写入数据，使用? super T。

示例：

// 生产者：只读取数据
public static double sum(List<? extends Number> list) {
    double sum = 0;
    for (Number num : list) {
        sum += num.doubleValue();
    }
    return sum;
}

// 消费者：只写入数据
public static void addNumbers(List<? super Integer> list) {
    list.add(1);
    list.add(2);
}

5. 泛型的限制

不能使用基本类型：List<int> 非法，必须用 List<Integer>。
不能实例化类型参数：new T() 非法。
不能声明静态泛型变量：因为静态成员属于类，而非实例。
不能对泛型类型使用instanceof：如 if (obj instanceof List<String>) 非法。
不能创建泛型数组：new T[10] 非法（但可以使用(T[]) new Object[10]）。

6. 类型擦除（Type Erasure）

Java泛型在编译后会进行类型擦除，即泛型信息在运行时会被擦除，替换为Object或指定的上界类型。这是为了兼容旧版本Java。

示例：

List<String> list1 = new ArrayList<>();
List<Integer> list2 = new ArrayList<>();
// 运行时，list1 和 list2 的类型都是 ArrayList

7. 实际应用示例

7.1 泛型类实现键值对

public class Pair<K, V> {
    private K key;
    private V value;

    public Pair(K key, V value) {
        this.key = key;
        this.value = value;
    }

    public K getKey() { return key; }
    public V getValue() { return value; }
}

使用示例：

Pair<String, Integer> pair = new Pair<>("Age", 25);
System.out.println(pair.getKey() + ": " + pair.getValue());

7.2 泛型方法实现最大值比较

public static <T extends Comparable<T>> T max(T a, T b) {
    return a.compareTo(b) > 0 ? a : b;
}

使用示例：

Integer maxInt = max(10, 20); // 20
String maxStr = max("apple", "orange"); // "orange"

8. 总结

特性	说明
泛型类	`class Box<T> { ... }`
泛型方法	`<T> void print(T t) { ... }`
泛型接口	`interface List<E> { ... }`
上界通配符	`List<? extends Number>`
下界通配符	`List<? super Integer>`
类型擦除	运行时泛型信息被擦除

泛型是Java中非常强大的特性，合理使用可以大幅提升代码的安全性和可维护性。希望本文能帮助你彻底掌握Java泛型！🚀

📌 推荐阅读：

Oracle官方泛型教程
Effective Java - 泛型最佳实践

💬 讨论： 你在使用泛型时遇到过哪些问题？欢迎在评论区交流！👇

Java泛型详解：从入门到精通