Java metodo 8 di default eredità

Question

Diciamo che ci sono i seguenti tipi:

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(); 
    } 
} 

In questo scenario, se main viene eseguito, "hi da foo" viene stampato. Perché l'implementazione di Foo ha la precedenza? Non Bar eredita sayHi() da Base, poiché se MyClass dovesse implementare solo Bar, l'implementazione Base si chiamerebbe? Quindi avrebbe senso che il codice non si compilasse ancora. Inoltre, dal momento che Bar dovrebbe avere implementazione Base s' di sayHi(), perché non posso ignorare che in MyClass come:

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

Il seguente errore si verifica quando si cerca di farlo:

male qualificatore di tipo Bar in metodo di default super-chiamata, sayHi() viene ignorato in Foo

Answer 1

Questo comportamento viene specificato utilizzando quasi il vostro esempio esatto in JLS 9.4.1, solo wi th alcuni nomi cambiati in giro:

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 {} 

destro eredita nome() da Top, ma il nome eredita inferiore() da sinistra, non è giusto. Questo perché name() di Left sovrascrive la dichiarazione di name() in Top.

Il JLS non sembra dare alcun motivo particolarmente concreto che io possa vedere; questo è il modo in cui i progettisti Java hanno deciso che l'ereditarietà avrebbe funzionato.

Answer 2

Questo è di progettazione. Da JLS 15.12.3:

Se il modulo è TypeName. super [TypeArguments] Identifier, quindi:

• Se TypeName indica un'interfaccia, lasciate T la dichiarazione di tipo immediatamente racchiude il metodo. Un errore di compilazione si verifica se esiste un metodo, distinta dalla dichiarazione compilazione, che sostituisce (§9.4.1) la dichiarazione di compilazione dal una superclasse diretta o superinterfaccia diretta di T.

Nel caso che una superinterfaccia sovrascrive un metodo dichiarato in un'interfaccia grandparent, questa regola impedisce all'interfaccia figlio di "saltare" l'override semplicemente aggiungendo il nonno alla sua lista di superinterfacce dirette. Il modo appropriato per accedere alla funzionalità di un nonno è attraverso la superinterfaccia diretta e solo se quell'interfaccia sceglie di esporre il comportamento desiderato. (In alternativa, lo sviluppatore è libero di definire la propria superinterfaccia aggiuntiva che espone il comportamento desiderato con un super metodo.)