Java为什么不允许Throwable的通用子类?

问题描述

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

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

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

解决方法

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

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