Почему это считается необработанным исключением?

Question

Следующий код не компилируется из-за необработанного исключения, хотя мне кажется, что там не должно быть никаких проблем:

class Car { 
    public void drive() throws Exception { 
     System.out.println("Driving..."); 
    } 
} 

public class Sedan extends Car { 
    public void drive() { 
     System.out.println("Driving Sedan..."); 
    } 
    public static void main(String[] args) { 
     Car c = new Sedan(); 
     c.drive(); //unhandled exception! 
    } 
} 

Если это не очевидно для компилятора, что, когда наиважнейшая метод c.drive() является вызванное, исключенное исключение не будет выбрано? Почему именно потому, что ссылка имеет тип Car вместо типа Sedan, мы должны рассматривать диск так, как если бы он все еще выдавал проверенное исключение? Отличительный метод этого не делает!

Answer 1

К сожалению, нет, это не очевидно для компилятора.

Компилятор по существу смотрит на Car c и на звонок drive. Компилятор не знает тип времени выполнения объекта, на который указывает c. Из-за этого он оценивает подпись метода Car.drive(), которая включает в себя throws Exception.

Чтобы уточнить, что, если каким-либо другим способом c был переназначен объекту SUV, который все еще выбрасывает это исключение? Компилятор не может узнать состояние объекта к моменту вызова метода drive.

Answer 2

Вы можете это исправить с

1.

Sedan c = new Sedan(); 
c.drive(); 

2.

или

Car c = new Sedan(); 
((Sedan) c).drive();