java泛型通过编译期强约束保障类型安全、运行时类型擦除实现复用兼容，核心是分阶段权衡：编译期检查拦截非法操作、擦除支撑跨版本兼容、方法级泛型提升灵活性、接受擦除限制并采用class等替代方案。
Java 泛型的设计本质就是在复用性和类型安全之间做权衡，而这个平衡不是靠妥协达成的，而是通过编译期强约束 + 运行时轻量实现来完成的。关键不在于“牺牲什么”，而在于“在哪一阶段做哪件事”。
用编译期检查守住类型安全底线
泛型的类型安全性几乎全部由编译器保障：它会在你写代码时就拦截非法操作，比如往 List<string></string> 里 add(42) 或把 get() 结果当 int 用。这种检查不需要运行时开销，也不依赖反射或额外元数据。只要代码能通过编译，基本就排除了 ClassCastException 的风险。
- 明确声明类型参数（如
<t extends comparable>></t>），让编译器知道你能对T做哪些操作 - 避免裸类型（raw type），比如用
List<string></string>而不是List，否则会失去类型检查能力 - 方法返回值尽量用泛型类型（如
public T get()），而不是Object，让调用方免于强制转换
靠类型擦除支撑跨版本兼容与复用
泛型信息在字节码里被擦除，意味着 List<string></string> 和 List<integer></integer> 运行时都是同一个 List 类——这看似是“损失”，实则是复用的基石：
- 旧代码（JDK 1.4）的
List可以无缝接收新代码传来的List<string></string> - 框架（如 Spring、MyBatis）无需为每种泛型组合生成专用类，统一处理原始类型即可
- 集合操作（排序、遍历、序列化）逻辑完全复用，不因类型不同而重复编译
用方法级泛型和边界限定提升灵活性
当类级泛型不够用时（比如要处理多种子类型），把泛型移到方法上，并配合类型边界，既能保持安全，又不牺牲通用性：
- 写成
<t extends animal> void feed(List<t> animals)</t></t>，既允许传List<dog></dog>也允许List<cat></cat>，还能在方法内安全调用animal.eat() - 对 Pair 等复合结构去重时，用
<t> List<pair t>> deduplicate(...)</pair></t>，让调用方决定T是什么，编译器全程跟踪类型流 - 避免在运行时靠
instanceof或getClass()判断泛型实际类型——那是绕过编译检查，反而破坏安全
接受擦除限制，换种方式解决问题
有些事泛型确实做不了（比如 new T()、static T field、泛型数组），但这不是缺陷，而是设计取舍。对应场景有更稳妥的替代方案：
- 需要运行时类型信息？用
Class<t></t>参数显式传入，如new ArrayList<t>()</t>改为createList(Class<t> clazz)</t> - 要对泛型集合做反射操作？通过
ParameterizedType从字段或方法签名中提取泛型信息（仅限编译期保留的位置） - 静态工具方法无法使用类泛型？那就定义成泛型方法，
public static <t> T defaultValue()</t>同样类型安全
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
