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

Question

在此站点上为另一个答案编写代码时，我遇到了这种特殊性：

static void testSneaky() {
  final Exception e = new Exception();
  sneakyThrow(e);    //no problems here
  nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception
}

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

static <T extends Throwable> void nonSneakyThrow(T t) throws T {
  throw t;
}

首先，我很困惑为什么sneakyThrow对编译器的调用正常。T当未提及任何未经检查的异常类型时，它推断出什么可能的类型？

其次，接受这一工作原理后，为什么编译器会在nonSneakyThrow调用中抱怨？他们看起来非常相似。

Answer 1

的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。