Java 8中异常类型推断的独特功能

Java 8中异常类型推断的独特功能

的T

sneakyThrow

推断为

RuntimeException

。可以从有关类型推断的语言规范（http://docs.oracle.com/javase/specs/jls/se8/html/jls-18.html）中遵循此规则。

首先，在第18.1.3节中有一条注释：

形式的边界

throws α

纯粹是信息性的：它指导分辨率优化α的实例化，因此，如果可能的话，它不是经过检查的异常类型。

这没有任何影响，但是它使我们指向了“解析”部分（18.4），该部分获得了有关特殊情况下的推断异常类型的更多信息：

......否则，如果绑定集包含

throwsαi

，和α我的正常上限的，顶多

Exception

，

Throwable

和

Object

，然后TI =

RuntimeException

。

这种情况适用于

sneakyThrow

-唯一的上限是

Throwable

，因此根据规范

T

推断为

RuntimeException

，因此可以编译。该方法的主体是无关紧要的-
未经检查的强制转换在运行时成功，因为它实际上并没有发生，从而留下了可以击败编译时检查的异常系统的方法。

nonSneakyThrow

不会编译，因为该方法的

T

下限为

Exception

（即

T

必须是

Exception

或

Exception

它本身的超类型），这是一个已检查的异常，这是由于调用该方法的类型而导致的，因此

T

推断为

Exception

。