Реалізація двох інтерфейсів у класі тим самим методом. Який метод інтерфейсу перекрито?

Два інтерфейси з однаковими назвами методів та підписами. Але реалізований одним класом, тоді як компілятор буде визначати, який метод є для якого інтерфейсу?

Наприклад:

interface A{
  int f();
}

interface B{
  int f();
}

class Test implements A, B{   
  public static void main(String... args) throws Exception{   

  }

  @Override
  public int f() {  // from which interface A or B
    return 0;
  }
}   

Якщо тип реалізує два інтерфейси, і кожен interfaceвизначає метод, що має ідентичну підпис, то по суті існує лише один метод, і вони не відрізняються. Якщо, скажімо, два способи мають суперечливі типи повернення, то це буде помилка компіляції. Це загальне правило успадкування, переосмислення методу, приховування та декларації, і стосується також можливих конфліктів не лише між двома успадкованими interfaceметодами, але також interfaceі супер classметодом, або навіть просто конфліктами через стирання типу дженериків.

Приклад сумісності

Ось приклад, коли у вас є метод interface Gift, який має present()метод (як у поданні подарунків), а також метод interface Guest, який також має present()метод (як, наприклад, гість присутній і не відсутній).

Presentable johnnyє і a, Giftі a Guest.

public class InterfaceTest {
    interface Gift  { void present(); }
    interface Guest { void present(); }

    interface Presentable extends Gift, Guest { }

    public static void main(String[] args) {
        Presentable johnny = new Presentable() {
            @Override public void present() {
                System.out.println("Heeeereee's Johnny!!!");
            }
        };
        johnny.present();                     // "Heeeereee's Johnny!!!"

        ((Gift) johnny).present();            // "Heeeereee's Johnny!!!"
        ((Guest) johnny).present();           // "Heeeereee's Johnny!!!"

        Gift johnnyAsGift = (Gift) johnny;
        johnnyAsGift.present();               // "Heeeereee's Johnny!!!"

        Guest johnnyAsGuest = (Guest) johnny;
        johnnyAsGuest.present();              // "Heeeereee's Johnny!!!"
    }
}

Вищенаведений фрагмент збирається та запускається.

Зауважте, що є лише один @Override необхідний !!! . Це тому, що Gift.present()і Guest.present()є " @Override-еквівалентними" ( JLS 8.4.2 ).

Таким чином, johnny має тільки одну реалізацію з present(), і це не має значення , як ви ставитеся johnny, то чи як Giftабо як Guest, є тільки один метод для виклику.

Приклад несумісності

Ось приклад, коли два успадкованих методу НЕ є @Overrideеквівалентними:

public class InterfaceTest {
    interface Gift  { void present(); }
    interface Guest { boolean present(); }

    interface Presentable extends Gift, Guest { } // DOES NOT COMPILE!!!
    // "types InterfaceTest.Guest and InterfaceTest.Gift are incompatible;
    //  both define present(), but with unrelated return types"
}

Далі ще раз підтверджується, що успадковування членів від обов'язку interfaceповинно підкорятися загальному правилу декларацій членів. Ось ми Giftі Guestвизначимо present()з несумісними типами повернення: один voidза одним boolean. З тієї ж причини, що ви не можете використовувати один void present()і boolean present()один тип, цей приклад призводить до помилки компіляції.

Підсумок

Ви можете успадковувати методи, які є @Overrideеквівалентними, за умови звичних вимог методу, що перекриває та приховує. Оскільки вони НЕ @Override еквівалентні, фактично існує лише один метод реалізації, і, отже, немає чого відрізняти / вибирати.

Компілятору не потрібно визначати, який метод є для якого інтерфейсу, тому що коли вони визначаються як @Override-еквівалентні, вони є тим самим методом.

Вирішення потенційної несумісності може бути складним завданням, але це зовсім інше питання.

Список літератури

• JLS 8.4.2 Підпис методу
• JLS 8.4.8 Наслідування, переосмислення та приховування
• JLS 8.4.8.3 Вимоги щодо перекриття та приховування
• JLS 8.4.8.4 Методи успадкування з перекриттям-рівнозначними підписами
  • "Клас може успадковувати кілька методів з перевіркою, еквівалентними підписами."

Це було позначено як дублікат цього питання /programming/24401064/understanding-and-solving-the-diamond-problems-in-java

Вам потрібна Java 8, щоб отримати множинну проблему успадкування, але це все ще не проблема діамону як такої.

interface A {
    default void hi() { System.out.println("A"); }
}

interface B {
    default void hi() { System.out.println("B"); }
}

class AB implements A, B { // won't compile
}

new AB().hi(); // won't compile.

Як зауважує JB Nizet, ви можете виправити це моє головне рішення.

class AB implements A, B {
    public void hi() { A.super.hi(); }
}

Однак у вас немає проблем

interface D extends A { }

interface E extends A { }

interface F extends A {
    default void hi() { System.out.println("F"); }
}

class DE implement D, E { }

new DE().hi(); // prints A

class DEF implement D, E, F { }

new DEF().hi(); // prints F as it is closer in the heirarchy than A.

Що стосується компілятора, то ці два методи однакові. Буде одна реалізація обох.

Це не є проблемою, якщо два способи фактично однакові, оскільки вони повинні мати однакову реалізацію. Якщо вони контрактно відрізняються (відповідно до документації для кожного інтерфейсу), ви будете мати проблеми.

Немає чого ідентифікувати. Інтерфейси прописують лише ім'я методу та підпис. Якщо обидва інтерфейси мають метод точно однакового імені та підпису, клас реалізації може реалізувати обидва способи інтерфейсу одним конкретним методом.

Однак якщо смислові контракти двох методів інтерфейсу суперечать, ви майже втратили; тоді ви не можете реалізувати обидва інтерфейси в одному класі.

Спробуйте реалізувати інтерфейс як анонімний.

public class MyClass extends MySuperClass implements MyInterface{

MyInterface myInterface = new MyInterface(){

/* Overrided method from interface */
@override
public void method1(){

}

};

/* Overrided method from superclass*/
@override
public void method1(){

}

}

Як і в інтерфейсі, ми просто оголошуємо методи, конкретний клас, який реалізує ці обидва інтерфейси, розуміє, що існує лише один метод (як ви описали, обидва мають однакове ім’я у зворотному типі). тому з цим не повинно виникнути проблем. Ви зможете визначити цей метод у конкретному класі.

Але коли два інтерфейси мають метод з однаковим іменем, але різним типом повернення, і ви реалізуєте два методи в конкретному класі:

Будь ласка, подивіться нижче код:

public interface InterfaceA {
  public void print();
}


public interface InterfaceB {
  public int print();
}

public class ClassAB implements InterfaceA, InterfaceB {
  public void print()
  {
    System.out.println("Inside InterfaceA");
  }
  public int print()
  {
    System.out.println("Inside InterfaceB");
    return 5;
  }
}

коли компілятор отримує метод "public void print ()", він спочатку шукає в InterfaceA і отримує його. Але все-таки він дає помилку часу компіляції, що тип повернення не сумісний з методом InterfaceB.

Таким чином, це іде для перекладача.

Таким чином, ви не зможете реалізувати два інтерфейси, що мають однаковий метод, але різний тип повернення.

Добре, якщо вони обидва однакові, це не має значення. Вони реалізують обидва з використанням одного конкретного методу на метод інтерфейсу.