Java泛型在编译期通过静态类型检查阻止类型错误，依赖类型擦除机制在插入/获取处自动插入检查与转换；裸类型放弃约束，导致运行时ClassCastException；泛型不支持基本类型、数组、instanceof及new T()，且反射、@SuppressWarnings和通配符滥用可绕过检查。
泛型在编译期如何阻止类型错误
Java 泛型本质是编译期特性，javac 会根据泛型声明对集合操作做静态类型检查。比如向 ArrayList 添加 Integer，编译器直接报错：error: incompatible types: Integer cannot be converted to String。这不是运行时异常，而是编译失败——意味着错误被卡死在编码阶段。
背后机制是「类型擦除」：泛型信息在字节码中被擦除为原始类型（如 ArrayList），但编译器会在插入、获取处自动插入类型检查和强制转换。例如 list.get(0) 在泛型上下文中会被编译器悄悄转成 (String) list.get(0)，而这个转换是否安全，它已在编译期验证过。
不写泛型时发生了什么
如果用裸类型（raw type）如 ArrayList，编译器就放弃类型约束：
- 可以往里 add 任意对象，包括
new Date()、new File()、甚至null -
get()返回Object，你必须手动强转，比如(String) list.get(0) - 一旦转错类型，运行时抛
ClassCastException，堆栈里还找不到源头——因为错误发生在取值那一刻，而非插入时 - IDE 和静态分析工具（如 SpotBugs）会警告
Raw use of parameterized class 'ArrayList'
泛型不能解决的所有问题
泛型不是万能的类型防火墙：
立即学习“Java免费学习笔记（深入）”；
- 泛型不支持基本类型，
ArrayList是非法的，只能用包装类ArrayList - 数组与泛型不兼容：
new ArrayList编译报错，因泛型类型在运行时不存在，无法保证数组元素类型安全[10] - 泛型类型参数无法用于
instanceof或new T()，因为类型已被擦除；想运行时识别，得额外传Class参数 - 方法重载受类型擦除影响：
void foo(List和) void foo(List无法共存，编译报错) method foo is already defined
什么时候泛型检查会“失效”
编译期检查有明确边界，以下情况它管不到：
- 通过反射调用
add()方法绕过泛型校验（如list.getClass().getMethod("add", Object.class).invoke(list, 42)） - 使用
@SuppressWarnings("unchecked")抑制警告后硬转，比如(ArrayList) (Object) rawList - 泛型通配符滥用：
ArrayList extends Number>允许读取为Number，但禁止add()（除null），这点容易误用 - 子类继承泛型父类但未指定类型参数，如
class MyList extends ArrayList，等同于裸类型，失去全部检查
泛型真正起作用的前提，是你没主动绕开它——一旦用反射、压制警告或混用裸类型，编译器就不再为你兜底。那些看似“写了泛型却还出错”的 case，几乎都发生在这些缝隙里。
