Java泛型具有不可变性,List与List是无关类型,故不能直接赋值;读取用List,写入需用List

泛型 是 Java 在编译期实现类型安全的“过滤网”——它不改变运行时行为,但能提前拦住 ClassCastException,同时省掉一堆 (String)、(Integer) 强制转换。
为什么 List 不能直接赋值给 List
这不是设计疏忽,而是泛型的“不可变性”(invariance)在起作用。Java 中 List 和 List 是两个完全无关的类型,哪怕 String 是 Object 的子类。
- 直接写
List会编译报错 - 想安全地读取上界数据,用
List extends Object>或更常用的是List>(无界通配符) - 如果要往里写,必须用下界:
List super String>才允许 add(String) - 误用
ArrayList原始类型(raw type)会关闭泛型检查,等于自废武功
泛型方法怎么写才不踩类型推断的坑?
泛型方法的 必须声明在返回值之前,否则编译器无法识别它是泛型而非返回类型。
- ✅ 正确:
public staticT 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,本质就是绕过擦除补一手类型描述










