泛型是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<String> list = new ArrayList<>();
list.add("hello"); // ✅
// list.add(123); // ❌ 编译报错：incompatible types编译器此时已知道 get() 返回的就是 String，无需强转，也绝不会出现类型错配。
泛型不是运行时特性——类型擦除是关键事实
Java泛型只存在于编译期，JVM根本不认识 ArrayList<string></string> 或 ArrayList<integer></integer>，它们在字节码里都被擦成原始类型 ArrayList：
List<String> ls = new ArrayList<>(); List<Integer> 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<t></t>、Pair<k></k> -
泛型方法：当单个方法需独立适配多种类型，且不依赖类的泛型参数，例如
<t> T max(T a, T b)</t> -
通配符：用于方法参数，表达“接受多种泛型实例”，但要分清：
-
List>：只读，元素只能当Object用 -
List extends Number>：可读Number及其子类，但不能add()（除了null） -
List super Integer>：可写Integer，但读出来只能是Object
-
void process(List<object> list)</object> ≠ void process(List> list) ——前者只接受 List<object></object>，后者接受所有 List 实例。
容易被忽略的硬限制和坑
这些不是风格建议，而是编译器强制的规则：
- 基本类型不能作泛型实参：❌
ArrayList<int></int>→ ✅ 必须用包装类ArrayList<integer></integer> - 不能创建泛型数组：❌
new ArrayList<string>[10]</string>→ ✅ 改用ArrayList<string>[] arr = (ArrayList<string>[]) new ArrayList[10]</string></string>（带警告，需抑制） - 泛型类不能继承
Exception：❌class MyException<t> extends Exception</t>→ 编译失败 - 泛型类型之间无继承关系：❌
List<string> ls = new ArrayList<string>(); List<object> lo = ls;</object></string></string>→ 类型不兼容
