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

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

问题提出场景

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

原因

结合实例分析原因:

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

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

后言

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

public class Test {}

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

你可能感兴趣的:(java,泛型,java)