Java泛型擦除与类型推导解析

今日不肯埋头，明日何以抬头！每日一句努力自己的话哈哈~哈喽，今天我将给大家带来一篇《Java泛型擦除与类型推导详解》，主要内容是讲解等等，感兴趣的朋友可以收藏或者有更好的建议在评论提出，我都会认真看的！大家一起进步，一起学习！

Java泛型在运行时类型信息被擦除，仅保留Object或上界；类型推导仅限编译期且依赖上下文；绕过擦除需借助匿名子类捕获ParameterizedType；泛型数组创建非法。

Java泛型在运行时确实没有类型信息

编译后所有泛型参数都被擦除为 Object 或其上界，比如 List 和 List 在 JVM 层都是 List。这意味着你无法在运行时通过 instanceof 判断泛型实际类型，也不能直接用 new T() 创建泛型实例。

常见错误现象包括：

• 写 if (list instanceof List) → 编译报错
• 写 T t = new T(); → 编译失败，类型 T 不可实例化
• 反射获取 list.getClass().getTypeParameters() → 返回空数组，不是你声明的 String

类型推导只发生在编译期，且有明确触发条件

Java 的类型推导（type inference）依赖上下文，不是“自动猜”，而是按 JLS 规则匹配。它主要在以下三种场景生效：

• 调用泛型方法时省略类型参数，如 Utils.max(1, 2) 推出
• 构造泛型类实例时使用菱形操作符 <>，如 new ArrayList<>()
• 赋值语句左侧有明确目标类型，如 Function f = s -> s.length();

但注意：局部变量声明不参与推导。下面这行不会推导出 String：

var list = new ArrayList<>(); // list 类型是 ArrayList<Object>，不是 ArrayList<String>

因为 var 是基于初始化表达式推导，而 new ArrayList<>() 本身没有足够信息；必须靠左侧类型或方法参数传递约束。

想绕过擦除？只能靠运行时能拿到的类型证据

真正保留泛型信息的唯一可靠方式，是让类型参数出现在运行时可访问的位置，比如方法签名中的参数、返回值，或继承自 TypeReference 这类带 ParameterizedType 的子类。

典型做法是传入一个匿名子类来捕获类型：

new TypeReference<List<String>>() {}

这个 {} 构造了一个匿名子类，JVM 会把父类的泛型信息记在子类的 getGenericSuperclass() 中。但注意：

• 不能用普通变量引用它：TypeReference> ref = new TypeReference>() {} → 擦除仍发生
• 必须是直接 new 出来的匿名类字面量，否则编译器不保留 Signature 属性
• 这种技巧仅适用于 Class、Method、Field 等能拿到 java.lang.reflect.Type 的场景

泛型方法与通配符的边界行为容易误判

写泛型方法时， void foo(T t) 和 void bar(Number n) 表面相似，但前者支持类型推导，后者不保留原始类型。例如：

<T extends Number> T identity(T t) { return t; }
Number n = identity(42); // OK，但 T 被推为 Integer
Integer i = identity(42); // OK，编译器能推出 T = Integer

而通配符 ? extends Number 是不可变的 —— 你不能往 List 里 add 任何东西（除了 null），因为编译器不知道具体是 Integer 还是 Double。

最容易被忽略的一点：泛型数组创建非法，new ArrayList[10] 编译失败，必须写成 new ArrayList[10]，再强制转型 —— 但这会触发 unchecked warning，且运行时无类型检查。

今天关于《Java泛型擦除与类型推导解析》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！