为什么泛型类无法继承自 Throwable

• 问题提出场景
• 原因
• 后言

问题提出场景

近期在看《Java 核心技术卷I》第八章泛型程序设计时提到泛型类是无法继承自 Throwable，倘若我们在 IDE 中写上类似 public class CustomException<T> extends Throwable 的代码，那么 IDE 会提示我们 Genergic class may not extends ‘java.lang.Throwable’。关于原因书上未做详尽解释，于是自己在 StackOverflow 上找到了答案，答案链接请戳我

原因

结合实例分析原因：

try {
    // may throws exception
    doSomeStuff();
} catch (SomeException<Integer> e) {
    doA();
} catch (SomeException<String> e) {
    doB();
}

假设当前我们有两个类 —— SomeException<Integer> 类和 SomeException<String> 类，它们都是继承自 Throwable 类的。而上述代码中的 doSomeStuff() 方法可能是抛出 SomeException<Integer> 异常或 SomeException<String> 异常，我们针对不同的异常做出不同的逻辑操作。这样看似完全没有问题，但是熟悉泛型的小伙伴都知道，还有一种叫做类型擦除机制的存在，何为类型擦除？此处不扩展了，通俗点说：java 中不存在泛型代码，泛型代码是写给我们看的，编译器会将泛型代码转换成普通类代码。所以无论是 SomeException<Integer> 或者是 SomeException<String> 经过编译器的类型擦除后都将会变成 SomeException。故上述代码是不可以运行的，因为当代码抛出异常时编译器是无法判断走哪个 catch 分支的，所以 java 为了避免这样的问题出现，故泛型类是无法继承自 Throwable 类的。

后言

类型擦除作为笔者本身来说还是了解一些的，最开始碰到这个问题无法下手的原因还是缺少实践，没有想到类似上述代码的实际场景，导致不能够理解该问题。最后，本博客说的是泛型类无法继承自 Throwable，而并不是泛型不能继承自 Throwable。例如以下代码是合法的：

public class Test<T extends Throwable> {}

泛型 T 是可以继承自 Throwable 的，这只是普通的限定符，和泛型类并无多大关联，为以防造成误解，特此提出。