类型推断中throws α约束疑问：为何优先推断非受检异常？

背景规则 #

根据JLS 18.1.3节的约束规则：

• 当约束类型为‹LambdaExpression →throws T›时
• 推导得到的对应约束为throws α（其中推断变量α出现在throws子句中）

JLS对此的官方说明：

throws α形式的约束仅为提示性，它指导解析过程优化α的实例化，尽可能使其为非受检异常类型。

疑问解答 #

为什么要优先优化为非受检异常？ #

这个设计核心是平衡Lambda的简洁性与代码兼容性，具体原因如下：

1. 贴合Lambda的使用场景
   Lambda的设计初衷是简化匿名函数的编写，大多数场景下开发者编写Lambda时，要么抛出的是RuntimeException这类非受检异常，要么希望代码不用额外处理异常声明。如果默认推断为受检异常，会强制调用方添加try/catch或者在方法上声明抛出，反而破坏了Lambda的简洁性，增加不必要的代码冗余。

2. 保证向后兼容性
   Java引入Lambda之前，大量已有的函数式接口（比如早期自定义的任务执行接口）的方法并没有声明throws子句。如果Lambda的异常推断优先选择受检异常，那么当Lambda中抛出受检异常时，会直接与接口的方法签名冲突，导致编译失败。而优先推断为非受检异常，就能让这类Lambda顺利适配已有接口，无需修改旧接口的定义，最大程度保证了代码的向后兼容。

举个直观的例子：
假设有一个遗留的函数式接口：

@FunctionalInterface
interface LegacyTask {
    void execute(); // 无throws声明
}

如果我们编写如下Lambda：

LegacyTask task = () -> { 
    // 假设这里的异常类型是通过α推断得到的
    throw someInferredException; 
};

如果编译器优先将α推断为受检异常，这段代码会直接编译报错；而按JLS的优化规则，编译器会优先把α实例化为非受检异常，让代码正常编译运行，符合开发者“快速编写适配代码”的需求。

内容的提问来源于stack exchange，提问作者theutonium.18