java泛型是编译期机制，由类型擦除、桥接方法和通配符协同构成闭环：擦除保障jvm兼容，桥接方法修复多态，通配符提供类型灵活性。
Java泛型不是运行时特性，而是一套编译期保障机制。类型擦除是根基，桥接方法是多态补丁，通配符是灵活性接口——三者共同构成一个“编译期强约束 + 运行时轻量兼容”的闭环设计。
类型擦除：泛型的底层执行前提
它不是缺陷，而是刻意为之的设计选择。编译器将所有泛型参数（如 T、List
- 保证 JVM 字节码零改动，与 Java 5 之前代码完全兼容
- 所有泛型实例（List
、List ）在运行时都变成原始类型 List - 导致无法在运行时获取泛型实际类型（getClass().getTypeParameters() 为空）、不能 new T()、不能基于泛型重载方法
桥接方法：擦除后多态语义的修复机制
类型擦除会破坏继承链中的方法签名一致性。比如子类重写泛型父类方法时，擦除后可能形参类型不匹配，JVM 就无法识别这是重写。桥接方法就是编译器自动生成的“适配器”，用来兜住这个缺口。
- 由编译器隐式生成，带 bridge 和 synthetic 标记，普通代码不可见
- 典型场景：继承 ArrayList
并重写 add(String)，编译后需同时保留 add(Object) 桥接方法，以满足 List 接口契约 - 没有桥接方法，泛型类就无法正确参与多态分派，override 语义将失效
通配符：在擦除限制下拓展类型兼容性
由于泛型本身是不变的（List
-
extends T>（上界）：只读场景，如 process(List extends Number>) 可接收 List
或 List -
super T>（下界）：只写场景，如 fill(List super Integer>, Integer) 可接受 List
或 List - >（无界）：类型安全的泛化操作，如 printList(List>)，仅能调用 Object 方法
三者协同形成的闭环逻辑
类型擦除决定泛型必须“瘦身”运行；桥接方法确保擦除后仍能正确覆盖与调用；通配符则在擦除导致的类型割裂中，提供受控的、编译期可验证的类型宽泛能力。它们不各自独立，而是一环扣一环：
- 没有擦除，就不需要桥接方法，也不用通配符来弥补类型关系断裂
- 没有桥接方法，泛型继承体系在运行时就会崩溃，多态退化为静态绑定
- 没有通配符，泛型将极度僵硬——哪怕只是想把 List
传给一个处理动物的函数，都会编译失败
这个闭环让 Java 在不修改 JVM 的前提下，实现了接近真正泛型的表达力与安全性。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
