SCJP - 具有异常处理的覆盖方法引发编译器错误

Question

在 Kathey Sierra 的 SCJP 书中，摘录如下：

---

如果一个方法被覆盖但你使用了多态（超类型） 使用覆盖方法引用子类型对象的引用， 编译器假定您正在调用 方法。如果超类型版本声明了一个检查异常，但是 覆盖子类型方法没有，编译器仍然认为你是 调用声明异常的方法（第 5 章会详细介绍）。

我们来看一个例子：

class Animal {
    public void eat() throws Exception {
        // throws an Exception
    }
}
class Dog2 extends Animal {
    public void eat() { /* no Exceptions */ }
    public static void main(String[] args) {
        Animal a = new Dog2();
        Dog2 d = new Dog2();
        d.eat();   // ok
        a.eat();   // compiler error - 
                   // unreported exception
    }
}

由于在 Animal 上声明了 Exception，此代码将无法编译 吃（）方法。即使在运行时，eat() 也会发生这种情况 使用的方法是 Dog 版本，它没有声明 例外。

---

现在我不明白的是，a.eat(); 怎么会引发编译器错误？ （即使 Super 有，child 中的重写函数也可能没有任何异常）

Answer 1

当你看代码时，你可以意识到：当你调用eat()的对象是

• 狗，那么调用不会抛出异常
• 一个动物，那么这个调用可能会抛出

因此，第二种用法会导致编译器向您抱怨。

重写方法并减少 throws 签名非常好。当子类从不抛出时，知道如何处理异常的调用者肯定会工作。

Answer 2

编译器不知道所引用对象的真实类型。它只检查分配是否有效。

对a.eat 的调用会导致编译错误，因为编译器不知道a 引用的Animal 是Dog2。它是根据引用 Dog2 的变量的类型来决定是否可以抛出已检查的异常。

编译器不聪明。它不运行代码，也不跟踪分配给变量a 的对象的实际类。

正如当您使用其超类的类型引用一个对象时，您不会看到特定于子类的方法，您也会看到超类的 throws 子句，而不是子类的方法。

如果你在最后一行给子类添加一个强制类型转换：

((Dog2)a).eat();

那么你就不会得到未报告的异常编译错误。