java - Java为什么不允许Throwable的通用子类？

根据Java Language Sepecification第三版:



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

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

最佳答案

正如标记所说，类型是不可更改的，在以下情况下会出现问题:

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

SomeException<Integer>和SomeException<String>都被擦除为相同的类型，JVM无法区分异常实例，因此无法确定应执行哪个catch块。