为什么 Java 泛型可以强制转换类型（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。擦除后，类型绑定<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。

如果这些方法的目的是将已检查的异常转换为未检查的异常，则可以删除这些方法并替换

throwUnchecked(new Exception());    

与

throw new RuntimeException (new Exception());

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

Answer 2

因为RuntimeException extends Exception，这意味着Exception toThrow可以转换为T（即RuntimeException）。

附带说明，您可以通过以下方式避免@SuppressWarnings：

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

但是，有了这个，您必须将 Exception 从 throwUnchecked() 方法转换为 RuntimeException 或将其调整为 Generic，如下所示：

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

最后，在main() 方法中，您可以这样称呼它：

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

此外，您可以通过将抛出的异常包装到 RuntimeException 来改进这一点：

public static <T extends Exception> void throwUnchecked(T toThrow) {
    throw new RuntimeException(toThrow);
}

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