Java泛型：提升类型安全与代码效率

Java泛型通过类型擦除和类型约束在编译期强化类型安全，同时提升代码复用性与灵活性；其核心特性之一是类型不可变性——例如List与List

为什么 List 不能直接赋值给 List

这不是设计疏忽，而是泛型的“不可变性”（invariance）在起作用。Java 中 List 和 List 是两个完全无关的类型，哪怕 String 是 Object 的子类。

• 直接写 List 会编译报错
• 想安全地读取上界数据，用 List extends Object> 或更常用的是 List>（无界通配符）
• 如果要往里写，必须用下界： List super String> 才允许 add(String)
• 误用 ArrayList 原始类型（raw type）会关闭泛型检查，等于自废武功

泛型方法怎么写才不踩类型推断的坑？

泛型方法的 必须声明在返回值之前，否则编译器无法识别它是泛型而非返回类型。

• ✅ 正确：public static T getFirst(T[] array)
• ❌ 错误：public static T getFirst(T[] array)（语法非法）
• 调用时若参数类型模糊（比如传 null），编译器可能推断为 Object，导致后续 String s = getFirst(null) 编译失败
• 显式指定类型可破局：GenericUtil.getFirst(null)

泛型类型擦除后，运行时还能拿到泛型信息吗？

不能直接拿——ArrayList 和 ArrayList 运行时都是 ArrayList，getClass() 返回相同结果。

• 反射中 Field.getGenericType() 可以拿到 ParameterizedType，但仅限于字段/方法签名里**字面量写出**的泛型（如 private List names;）
• 局部变量、泛型方法形参、new 出来的对象，泛型信息在擦除后彻底丢失
• 别指望靠 instanceof 判断 list instanceof List——语法不合法，编译就拒
• Gson、Jackson 等库反序列化泛型集合时必须传 TypeToken，本质就是绕过擦除补一手类型描述

本篇关于《Java泛型：提升类型安全与代码效率》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于文章的相关知识，请关注golang学习网公众号！