泛型是Java编译期类型安全机制，通过类型参数化实现编译时检查，避免ClassCastException；其本质是类型擦除，运行时无泛型信息，故不支持new T()、instanceof T等操作；泛型类、方法与通配符用途各异，基本类型不可作实参，泛型数组和继承Exception均被禁止。
ClassCastException。
泛型为什么能解决“存错取错”问题？
没有泛型时，ArrayList 内部只能用 Object[] 存数据，任何类型都能加进去，但取出来必须手动强转：
List list = new ArrayList();
list.add("hello");
list.add(123);
String s = (String) list.get(1); // 运行时报 ClassCastException泛型把类型约束前移到声明时刻：ArrayList编译器此时已知道list = new ArrayList<>(); list.add("hello"); // ✅ // list.add(123); // ❌ 编译报错：incompatible types
get() 返回的就是 String，无需强转，也绝不会出现类型错配。
泛型不是运行时特性——类型擦除是关键事实
Java泛型只存在于编译期，JVM根本不认识 ArrayList 或 ArrayList，它们在字节码里都被擦成原始类型 ArrayList：
List这意味着：ls = new ArrayList<>(); List li = new ArrayList<>(); System.out.println(ls.getClass() == li.getClass()); // true
- 不能用
new T()创建泛型实例（T 在运行时已不存在） - 不能写
if (obj instanceof T)（T 擦除后无从判断） - 不能获取
T.class（只有Object.class） - 静态方法/字段无法直接引用类型参数
T
泛型类、泛型方法、通配符怎么选？
三者用途分明，混淆就会出错：
-
泛型类：适合封装“持有某种类型数据”的结构，如
Box、Pair -
泛型方法：当单个方法需独立适配多种类型，且不依赖类的泛型参数，例如
T max(T a, T b) -
通配符：用于方法参数，表达“接受多种泛型实例”，但要分清：
-
List>：只读，元素只能当Object用 -
List extends Number>：可读Number及其子类，但不能add()（除了null） -
List super Integer>：可写Integer，但读出来只能是Object
-
void process(List ≠ void process(List> list) ——前者只接受 List，后者接受所有 List 实例。
容易被忽略的硬限制和坑
这些不是风格建议，而是编译器强制的规则：
- 基本类型不能作泛型实参：❌
ArrayList→ ✅ 必须用包装类ArrayList - 不能创建泛型数组：❌
new ArrayList→ ✅ 改用[10] ArrayList（带警告，需抑制）[] arr = (ArrayList []) new ArrayList[10] - 泛型类不能继承
Exception：❌class MyException→ 编译失败extends Exception - 泛型类型之间无继承关系：❌
List→ 类型不兼容ls = new ArrayList (); List
