Java泛型提升集合安全方法

积累知识，胜过积蓄金银！毕竟在文章开发的过程中，会遇到各种各样的问题，往往都是一些细节知识点还没有掌握好而导致的，因此基础知识点的积累是很重要的。下面本文《Java泛型提升集合安全技巧》，就带大家讲解一下知识点，若是你对本文感兴趣，或者是想搞懂其中某个知识点，就请你继续往下看吧~

ArrayList不能直接add(123)是因为编译器根据泛型声明进行静态类型检查，add(Object)虽经类型擦除，但编译器拦截int向String等不兼容类型的赋值，确保类型安全仅在编译期生效。

为什么 ArrayList 不能直接 add(123)？

Java 泛型在编译期做类型检查，ArrayList 的 add() 方法签名实际被擦除为 add(Object)，但编译器会拦截不匹配的字面量或变量——比如你写 list.add(123)，编译器立刻报错：「incompatible types: int cannot be converted to String」。这不是运行时保护，而是编译器根据泛型声明做的静态校验。

注意：这种检查只对明确类型起作用。如果用反射、原始类型（raw type）或泛型通配符绕过，仍可能插入非法对象。

• 别把 ArrayList 声明为原始类型：ArrayList list = new ArrayList(); —— 这会关闭所有泛型检查
• 避免用 Object 强转绕过：比如 ((ArrayList) list).add(123)，编译通过但破坏类型契约
• 泛型不保留运行时信息，所以 list.getClass() == ArrayList.class，无法靠 instanceof 检查泛型参数

如何让自定义集合类支持泛型安全？

写一个泛型容器类，关键是在类声明和方法签名中正确使用类型参数。例如实现一个简单泛型栈：

public class GenericStack {
    private final List data = new ArrayList<>();
public void push(T item) {  // 编译器据此推断入参必须是 T 类型
    data.add(item);
}

public T pop() {
    if (data.isEmpty()) throw new EmptyStackException();
    return data.remove(data.size() - 1); // 返回值自动适配为 T
}
}

这样调用时：GenericStack stack = new GenericStack<>();，stack.push("abc") 就会编译失败。

• 构造器里不要写 new T[10] —— 类型擦除后无法实例化泛型数组，改用 new Object[10] + 显式转型（并加 @SuppressWarnings("unchecked")）
• 静态方法若需泛型，必须独立声明类型参数：public static U getFirst(List list)，不能复用类级别的 T
• 泛型类不能继承 Throwable，也不能是异常类型本身（Java 语法限制）

泛型通配符怎么避免「add 失败但 get 安全」的困惑？

常见陷阱：声明 List list = new ArrayList(); 后，list.add(3.14) 报错，但 Number n = list.get(0) 却合法。这是因为 ? extends Number 表示“某个未知的 Number 子类”，编译器无法确认你 add 的具体是哪个子类，所以禁止写；但读出来一定是 Number 或其子类，向上转型安全。

• 需要「只读」场景用 ? extends T（PECS 中的 “Producer”）
• 需要「只写」场景用 ? super T（如往 List 里 add Integer 或 Long 都可以）
• 完全不确定时，宁可用 List