Compilerfehler Instanz final class

Question

Der folgende Code kompiliert fein:

interface Flyer{ } 
class Bat { } 

public class App { 

    public static void main(String[] args) { 
     Bat b = new Bat(); 
     if(b instanceof Flyer) System.out.println("b is a Bird"); 
    } 

} 

Wenn wir die Klasse Batfinal machen, wird der Code nicht kompilieren:

final class Bat { } 

Wenn die letzte Klasse implementiert Flyer es kompiliert in Ordnung:

final class Bat implements Flyer { } 

Beliebig eine Sorge, um die Logik dahinter zu erklären?

Answer 1

Wenn Sie Klasse Batfinal machen, sagen Sie, dass diese Klasse nicht unterklassifiziert werden kann. Da Bat die Schnittstelle Flyer nicht implementiert, kann der Compiler feststellen, dass b instanceof Flyer niemals true sein kann und einen Fehler auslöst.

Wenn ein Guss (§15.16) des RelationalExpression zum Reference würde als Fehler bei der Kompilierung zurückgewiesen wird, dann der instanceof relationale ebenfalls Ausdruck:

Dies ist in JLS section 15.20.2 angegeben erzeugt einen Kompilierungsfehler. In einer solchen Situation könnte das Ergebnis des Ausdrucks instanceof niemals wahr sein.

Zusätzlich aus section 15.16 über Guss Ausdrücke:

Es ist ein Fehler bei der Kompilierung, wenn der Kompilierung-Typ des Operanden kann nie auf den von dem Cast-Operator angegebenen Typen umgewandelt wird gemäß die Regeln der Casting-Konvertierung (§5.5).

In diesem Fall Bat kann nie zu Flyer gewirkt: sie es nicht implementieren ist und final sorgt dafür, dass es nicht Unterklassen sein kann, die es umsetzen würde.

---

Wie Sie herausgefunden, sind die Korrekturen:

• Machen BatFlyer implementieren: in diesem Fall wird der instanceof Operator würde immer true zurück.
• Entfernen Sie die final Kennung, was bedeutet, dass es Unterklassen von BatFlyer Implementierung geben könnte.

Answer 2

Nun, wenn Bat eine letzte Klasse ist und es nicht implementiert Flyer, kann es keine Unterklasse, die Flyer entweder implementieren würde, so kann instanceof nie wahr zurück. In solchen Fällen lässt der Compiler diesen Ausdruck nicht zu (d. H. (x instanceof Y) ist nur zulässig, wenn die Wahrscheinlichkeit besteht, dass x einen Verweis auf eine Instanz enthält, die Y implementiert oder erweitert).

In Ihrem zweiten Schnipsel Bat implementiert bereits Flyer, so würde b instanceof Flyer immer true zurückkehren, und zwar unabhängig davon, ob Bat ist endgültig oder nicht.

Answer 3

Neben @ Tunaki der Referenz aus der JLS, dies auch in https://docs.oracle.com/javase/specs/jls/se8/html/jls-5.html#jls-5.5.1 erklärt, unter Angabe relevante Regel explizit:

Wenn S eine final Klasse (§8.1.1), dann S muss T implementieren, oder ein Kompilierungsfehler tritt auf.

Eine instanceof Prüfung folgt diesen Regeln für Referenztypen.