题目
理解Java泛型中的类型擦除及其影响
信息
- 类型：问答
- 难度：⭐
考点
泛型基础概念,类型擦除原理,泛型使用限制
快速回答
Java泛型的核心机制是类型擦除：
- 编译期间检查类型安全性
- 运行时擦除泛型类型信息（替换为Object或边界类型）
- 导致无法直接创建泛型数组等限制
1. 原理说明
Java泛型采用类型擦除（Type Erasure）实现：
- 编译期：编译器检查泛型类型匹配，确保类型安全
- 运行期：JVM移除所有泛型类型信息，替换为
Object或类型边界（如<T extends Number>会替换为Number） - 目的：向后兼容JDK5之前的非泛型代码
2. 代码示例
// 编译前
List<String> list = new ArrayList<>();
list.add("Hello");
String s = list.get(0); // 自动转换
// 编译后（等效代码）
List list = new ArrayList(); // 类型擦除
list.add("Hello");
String s = (String) list.get(0); // 手动插入强制转换3. 常见限制与解决方案
| 限制 | 原因 | 解决方案 |
|---|---|---|
| 不能创建泛型数组 | 类型擦除导致数组元素类型不明确 | 使用ArrayList<T>代替 |
无法使用instanceof | 运行时无泛型信息 | 检查原始类型：list instanceof ArrayList |
| 不能实例化类型参数 | 擦除后变为Object | 通过反射或工厂模式实现 |
4. 最佳实践
- 优先使用泛型集合：避免原始类型（如
List list） - 使用有界通配符：
<? extends T>增加API灵活性 - 避免混合泛型与原始类型：防止
ClassCastException
5. 常见错误示例
// 错误1：尝试创建泛型数组
T[] arr = new T[10]; // 编译错误
// 错误2：错误使用instanceof
if (list instanceof ArrayList<String>) {} // 编译警告6. 扩展知识
- 桥方法（Bridge Method）：编译器生成的方法，用于保持多态性（如重写泛型方法时）
- 类型通配符：
<?>：未知类型（只读）<? extends T>：上界通配符（生产者）<? super T>：下界通配符（消费者）
