Znalazłem błąd w Java Puzzlers VI - czy ktoś może to wyjaśnić?

Question

Spójrz na to java puzzles vid autorstwa Josha Blocha i Williama Pugha, o indeksie czasowym 0: 25: 00-0: 33: 00.

Jednym z prelegentów mówi, że jeśli używasz małe boolean zamiast Boolean, następnie LIVING będą traktowane jako prawdziwy „kompilacji stałą”, a to już nie ma znaczenia, gdy jest on zainicjowany.

Cóż, to wszystko jest cacy, ale spójrz na to, co się dzieje, kiedy powróci do pierwotnego celu między statyczne startowych i konstruktora, a następnie go zwykłą „Wyciąg metoda” operacji. Te dwa programy drukować różne wyjścia:

public class Elvis { 
    private static final Elvis ELVIS = new Elvis(); 

    private Elvis() {} 
    private static final boolean LIVING = true; 
    private final boolean alive = LIVING; 
    private final boolean lives() {return alive;} 

    public static void main(String[] args) { 
     System.out.println(ELVIS.lives()); // prints true 
    } 
} 

I z refactored returnTrue() metody

public class Elvis { 
    private static final Elvis ELVIS = new Elvis(); 

    private Elvis() {} 
    private static final boolean LIVING = returnTrue(); 

    private static boolean returnTrue() { 
     return true; 
    } 

    private final boolean alive = LIVING; 
    private final boolean lives() {return alive;} 

    public static void main(String[] args) { 
     System.out.println(ELVIS.lives()); // prints false 
    } 
} 

Dlaczego wydobycia metodą returnTrue() zmienić wyjście programu w tym przypadku?

Answer 1

Kluczem do zachowania, które obserwujesz, jest pojęcie "zmiennej stałej". Ten oksymoron jest zdefiniowany w JLS 4.12.4 jako zmienna pierwotnego typu lub typu String, która jest ostateczna i zainicjowana za pomocą stałego wyrażenia w czasie kompilacji. W dokumencie JLS 13.1 podano, że odniesienia do pól stałych są rozwiązywane w czasie kompilacji do stałych wartości, które oznaczają (tj. Są one wstawione). Układanka w filmie polega na tym, że Boolean nie jest ani prymitywem, ani łańcuchem. Twój wariant opiera się na fakcie, że wywołanie metody (returnTrue) w wyrażeniu uniemożliwia jej ciągłe wyrażenie w czasie kompilacji. Tak czy inaczej, LIVING nie jest stałą zmienną i program wyświetla sprzeczne z intuicją zachowanie.

Puzzle 93 w Java Puzzlers ("Class Warfare") są powiązane, a jeszcze bardziej zaskakujące.

Answer 2

W drugim przypadku LIVING jest inicjowany przez ekspresję wykonawczego, a zatem nie jest stała w czasie kompilacji więcej, a jej wartość jest false w momencie ELVIS jest zbudowana.