java - 在覆盖方法中检查 'throws' 的异常

Question

我在java中用方法覆盖练习异常处理机制......我的代码如下:

class base {
    void show() {    
        System.out.println("in base class method");    
    }
}

class derived extends base {
    void show() throws IOException {    
        System.out.println("in derived class method");
        throw new IOException();
    }
}

class my {
    public static void main(String[] args) {  
        try {
            base b = new derived();
            b.show();
        }    
        catch (IOException e) {
            System.out.println("exception occurred at :" + e);
        }   
    }
}

显示错误:

因此，我更正了以下内容:

void show() throws IOException{

它工作正常......

我又做了一个实验:

void show() throws Exception{

但它也显示错误:

据我了解，这是因为重写方法的 throws 子句应该在父类(super class)方法的 throws 子句中提及确切的检查异常。

与第二种情况一样，如果我在 throws 子句中写入 IOException 的父类(super class) Exception，它也会显示错误。为什么？即使 Exception 是所有异常的父类。

我刚刚试验过...这个错误说明了什么我不知道...

任何人都可以解释它说的是什么以及在覆盖方法的 throws 子句中提及检查异常的约束是什么？

Answer 1

样本中有两个相关的错误:

1) 您的基类方法为派生类方法提供了"template"或基本标准。

因此，基类应该声明一个超集，即派生类的相同异常类或基异常类。您不能声明它什么都不抛出，因为那样的话标准将不匹配。

所以如果你的派生类方法是这样的:

class Derived extends Base {
    void show() throws IOException {
        //...
    }
}

那么基类方法“必须”是:

class Base {
    void show() throws /*Same or base classes of IOException*/ {
        //...
    }
}

所以这两个都有效:

class Base {
    void show() throws Exception {
        //...
    }
}

或

class Base {
    void show() throws Throwable {
        //...
    }
}

2) 当您尝试上述操作时，show 方法的整体声明现在变成了throws Exception。因此，任何使用此 show 的人都必须捕获该异常。

在您的 main 方法中，您正在捕获 IOException。这将不再有效，编译器会提示“好吧，你正在捕获 IOException，那么来自 Exception 的所有其他可能性呢？”这是您显示的第二个错误。

要解决此问题，请更改 main 方法 catch 以包含在基类中声明的 Exception:

class My {
    public static void main(String[] args) {
        try {
            base b = new derived();
            b.show();
        }
        /* NOTE: CHANGED FROM IOException TO Exception */
        catch (Exception e) {
            System.out.println("exception occurred at :" + e);
        }   
    }
}