JUnit如何屏蔽受检异常？Java如何确定throwAs的类型变量T值？

先把你提到的代码贴出来方便大家理解：

public static RuntimeException throwAsUncheckedException(Throwable t) {
    Preconditions.notNull(t, "Throwable must not be null");
    ExceptionUtils.throwAs(t);
    // 安抚编译器：下面的代码永远不会执行
    return null;
}

@SuppressWarnings("unchecked")
private static <T extends Throwable> void throwAs(Throwable t) throws T {
    throw (T) t;
}

这个问题本质是Java泛型类型推断和编译期异常检查的巧妙结合，咱们一步步说清楚：

1. 调用上下文的约束是核心 #

当在throwAsUncheckedException里调用throwAs(t)时，有个关键前提：当前方法没有声明抛出任何受检异常（它的返回值是RuntimeException，但方法签名的throws列表是空的）。Java编译器对异常检查有个硬性规则：如果调用一个声明了throws X的方法，要么你捕获X，要么你自己的方法也声明throws X——除非X是不受检异常（RuntimeException、Error或它们的子类）。

2. 类型变量T的推断逻辑 #

编译器会自动推断T的类型来满足所有约束：

• 首先，T必须是Throwable的子类（方法声明了<T extends Throwable>，这是泛型的边界约束）；
• 其次，T必须是当前调用上下文允许抛出的异常类型——也就是非受检异常（因为当前方法没声明任何受检异常，没法通过声明抛出的方式绕过检查）。

最终编译器会把T推断为与传入的t兼容的非受检异常类型，甚至直接利用泛型擦除的特性，让T匹配成Throwable的某个子类，只要能骗过编译期检查就行。

3. 这个"黑魔法"的本质 #

泛型在编译后会被擦除，所以throw (T) t;在字节码里其实就是throw t;——强制类型转换只是给编译器看的。加上@SuppressWarnings("unchecked")是告诉编译器："我知道这个转换不安全，我故意这么做的"。

整个技巧的目的就是绕过Java的受检异常机制：让编译器以为我们抛出的是不需要声明的非受检异常，但运行时实际上可以抛出任意Throwable类型。

内容的提问来源于stack exchange，提问作者Tim Boemker