避坑指南：Java 泛型的 5 个常见误区，新手 90% 会踩的类型擦除陷阱

Java 泛型是提升代码类型安全性和可重用性的核心特性，但许多新手在使用时容易陷入误区，尤其是 Java 的类型擦除机制（在编译后泛型类型信息被移除）带来的陷阱。本文将深入剖析五个最常见的误区，结合实际代码示例，帮助开发者避开这些坑点，写出更稳健的代码。

误区一：试图使用基本类型作为泛型参数

问题描述：新手常尝试将基本类型（如 int、double）直接用于泛型类或方法中，例如声明 List<int>，但这会导致编译错误。 原因分析：Java 泛型只支持引用类型，基本类型不是对象，无法作为泛型参数。类型擦除后，泛型会被替换为 Object 或指定边界，但基本类型不兼容。 如何避免：使用包装类（如 Integer、Double）替代基本类型。例如：

// 错误示例：List<int> list = new ArrayList<>(); // 编译失败
// 正确做法：使用包装类
List<Integer> list = new ArrayList<>();
list.add(42); // 自动装箱为 Integer

误区二：创建泛型数组

问题描述：新手想直接创建泛型数组，如 T[] array = new T[10];，但编译时会报错。 原因分析：由于类型擦除，Java 无法在运行时确定 T 的具体类型，因此无法分配数组内存。数组创建需要确切类型信息。 如何避免：改用集合类（如 ArrayList）或通过反射（谨慎使用）处理。如果必须使用数组，可以先创建 Object[] 再强制转换：

// 错误示例：public <T> T[] createArray(int size) { return new T[size]; } // 编译错误
// 正确做法：使用集合或安全转换
public <T> List<T> createList(int size) {
    return new ArrayList<>(size); // 推荐使用 List
}
// 或强制转换（需确保类型安全）
public <T> T[] createArray(Class<T> clazz, int size) {
    return (T[]) java.lang.reflect.Array.newInstance(clazz, size);
}

误区三：使用 instanceof 检查泛型类型

问题描述：新手尝试用 instanceof 操作符检查泛型类型，如 if (obj instanceof List<String>)，但编译失败。 原因分析：类型擦除后，所有泛型类型在运行时都变为原始类型（如 List），无法区分 List<String> 和 List<Integer>。instanceof 只能检查原始类型。 如何避免：避免直接检查泛型参数类型。改用类型令牌（Type Token）或设计模式（如 Visitor 模式）来获取类型信息：

// 错误示例：if (list instanceof List<String>) { ... } // 编译错误
// 正确做法：检查原始类型或使用类型令牌
if (list instanceof List) { // 只检查是否为 List 类型
    // 进一步处理，如通过元素类型推断
}
// 或使用 Class 对象
public <T> void processList(List<T> list, Class<T> type) {
    if (type == String.class) {
        // 处理字符串列表
    }
}

误区四：泛型类继承自 Throwable

问题描述：新手定义泛型异常类，如 class MyException<T> extends Exception，但这会导致编译错误。 原因分析：Java 规范禁止泛型类直接继承 Throwable（包括 Exception 和 RuntimeException），因为类型擦除后，异常处理机制无法捕获泛型类型信息。 如何避免：避免使用泛型异常类。改用非泛型异常或通过封装处理：

// 错误示例：class MyException<T> extends Exception { ... } // 编译失败
// 正确做法：使用非泛型异常
class MyException extends Exception {
    private Object data; // 封装数据
    public MyException(Object data) {
        this.data = data;
    }
}
// 或在方法中抛出特定异常
public <T> void process(T item) throws IOException {
    if (item == null) {
        throw new IOException("Item is null"); // 抛出具体异常
    }
}

误区五：类型擦除陷阱——运行时无法获取泛型类型信息

问题描述：这是新手最容易踩的坑，90% 的新手会误以为运行时可以访问泛型类型信息，例如尝试从 List<String> 中获取 String.class，但实际运行时类型被擦除为 List。 原因分析：Java 的类型擦除机制是为了兼容旧版本，编译后泛型类型参数（如 <String>）被移除，只保留原始类型。这导致运行时无法通过反射获取泛型参数。 如何避免：使用类型令牌（如 Class<T> 参数）或 ParameterizedType 接口来保留类型信息。避免依赖运行时类型检查：

// 错误示例：List<String> list = new ArrayList<>();
//          Class<?> type = list.getClass().getComponentType(); // 返回 null，无法获取 String
// 正确做法：在方法签名中传递类型信息
public <T> void processList(List<T> list, Class<T> type) {
    // 使用 type 参数获取具体类
    System.out.println("List type: " + type.getName());
}
// 或通过子类化保留泛型
class StringList extends ArrayList<String> { }
// 使用时
StringList list = new StringList();
Class<?> type = list.getClass().getGenericSuperclass(); // 可获取 ParameterizedType

结语

Java 泛型虽然强大，但类型擦除机制是新手必须跨越的一道坎。通过理解这五个常见误区——从基本类型误用到类型擦除陷阱——开发者可以避免 90% 的泛型错误。记住，泛型的设计初衷是提升编译时类型安全，而非运行时灵活性。建议多练习代码示例，结合 IDE 的编译检查，逐步培养泛型思维。掌握这些技巧后，你的 Java 代码将更健壮、更易维护。