Удаление исключенного Java исключения при переопределении метода интерфейса?

Question

Я использую Java 7 и наткнулся на что-то очень интересное. Расширяя интерфейс java.lang.Appendable с помощью моего собственного интерфейса, я больше всего переопределяю каждый метод для целей документации.

Все три метода, определенные в java.lang.Appendable throws IOException, которые, как я думал, также должны были бы объявить мои переопределяющие методы. Тем не менее, я закончил удаление предложения throws на одном из переопределенных методов и, как ни странно, компилятор Java 7 не жаловался на недостающее объявление. Поэтому я пошел вперед и удалил предложение throws из двух других методов и снова, никаких жалоб от компилятора.

Итак, почему я могу переопределить метод в интерфейсе и удалить его предложение throws? И когда это явление стало законным на Java?

Answer 1

Родительский интерфейс объявляет, что метод может выдать исключение. Реализация, которая не генерирует исключение, соответствует тому, которое может. В вашем интерфейсе объявляется, что реализации на самом деле не исключают исключения, но при этом соблюдают контракт родительского интерфейса.

Код, который присваивает ваши экземпляры переменной Appendable, должен поймать исключение, как определено, тогда как код, который обрабатывает ваши экземпляры, как ваш дочерний интерфейс, не потребуется.

Проще говоря:

interface Foo { 
    void m() throws Exception; 
} 

interface Bar extends Foo { 
    @Override 
    void m(); 
} 

void test(Foo foo, Bar bar) { 
    foo.m(); // must catch exception 
    bar.m(); // no exception declared to be thrown, so don't need to catch 
} 

Заметим также, что это тип переменной, а не объект, это важно:

Foo foo = new BarImpl(); 
foo.m(); // must catch exception