Java 8 domyślna metoda dziedziczenie

Question

Powiedzmy, istnieją następujące typy:

public interface Base { 

    default void sayHi(){ 
     System.out.println("hi from base"); 
    } 
} 

public interface Foo extends Base { 
    @Override 
    default void sayHi(){ 
     System.out.println("hi from foo"); 
    } 
} 

public interface Bar extends Base { 
} 

public class MyClass implements Foo, Bar { 
    public static void main(String[] args) { 
     MyClass c = new MyClass(); 
     c.sayHi(); 
    } 
} 

W tym scenariuszu, jeśli main jest wykonywany, „cześć z foo” jest drukowana. Dlaczego implementacja Foo ma pierwszeństwo? Czy Bar nie dziedziczy sayHi() od Base, ponieważ jeśli MyClass miałaby zaimplementować tylko Bar, implementacja Base byłaby wywoływana? Więc sensowne byłoby, aby kod nadal się nie kompilował. Ponadto, ponieważ Bar powinien mieć wdrożenie Base „s sayHi(), dlaczego nie mogę zastąpić go MyClass jak:

@Override 
public void sayHi() { 
    Bar.super.sayHi(); 
} 

następujący błąd występuje, gdy próbuje zrobić:

zły typ kwalifikatora Bar w domyślnej metodzie super-wywołania, sayHi() jest nadpisywane w Foo

Answer 1

To zachowanie jest określone przy użyciu prawie twojego dokładnego przykładu w JLS 9.4.1, po prostu wi th niektóre nazwy zmieniły się wokół:

interface Top { 
    default String name() { return "unnamed"; } 
} 
interface Left extends Top { 
    default String name() { return getClass().getName(); } 
} 
interface Right extends Top {} 

interface Bottom extends Left, Right {} 

Prawy dziedziczy nazwę() od góry, ale dno nazwę inherits (od lewej), nie w porządku. Dzieje się tak, ponieważ name() from Left zastępuje deklarację nazwy() w górnej.

JLS wydaje się nie dawać szczególnie konkretnego powodu, który widzę; tak właśnie działali projektanci Javy, którzy zdecydowali się na dziedziczenie.

Answer 2

Jest to zgodne z projektem. Od JLS 15.12.3:

Jeśli formularz jest TypeName. Wspaniały . [TypeArguments] identyfikator, a następnie:

• Jeśli TypeName oznacza interfejs przez T jest zgłoszenie typu natychmiast zamykający metody przywołanie. Błąd w czasie kompilacji, jeśli istnieje sposób odmienny od zgłoszenia kompilacji, który zastępuje (§9.4.1) zgłoszenie kompilacji z bezpośredniego nadrzędnej lub bezpośrednie superinterface T.

W przypadku że superinterfejs zastępuje metodę zadeklarowaną w interfejsie typu grandparent, ta reguła uniemożliwia dziecięcemu interfejsowi "pomijanie" nadpisania przez proste dodanie elementu nadrzędnego do listy bezpośrednich superinterfejsów. Odpowiedni sposób dostępu do funkcji urządzenia typu grandparent polega na bezpośrednim interfejsie nadrzędnym i tylko wtedy, gdy ten interfejs wybierze odsłonięcie pożądanego zachowania. (Alternatywnie programista może zdefiniować własną dodatkową superinterfejs, która ujawnia pożądane zachowanie za pomocą wywołania super metody.)