Если класс C наследует метод по умолчанию, сигнатура которого равна переопределение эквивалентно другому методу, унаследованному C, если только не существует абстрактного метода, объявленного в суперклассе C и унаследованного C, который эквивалентен переопределению этим двум методам.
Определение «эквивалента переопределения» можно найти здесь.
Теперь рассмотрим следующий код:
Код: Выделить всё
interface I {
default void m(List l) {}
}
class A {
public void m(List l) {}
}
class B extends A implements I {}
Класс B наследует метод m(List) по умолчанию от интерфейса I code> из его суперкласса A. Эти два метода эквивалентны переопределению, поскольку сигнатура m в интерфейсе I является подподписью сигнатуры m, определенной в классе A >.
Согласно правилу, этот код не должен компилироваться, так как в цепочке наследования нет абстрактного метода, переопределяющего оба метода. Однако код компилируется.
Почему он компилируется? Если эта программа не является контрпримером правилу, то какую ошибку я допустил в своих рассуждениях?
Подробнее здесь: https://stackoverflow.com/questions/790 ... nt-methods
