17370845950

Java泛型是编译期类型检查机制，非语法糖；擦除后运行时无泛型信息，故禁用new T()、instanceof T、T.class及泛型异常捕获。

Java泛型不是语法糖，而是编译期强制类型检查的机制；擦除后运行时无泛型信息，所以不能用 new T()、不能判断 instanceof T、也不能直接获取 T.class。

泛型类与泛型方法怎么声明才不报错

泛型类必须在类名后紧跟类型参数列表，方法则需在返回类型前声明；类型参数命名习惯用单个大写字母（E 表示 Element，K/V 表示 Key/Value），避免和已有类名冲突。

• 错误写法：public class Box implements Comparable —— 缺少类型参数，应为 Box
• 正确写法：public class Box implements Comparable>
• 泛型方法必须显式声明类型参数：public T getFirst(List list)，不能省略
• 静态方法不能访问外部类的类型参数，所以必须自己声明：public static void print(T item)

通配符 ?、? extends T 和 ? super T 的实际用途

通配符解决泛型不可协变的问题（List 不是 List 的子类型）。选择取决于你是「读」还是「写」数据。

• List>：只允许调用返回 Object 的方法（如 get()），不能 add() 任何对象（除了 null）
• List extends Number>：可安全读取为 Number，但不能 add()（除了 null），因为具体类型未知（可能是 Integer 或 Double）
• List super Integer>：可安全写入 Integer 及其子类，但读取只能当 Object 用

public static double sumNumbers(List numbers) {
    double sum = 0.0;
    for (Number n : numbers) sum += n.doubleValue();
    return sum;
}

public static  void addToSuper(List dest, T item) {
    dest.add(item); // 安全：T 一定兼容 ? super T
}

类型擦除带来的限制与绕过方式

泛型信息在编译后全部消失，JVM 看不到 List 和 List 的区别，只有原始类型 List。这导致一些直觉上可行的操作无法实现。

• 不能用 new T()：改用 Supplier 或传入 Class 对象
• 不能 if (obj instanceof T)：擦除后 T 不存在，只能判断原始类型（如 obj instanceof List）
• 不能定义 static T field：静态变量属于类而非实例，而类型参数属于实例化时的类型，二者不匹配
• 数组不能是具体泛型类型：new ArrayList[10] 编译失败；可用 new ArrayList[10]（原始类型数组），但会警告 unchecked

最常被忽略的一点：泛型异常类不能捕获具体类型参数，catch (MyException e) 是非法语法——异常类型本身不能带泛型参数，因为 JVM 异常处理依赖运行时类型，而泛型已被擦除。