您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 程式設計入門

程序員通病：過度依賴編譯器卻不懂其運作機制——以 Java 單例模式陷阱為例

編輯：Java 程式設計入門

前言：隱藏在語法糖背後的陷阱

國際巨星承認犯了「全世界男人都會犯的錯誤」，而我們程序員也有專屬通病：過度依賴編譯器，卻不知其背後做了什麼。高階語言提供豐富語法糖方便開發，但若不理解其本質，甜頭未嘗、苦頭先吃。本文通過一個經典的 Java 單例模式反直觀案例，揭示編譯器自動重排程式碼如何導致邏輯錯誤。

疑案現場：單例計數器的離奇行為

// 程式 1：單例類別
class Singleton {
    private static Singleton obj = new Singleton();
    public static int counter1;
    public static int counter2 = 0;

    private Singleton() {
        counter1++;
        counter2++;
    }

    public static Singleton getInstance() {
        return obj;
    }
}

// 程式 2：測試主程式
public class MyMain {
    public static void main(String[] args) {
        Singleton obj = Singleton.getInstance();
        System.out.println("obj.counter1==" + obj.counter1); // 輸出 1
        System.out.println("obj.counter2==" + obj.counter2); // 輸出 0
    }
}

執行結果令人震驚： `counter1==1`，`counter2==0`。直覺上兩個計數器應相等，實際卻差異巨大。

真相揭露：編譯器的隱形重構

程式 1 編譯後等同於以下程式 3（反編譯 `javap -c` 可見）：

class Singleton {
    private static Singleton obj;
    public static int counter1;
    public static int counter2;

    static {  // ← 類別建構器
        // 進入前：JVM 已分配記憶體，static fields 預設為 0
        // counter1=0, counter2=0, obj=null

        obj = new Singleton();  // ← 關鍵：在此調用實例建構器
        // 實例建構器執行：counter1++ → 1, counter2++ → 1

        counter2 = 0;  // ← 編譯器自動插入：顯式初始化賦值
        // counter2 歸零，counter1 保持 1
    }

    private Singleton() {  // 實例建構器
        counter1++;
        counter2++;
    }
    // ...
}

根因分析：初始化順序的精確規範

Java 語言規範（JLS）嚴格定義類別初始化順序：

靜態欄位按聲明順序賦予預設值
靜態初始化塊與靜態欄位顯式初始化，**按原始碼出現順序**依序執行
實例初始化塊與實例欄位顯式初始化，按順序執行
建構器主體執行

案例中聲明順序為：`obj` → `counter1` → `counter2 = 0`。靜態初始化塊隱式生成時，`obj = new Singleton()` 先於 `counter2 = 0` 執行，導致實例建構器在 `counter2` 顯式歸零前修改了靜態變數。

三種修正方案與最佳實踐

方案	做法	評價
方案一（推薦）	調整聲明順序：將 `obj` 移至 `counter1`、`counter2` 之後	最佳：消除隱式依賴，語義清晰
方案二	移除 `counter2 = 0` 顯式初始化（依賴預設值 0）	僅適用於預期值為預設值的情況
方案三	手寫靜態初始化塊，完全掌控初始化邏輯	最保險：明確意圖，免受編譯器重排影響