Java中不能定义泛型异常类或在catch中捕获类型参数T，因JVM类型擦除导致运行时无法区分泛型异常类、T无实际类信息；替代方案包括throws中使用类型参数、上界限定、泛型字段封装、异常包装器模式。
Java 中不能定义泛型异常类，也不能在 catch 块中直接捕获泛型类型参数。这不是语法限制疏漏，而是由 JVM 的类型擦除机制和异常处理的运行时匹配逻辑共同决定的硬性约束。
为什么泛型异常类无法定义
你不能写这样的代码：
class MyException
根本原因在于：异常类必须在运行时有唯一、可识别的类身份。而泛型类在编译后所有类型参数都会被擦除（例如 MyException<string></string> 和 MyException<integer></integer> 都变成 MyException），JVM 无法区分它们。这会导致 catch 分支语义模糊——比如同时存在 catch (MyException<string>)</string> 和 catch (MyException<integer>)</integer>，运行时根本无法判断该进哪个分支。
立即学习“Java免费学习笔记（深入）”；
为什么 catch 中不能用类型参数 T
以下写法非法：
catch (T e) —— 编译不通过，提示 “Cannot use the type parameter T in a catch block”。
因为 catch 是运行时行为，JVM 必须根据字节码中明确的类名（如 IOException.class）去匹配异常对象。而 T 只是编译期占位符，运行时不存在对应的真实类，JVM 无从加载或比对。
合法且实用的替代方案
-
在 throws 中使用类型参数：方法签名可以声明
<E extends Throwable> void doWork() throws E，调用方需传入具体异常类型（如IOException），编译器据此做检查；但实际抛出时仍需是那个具体类的实例。 -
用类型限定约束泛型参数：允许
class Processor<T, E extends Throwable>，这里E是上界限定，并非泛型类自身继承Throwable，不触发擦除冲突。 -
用具体异常类携带泛型数据：定义非泛型异常（如
ValidationException），内部用泛型字段封装上下文（如private final List<String> errors），既保持类型安全，又完全兼容 try-catch 机制。 -
异常包装器模式：将原始异常包装进一个运行时异常（如
GenericException extends RuntimeException），在上层用instanceof或getCause()判断真实类型，实现“伪泛型捕获”。
典型错误示例与修正
❌ 错误写法：
public <T extends Exception> void test() {
try { ... }
catch (T e) { ... } // 编译失败
}
✅ 推荐写法：
public void test() throws IOException {
try { ... }
catch (IOException e) { ... } // 明确类型
}
或
public <E extends Throwable> void test2() throws E {
// 调用方必须确保传入的是具体异常类，如 IOException.class
throw (E) new IOException();
}
