Java反射能绕过泛型检查，是因为泛型在运行时已被类型擦除，反射操作字节码中的原始类型，不受编译期约束；List和List编译后均为List，JVM加载的class文件无泛型标记。
Java 反射能绕过泛型检查，不是因为它“破解”了泛型，而是因为泛型在运行时根本不存在——它已被编译器擦除。反射操作的是字节码里的原始类型，自然不受编译期的泛型约束。
泛型只在编译期起作用
像 List 和 List，编译后都变成裸的 List，JVM 加载的 class 文件中没有任何泛型标记。这意味着：
-
list.getClass()返回的是ArrayList.class，不是带泛型的类型 -
ArrayList.add()在字节码里签名就是add(Object)，不校验具体泛型参数 -
instanceof List在编译阶段就报错，JVM 不支持这种判断
用反射添加非泛型元素的步骤
以向 List 中插入字符串为例：
- 获取 list 实例的运行时 Class 对象：
list.getClass() - 通过反射拿到
add(Object)方法（注意：参数类型必须是Object.class） - 调用
method.invoke(list, "hello")—— 成功执行，无异常
此时集合内部实际为 [123, "hello"]，size() 变成 2，但隐患留在取值环节。
为什么取值时才出问题？
泛型的安全保障靠的是编译器自动插入的强制转换，比如：
-
Integer x = list.get(0)→ 编译器悄悄加了(Integer)强转 - 当 get 到字符串时，运行时执行
(Integer)"hello"，立刻抛ClassCastException -
for (Integer x : list)同样会在第二次迭代失败
真正能保留泛型信息的例外情况
反射无法“恢复”泛型，但某些**源码中显式声明泛型的位置**，可通过 getGenericXxx() 获取部分信息：
- ✅ 方法返回类型：如
public List→getUsers() getGenericReturnType()可得List - ✅ 父类/接口继承声明：如
class MyList extends ArrayList→getGenericSuperclass()可解析出泛型 - ❌ 局部变量或 new 表达式：
List→list = new ArrayList(); list.getClass().getGenericXXX()拿不到任何泛型
框架（如 Jackson、MyBatis）可靠处理泛型，靠的是显式传入类型凭证，比如 new TypeReference 或 >() {}
Class 参数，而不是依赖反射“读出”类型。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
