问题提出场景
近期在看《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
的,这只是普通的限定符,和泛型类并无多大关联,为以防造成误解,特此提出。