Уточнить концепцию множественного наследования: может возникнуть проблема с структурой бриллианта?

Question

Предположим, у вас есть два интерфейса I1 и I2 оба интерфейса имеют один и тот же метод

1)public int add(int a) throws exception e1 //(Interface 1) 

2)public int add(int a) throws exception e2 //(Interface 2) 

теперь класс реализует как I1 и I2.

@override 
public int add(int a) exception e1 
{ 
//adding operation 
} 

Примечание: Я понимаю, что если реализовать несколько интерфейсов, которые имеют тот же метод, то только одна реализация будет там в реализующем классе.

1. ли компилятор делать вывод, является ли этот метод от I1 или I2 на основе бросках положение? Требуется ли уточнение подписи метода? (Я знаю, что подпись включает имя и параметры, переданные.)

2. Если мы реализовали оба интерфейса, а затем мы выбрасываем только e1, компилятор разрешит это, поскольку класс реализации на самом деле не реализует оба интерфейса? это вызовет бриллиант структура проблема?

3. Нужно ли реализовать тот же метод с предложением throws e1 и 2-е время e2? Когда я попробовал это, компилятор сказал мне, что у меня есть повторяющиеся методы.

4. Если мы реализуем первый I1, тогда он говорит, что это метод I1, и если мы сначала напишем I2, тогда он скажет свой метод I2. Объясните, почему это так.

Answer 1

Интерфейс определяет договор. Если интерфейс определяет метод

void foo() throws SomeException; 

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

Метод реализации может, конечно, не исключать какого-либо исключения вообще, поскольку он не будет нарушать договор метода интерфейса. throws означает: этот метод может вызвать это исключение в некоторых случаях.

Таким образом, метод объявлен как

public void foo(); 

в качестве реализующего класса действительна для интерфейса, определенного выше.

Таким образом, в вашем примере,

public int add(int a) throws Exception1 

является допустимым объявление метода для переопределения

int add(int a) throws Exception1 

но не действительны для

int add(int a) throws Exception2 

(если конечно Exception1 является подклассом Exception2).

Единственный способ, если нет никакого наследования между Excption1 и Exception2, для реализации обоих интерфейсов должен быть метод, который не вызывает никаких исключений. Это единственная возможность выполнить два контракта.

Answer 2

Что касается переопределения, считаются только типы параметров методов (8.4.2); возвращаемые типы и типы броска проверяются позже на отдельном этапе (8.4.8.3).

Класс может наследовать несколько методов с эквивалентными сигнатурами. (8.4.8.4) Там нет проблем. В вашем случае два метода наследуются, то оба они переопределяются одним методом.

My IDE IntelliJ правильно сообщает, что метод переопределяет два метода в двух супер интерфейсах.

В Java 7 и ранее проблема с алмазом отсутствует. Однако, поскольку Java 8, методы интерфейса могут иметь реализации! Поэтому проблема с алмазом может возникнуть, когда класс наследует два метода из двух интерфейсов. Javac может отклонить код, если такая двусмысленность существует. (Есть способы устранить неоднозначность).