java accidential implizite Schnittstellenimplementierung

Question

Kürzlich stieß man auf ein interessantes Feature, das jedoch zu einer unerwarteten Ausgabe von Eclipse "add unimplemented methods" führen kann. Was ist der "googl-fähige" Name des Sprachkonzepts hinter dieser "gelegentlichen impliziten Implementierung"?

würde ich nicht erwarten, dass der folgende Code zu kompilieren, aber es tat und arbeitet

interface CallmeIfc { 
    public void callme(); 
} 

class CallmeCode { 
    public void callme() { 
    // implementation 
    } 
} 

class CallmeImpl extends CallmeCode implements CallmeIfc { 
    // empty class body 
} 

public static void main(String[] args) { 
    CallmeIfc me = (CallmeIfc) new CallmeImpl(); 
    me.callme(); // calls CallmeCode.callme() 
} 

Answer 1

Eigentlich sieht es wie ein Compiler Fehler zu mir: Die Java Language Specification writes:

Eine Instanzmethode m1 in einer Klasse deklariert C überschreibt eine andere Instanz Methode, m2, in der Klasse erklärt A iff alle folgenden Aussagen sind wahr:

• C ist eine Unterklasse von A.
• Die Signatur m1 ist eine Untersignatur (§8.4.2) der Signatur m2.
• Entweder
  • m2 ist öffentlich, geschützt oder mit Standardzugriff im selben Paket wie C deklarierte oder
  • m1 überschreibt ein Verfahren m3, m3 verschieden von m1, m3 verschieden von m2, so dass m3 Überschreibungen m2 .

In Ihrem Fall ist die erste Bedingung nicht erfüllt: Die Methode callme in Klasse deklariert ist CallMeCode, das kein Subtyp von CallmeIfc ist.

Bearbeiten: Bobah hat recht, die Spec unterscheidet zwischen implementieren und überschreiben.In der Tat, es mandates tatsächlich das beobachtete Verhalten:

Es sei denn, die Klasse abstrakt deklariert werden, wobei die Erklärungen aller Methode Mitglieder jeder direkten Superschnitt werden muss, entweder durch eine Erklärung in dieser Klasse implementiert oder durch ein existierendes Verfahren Erklärung vom direkten Überklasse geerbt, weil eine Klasse, die nicht abstrakt ist nicht gestattet zu abstrahieren Methoden haben

Die Spezifikation erklärt nicht warum.

Answer 2

In CallmeImpl, die Öffentlichkeit callme() -Methode von CallmeCode vererbt wird, so CallmeImpl den Vertrag in der CallmeIfc definiert respektiert .

Dann können Sie in Ihrer main() - Methode eine Unterklasseninstanz (CallmeImpl) einer Superklassen- oder Superinterface-Referenz zuweisen - in diesem speziellen Fall der "me" -Referenz vom Typ CallmeIfc (Sie haben einen Tippfehler hier, BTW).

Answer 3

Obwohl die CallmeCode-Klasse die CallmeIfc-Schnittstelle nicht implementiert, stellt sie die erforderliche Implementierung bereit. Es ist, als ob die Klasse CallmeCode die Schnittstelle implementiert. Es wäre auch mit diesem Code gearbeitet:

interface CallmeIfc { 
    public void callme(); 
} 

class CallmeCode implements CallmeIfc { 
    public void callme() { 
     // implementation 
    } 
} 

class CallmeImpl extends CallmeCode implements CallmeIfc { 
    // empty class body 
} 

In Ihrem Fall ist es in Ordnung, weil Klasse CallmeCode ein Verfahren callme hat. Wenn die Methode anders benannt worden wäre, würde sie nicht kompiliert werden.