泛型throws子句在方法重写中的处理及JLS规则相关疑问

核心原因是泛型擦除带来的规则冲突：当泛型方法重写时，未擦除的源代码层面不满足异常重写规则，但擦除后的字节码层面符合规则，编译器无法直接抛出编译错误（因为字节码是合法的），只能通过unchecked警告提示潜在的类型不安全。

你提到的两条严格规则（父类方法必须覆盖子类异常的超类型、子类异常数不超过父类），是针对非泛型方法或擦除后的泛型方法的编译错误规则。但在泛型场景下，擦除机制会让未擦除的泛型签名和擦除后的字节码签名出现不一致，这就导致了"仅警告不报错"的特殊情况。

对应示例 #

泛型父类定义 #

class GenericParent<T extends Exception> {
    public void doSomething() throws T {
        // 方法实现
    }
}

子类重写（触发unchecked警告） #

class Child extends GenericParent<IOException> {
    @Override
    public void doSomething() throws SQLException {
        // 方法实现
    }
}

编译结果 #

编译上述代码时，编译器会输出如下unchecked警告，而非编译错误：

warning: [unchecked] overriding method doSomething in class GenericParent
    public void doSomething() throws SQLException {
                                       ^
  overridden method does not throw SQLException
1 warning

示例解释 #

• 未擦除层面：父类的doSomething()抛出IOException（因为子类指定了T=IOException），但子类抛出SQLException——SQLException并不是IOException的子类，也没有被IOException覆盖，完全不满足你提到的两条规则。
• 擦除层面：泛型擦除后，父类的方法签名变为void doSomething() throws Exception（因为T的上界是Exception），子类的方法抛出SQLException（Exception的子类），这完全符合重写的异常规则。

编译器不能直接报错（因为擦除后的字节码是合法的重写），只能通过unchecked警告提醒开发者：这里在泛型层面存在类型不安全的风险，运行时可能出现意外的异常处理问题。

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