Java类型推断中`throws α`边界的含义及JLS表述冲突疑问

这两处条款属于类型推断不同阶段的规则，适用边界完全不同，不存在本质冲突，你是混淆了硬约束和优化规则的优先级：

• 首先明确**§18.1.2 约束公式条款是前置硬约束，优先级最高**

  该规则作用于「边界生成阶段」，核心逻辑是：Lambda 表达式体抛出的所有受检异常，必须能被类型变量α的实例化类型覆盖，这是强制规则，只要有受检异常抛出，α的可选范围就被强制限定为这些受检异常的公共父类，没有调整空间。
  比如如果Lambda体抛出IOException和SQLException两个受检异常，那α的上界至少是Exception，不可能被实例化为RuntimeException，因为前两个异常不属于非受检异常体系，该阶段不涉及任何优化逻辑。

• 其次明确**§18.1.3 throws α边界条款是后置优化规则，仅在硬约束无强制要求时生效**

  该规则作用于「类型变量实例化阶段」，条款里的「若条件允许」指的就是前置硬约束没有限定α必须包含受检异常的场景：比如Lambda体没有抛出任何受检异常，α的可选范围是所有Throwable子类，此时优化规则会优先将α实例化为非受检异常类型，避免使用者无意义的捕获异常。

示例代码验证 #

@FunctionalInterface
interface ThrowingRunner<E extends Exception> {
    void run() throws E;
}

// 场景1：无受检异常抛出，优化规则生效，E被推断为RuntimeException
ThrowingRunner<?> r1 = () -> System.out.println("test");

// 场景2：抛出受检异常，硬约束生效，E被推断为IOException
ThrowingRunner<?> r2 = () -> {
    throw new java.io.IOException();
};

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