java - 为什么 Java 不允许 Throwable 的泛型子类？

Question

根据Java Language Sepecification ，第三版:

It is a compile-time error if a generic class is a direct or indirect subclass of Throwable.

我想了解为什么做出这个决定。通用异常有什么问题？

(据我所知，泛型只是编译时语法糖，它们无论如何都会在 .class 文件中转换为 Object，因此有效地声明泛型类就好像其中的所有内容都是 Object。如果我错了，请纠正我。)

Answer 1

正如马克所说，类型是不可具体化的，这在以下情况下是一个问题:

try {
   doSomeStuff();
} catch (SomeException<Integer> e) {
   // ignore that
} catch (SomeException<String> e) {
   crashAndBurn()
}

两者SomeException<Integer>和SomeException<String>被删除为相同类型，JVM 无法区分异常实例，因此无法区分是哪个 catch应该执行 block 。