Java泛型在运行时类型信息被擦除，仅保留Object或上界；类型推导仅限编译期且依赖上下文；绕过擦除需借助匿名子类捕获ParameterizedType；泛型数组创建非法。
Java泛型在运行时确实没有类型信息
编译后所有泛型参数都被擦除为 Object 或其上界，比如 List<String> 和 List<Integer> 在 JVM 层都是 List。这意味着你无法在运行时通过 instanceof 判断泛型实际类型，也不能直接用 new T() 创建泛型实例。
常见错误现象包括：
- 写
if (list instanceof List<String>)→ 编译报错 - 写
T t = new T();→ 编译失败，类型T不可实例化 - 反射获取
list.getClass().getTypeParameters()→ 返回空数组，不是你声明的String
类型推导只发生在编译期，且有明确触发条件
Java 的类型推导（type inference）依赖上下文，不是“自动猜”，而是按 JLS 规则匹配。它主要在以下三种场景生效：
- 调用泛型方法时省略类型参数，如
Utils.max(1, 2)推出<Integer> - 构造泛型类实例时使用菱形操作符
<>，如new ArrayList<>() - 赋值语句左侧有明确目标类型，如
Function<String, Integer> f = s -> s.length();
但注意：局部变量声明不参与推导。下面这行不会推导出 String：
立即学习“Java免费学习笔记（深入）”；
var list = new ArrayList<>(); // list 类型是 ArrayList<Object>，不是 ArrayList<String>
因为 var 是基于初始化表达式推导，而 new ArrayList<>() 本身没有足够信息；必须靠左侧类型或方法参数传递约束。
想绕过擦除？只能靠运行时能拿到的类型证据
真正保留泛型信息的唯一可靠方式，是让类型参数出现在运行时可访问的位置，比如方法签名中的参数、返回值，或继承自 TypeReference 这类带 ParameterizedType 的子类。
典型做法是传入一个匿名子类来捕获类型：
new TypeReference<List<String>>() {}
这个 {} 构造了一个匿名子类，JVM 会把父类的泛型信息记在子类的 getGenericSuperclass() 中。但注意：
- 不能用普通变量引用它：
TypeReference<List<String>> ref = new TypeReference<List<String>>() {}→ 擦除仍发生 - 必须是直接 new 出来的匿名类字面量，否则编译器不保留
Signature属性 - 这种技巧仅适用于
Class、Method、Field等能拿到java.lang.reflect.Type的场景
泛型方法与通配符的边界行为容易误判
写泛型方法时，<T extends Number> 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<? extends Number> 里 add 任何东西（除了 null），因为编译器不知道具体是 Integer 还是 Double。
最容易被忽略的一点：泛型数组创建非法，new ArrayList<String>[10] 编译失败，必须写成 new ArrayList[10]，再强制转型 —— 但这会触发 unchecked warning，且运行时无类型检查。
