java中方法的未擦除throws子句

Question

更准确地说，假设B是一个类或接口，a是B的超类或超接口，B中的方法声明M2重写或隐藏a中的方法声明M1。然后：

>

如果M2有一个throws子句提到任何检查的异常类型，那么M1必须有一个throws子句，否则将发生编译时错误。

对于M2的throws子句中列出的每个检查异常类型，相同的异常类或其一个超类型必须出现在M1的throws子句的擦除(§4.6)中；否则，将发生编译时错误。

如果m1的未擦除的throws子句不包含M2的throws子句中的每个异常类型的超类型（如果需要，可以修改为m1的类型参数），则会出现编译时未检查的警告，除非@suppresswarnings禁止

有人能解释一下这是什么意思吗？M1的未擦除的throws子句？

Answer 1

考虑以下示例

class Base1 extends Exception {}
class Base2 extends Exception {}

class Child1 extends Base1 {}
class Child2 extends Base2 {}
class Child3 extends Base2 {}

class A {
    // m1
    protected <T extends Base2> void method() throws T {

    }
}

class B extends A {
    // m2
    protected void method() throws Child2 {

    }
}

使用javac编译此代码会产生以下警告：

 warning: [unchecked] method() in B cannot override <T>method() in A
    protected void method() throws Child2 {
                   ^
  overridden method does not throw Child2
  where T is a type-variable:
    T extends Base2 declared in method <T>method()

因为观察基方法，child3也可能被抛出，但是观察重写方法，只能抛出child1。