Java 绕过编译器检查抛出“受检查的”错误

Java 绕过编译器检查抛出“受检查的”异常
个别特殊情况下，我们可能想抛出受检查的异常但却并不想在方法上加入throws XXException的signature

比如下面的代码不能成功编译：

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

需要改成这样：

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

怎么破？
第一种办法：
当然是使用大名鼎鼎的sun.misc.Unsafe了
怎么拿到sun.misc.Unsafe实例这里就不详细说了（反射）
然后你只要使用如下代码就妥妥的了

UNSAFE.throwException(t);

如果你的平台上不能顺利的拿到sun.misc.Unsafe呢？怎么破？
关于受检查的异常，在java中只是在前端编译器javac编译时检查，所以如果能绕过编译器的检查所，就不必在方法上添加 throws Exception的signature了

第二种办法：
利用泛型骗过javac
如下测试代码：

public class ThrowUtil {public static void main(String[] args) {ThrowUtil.<RuntimeException>throwException0(new Exception());}@SuppressWarnings("unchecked")public static <E extends Throwable> void throwException0(Throwable t) throws E {throw (E) t;}}

试试吧，它可以通过javac编译
为啥？
多数朋友最大的疑问可能在这里：

throw (E) t; // 运行期间不变成了throw (RuntimeException) t了吗？这是要ClassCastException的节奏啊

简单说明下原因吧
由于泛型只是个语法糖，在javac编译后会将类型擦除(javac并不会生成checkcast指令)，
所以代码{throw (E) t;}在运行期实际是抛出Throwable（并没有类型转换），所以在运行期不会抛出ClassCastException异常

以下为 javap -p -v ThrowUtil 生成的伪字节码:

 private static <E extends java/lang/Throwable> void throwException0(java.lang.Throwable) throws E; flags: ACC_PRIVATE, ACC_STATIC Code: stack=1, locals=1, args_size=1 0: aload_0 1: athrow// 注意在athrow之前并没有checkcast指令 LineNumberTable: line 294: 0 LocalVariableTable: StartLengthSlotNameSignature 020tLjava/lang/Throwable; Exceptions: throws java.lang.Throwable// athrow的类型是java.lang.Throwable Signature: #271// <E:Ljava/lang/Throwable;>(Ljava/lang/Throwable;)V^TE;

如上，javac并没有生成checkcast指令，ClassCastException也就不会出现了

希望能帮到有如此需求的朋友

查看更多 下一篇