Java Sneaky抛出异常,类型擦除
有人可以解释这个代码吗?
public class SneakyThrow {
public static void sneakyThrow(Throwable ex) {
SneakyThrow.<RuntimeException>sneakyThrowInner(ex);
}
private static <T extends Throwable> T sneakyThrowInner(Throwable ex) throws T {
throw (T) ex;
}
public static void main(String[] args) {
SneakyThrow.sneakyThrow(new Exception());
}
}
这可能看起来很奇怪,但这不会产生强制转换异常,并且允许引发已检查的异常,而不必在签名中声明它,或者将其包装在未选中的异常中。
请注意,两者或 main 都没有声明任何已检查的异常,但输出是:sneakyThrow(...)
Exception in thread "main" java.lang.Exception
at com.xxx.SneakyThrow.main(SneakyThrow.java:20)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:601)
at com.intellij.rt.execution.application.AppMain.main(AppMain.java:120)
此黑客在龙目岛中使用,注释@SneakyThrow,它允许抛出检查的异常而不声明它们。
我知道它与类型擦除有关,但我不确定是否理解黑客攻击的每个部分。
编辑:我知道我们可以在a中插入一个,并且选中/未选中的异常区分是编译时的功能。Integer
List<String>
当从非泛型类型(如)转换为泛型类型(如)时,编译器会生成警告。但是,像上面的代码中那样直接转换为泛型类型并不常见。List
List<XXX>
(T) ex
如果你愿意,对我来说很奇怪的部分是,我理解JVM a内部并且看起来是一样的,但是上面的代码似乎意味着最后我们还可以将Cat类型的值分配给Dog类型的变量或类似的东西。List<Dog>
List<Cat>