泛型是编译期强制类型安全机制，将类型检查提前至编译阶段以避免运行时ClassCastException；通过类型参数约束集合操作，消除手动强转，配合擦除后的桥接方法和隐式类型检查保障安全。
泛型不是可选功能，而是编译期类型安全的强制护栏
Java 集合类（如 ArrayList、HashMap）在设计之初是裸类型（raw type），不带类型参数。这意味着你往 ArrayList 里可以塞 String、Integer 甚至自定义对象，编译器完全不管——直到运行时取值失败才抛 ClassCastException。泛型的引入不是为了“写起来更酷”，而是把类型约束提前到编译期，让错误暴露得早、定位得准。
不加泛型时，get() 返回 Object，强转风险全由开发者硬扛
看一个典型反例：
ArrayList list = new ArrayList();
list.add("hello");
list.add(42);
String s = (String) list.get(1); // 编译通过，运行时抛 ClassCastException
问题出在：list.get(1) 返回的是 Object，你手动强转成 String，JVM 不检查逻辑合理性。而加上泛型后：
ArrayListlist = new ArrayList<>(); list.add("hello"); // list.add(42); // 编译错误：incompatible types String s = list.get(0); // 不需要强转，返回类型就是 String
-
add()方法签名变成boolean add(String e)，传入int直接报错 -
get(int)返回类型是String，无需显式强转 - 所有类型操作都由编译器静态校验，不是靠文档或约定
泛型擦除后仍能保障安全，靠的是「桥接方法」和「类型检查插入」
Java 泛型是“伪泛型”——字节码中没有泛型信息，ArrayList 和 ArrayList 擦除后都是 ArrayList。但编译器没偷懒：
- 在每个泛型方法调用点插入隐式类型检查，比如
list.get(0)实际被翻译为(String) list.get(0) - 对重载/继承场景生成桥接方法（bridge method），确保多态调用不破坏类型契约
- 原始类型（raw type）与泛型混用时，编译器会发警告（
uncheckedwarning），提醒你绕过了类型系统
换句话说：擦除是实现细节，类型安全是编译器为你默默补上的“保险丝”。
用原始类型或通配符不当，等于主动拆掉这根保险丝
常见踩坑点：
- 声明用
ArrayList list而非ArrayList：失去全部编译期检查 - 方法参数用
ArrayList接收，内部再强转：把类型责任推给调用方，错误延后 - 滥用
ArrayList>或ArrayList：前者无法add()（除null），后者等价于裸类型，失去约束意义 - 反射操作泛型集合时忽略
TypeToken或ParameterizedType：运行时类型信息已擦除，靠反射取不到泛型实参
泛型真正起作用的地方，从来不在运行时，而在你敲下代码的那一刻——编译器是否能拦住你犯错。一旦跳过它，后续所有 null-check、instanceof、try-catch，都是对设计漏洞的被动补救。
