Java泛型主要解决类型安全缺失和重复代码泛化不足两大问题：编译期捕获类型错误、消除运行时ClassCastException、避免冗余强转与装拆箱；其采用类型擦除实现，导致运行时泛型信息丢失，但通过边界和通配符增强表达能力。
Java泛型主要解决了**类型安全缺失**和**重复代码泛化不足**两大核心问题。它让集合类等通用结构在编译期就能捕获类型错误，同时避免了大量强制类型转换和冗余的包装类操作。
避免运行时类型转换异常
在没有泛型的 JDK 1.4 时代，red">ArrayList 只能存 Object，取出来必须手动强转：
- List list = new ArrayList();
- list.add("hello");
- String s = (String) list.get(0); // 编译通过，但若误存 Integer 就抛 ClassCastException
泛型将类型检查提前到编译期：List
消除冗余的类型转换与包装代码
泛型让容器与算法真正“知道”所操作的数据类型：
立即学习“Java免费学习笔记（深入）”；
- 不用为 int、String、User 分别写三套 List 工具方法
- 避免频繁的 Integer.valueOf() / intValue() 自动装拆箱（尤其在循环中）
- 方法签名更清晰，如 public
T findFirst(List ，调用方一目了然list, Predicate p)
类型擦除：泛型的实现约束与代价
Java 泛型采用**类型擦除（Type Erasure）** 实现，即泛型信息仅存在于编译期，运行时所有泛型类型都被替换为上界（通常是 Object）：
-
List
和 List 在 JVM 中都是 List，无法通过反射获取泛型实际参数 - 不能创建泛型数组：new T[10] 编译失败（因运行时 T 已擦除）
- 不能用泛型做 instanceof 判断：if (obj instanceof List
) 语法错误
这是为了兼容 JDK 1.4 的字节码，但也导致泛型无法提供运行时类型信息，部分场景需配合 Class
边界与通配符：增强泛型表达能力
泛型通过 extends 和 super 边界支持更灵活的类型约束：
-
：限定 T 必须是 Number 或其子类，可在方法内安全调用 doubleValue() - List extends Number>（上界通配符）：可读不可写（除了 null），保证类型安全读取
- List super Integer>（下界通配符）：可写不可读（读出为 Object），适合消费型操作如 Collections.copy()
这些机制在不破坏类型擦除前提下，极大提升了泛型在 API 设计中的表现力和安全性。
