Initialisierungsreihenfolge der endgültigen Felder

Question

diese beiden Klassen vor:

public abstract class Bar { 
    protected Bar() { 
     System.out.println(getValue()); 
    } 

    protected abstract int getValue(); 
} 

public class Foo extends Bar { 
    private final int i = 20; 

    public Foo() { 
    } 

    @Override 
    protected int getValue() { 
     return i; 
    } 

    public static void main(String[] args) { 
     new Foo(); 
    } 
} 

Wenn ich Foo ausführen, wird der Ausgang 20

ist Wenn ich das Feld nicht endgültig zu machen, oder wenn ich initialisieren es in der Foo Konstruktor, der Ausgang ist 0.

Meine Frage ist: Was ist die Reihenfolge der Initialisierung im Falle der endgültigen Felder und wo ist dieses Verhalten in der JLS beschrieben?

Ich erwartete, einige Ausnahme Regel über endgültige Felder here zu finden, aber wenn ich etwas nicht vermisse, gibt es nicht.

Beachten Sie, dass ich weiß, ich sollte nie eine überschreibbare Methode von einem Konstruktor aufrufen. Das ist nicht der Punkt der Frage.

Answer 1

Ihre final int i Membervariable ist eine konstante Größe: 4.12.4. final Variables

Eine Variable vom Urtyp oder Typ String, dh final und mit einem Kompilierung-konstanten Ausdruck initialisiert (§15.28) genannt wird, ein Konstante Variable.

Dies hat Folgen für die Reihenfolge, in der Dinge initialisiert werden, wie in 12.4.2. Detailed Initialization Procedure beschrieben.

Answer 2

Gehen Sie durch, wie dies auf eine "Byte-Code-ish" Weise aussieht.

Sie sollten bereits wissen, dass die erste tatsächliche Anweisung in einem Konstruktor ein Aufruf an super (ob mit Argumenten oder ohne) sein muss.

Dieser Superbefehl kehrt zurück, wenn der Elternkonstruktor fertig ist und das Superobjekt vollständig aufgebaut ist. Also, wenn Sie Foo konstruieren passiert folgendes (in Reihenfolge):

// constant fields are initialized by this point 
Object.construction // constructor call of Object, done by Bar 
Bar.construction // aka: Foo.super() 
callinterface getValue() // from Bar constructor 
// this call is delegated to Foo, since that's the actual type responsible 
// and i is returned to be printed 
Foo.construction 

, wenn Sie es in den Konstruktor zu initialisieren waren, dass passieren würde, „jetzt“, nachdem getValue() bereits genannt worden war.

Answer 3

Hier ist eine noch mehr hinterhältige Version, nur zum Spaß.

public abstract class Bar { 
    protected Bar() { 
     System.out.println(getValue()); 
    } 

    protected abstract Object getValue(); 
} 

public class Foo extends Bar { 
    private final String i = "Hello"; 

    public Foo() { 
    } 

    @Override 
    protected Object getValue() { 
     return i; 
    } 

    public static void main(String[] args) { 
     new Foo(); 
    } 
} 

Ergebnis: Drucke Hello.

nun diese Zeile:

private final String i = "Hello"; 

zu:

private final Object i = "Hello"; 

Ergebnis: Prints null.

Dies ist, weil String (und primitive Typen) behandelt werden speziell wie in JLS 4.12.4 beschrieben, die ich in meiner anderen Antwort erwähnt.