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：

立即学习“Java免费学习笔记（深入）”；

var list = new ArrayList<>(); // list 类型是 ArrayList