java - 为什么 Java 泛型可以强制转换不可赋值的类型(Every Exception to RuntimeExecption)？

Question

我想知道为什么下面的代码有效:

public static void throwUnchecked(Exception e) {
    TestGenericExceptionCast.<RuntimeException> doThrowUnchecked(e);
}

@SuppressWarnings("unchecked")
private static <T extends Exception> void doThrowUnchecked(Exception toThrow) throws T {
    throw (T) toThrow;
}

public static void main(String[] args) {
    throwUnchecked(new Exception());
}

为什么异常可以通过泛型转换为RuntimeException？

知道了:

根本没有转换发生，因为没有对象被分配给类型为 T 的东西。

编译器被骗了，再也看不出它是一个已检查的异常。

Answer 1

throw (T) toThrow;并没有真正施展 toThrow至 RuntimeException .删除后，类型绑定(bind) <T extends Exception>意味着实际发生的转换是 throw (Exception) toThrow; ，效果非常好。

但是，如果您将签名更改为:

private static <T extends RuntimeException> void doThrowUnchecked(Exception toThrow) throws T

它仍然会通过编译(因为 RuntimeException 是 Exception 的子类型)，但是 throwUnchecked(new Exception());会抛出 ClassCastException ，因为异常的运行时类型 - java.lang.Exception - 不能转换为 java.lang.RuntimeException .

如果这些方法的目的是将checked exception转换为unchecked exception，可以删除这些方法并替换

throwUnchecked(new Exception());    

与

throw new RuntimeException (new Exception());

这会将已检查的异常包装在未检查的异常中。