Java 關鍵字深度解析：static 靜態成員的完整語意與實戰陷阱

static 核心語意速覽

1. 靜態方法/變數屬於「類」而非「實例」
2. 透過「類名」直接引用：ClassName.staticMember
3. 靜態方法內不可直接呼叫非靜態成員（無 this 參考），反之可行
4. 靜態變數類似全域變數，非 private 可跨類存取

適用場景三大類型

1. 共享資料：多實例共用單一記憶體拷貝

public class TStatic {
    static int i; // 類載入時初始化為 0
    public TStatic(int j) { i = j; }
    public static void main(String[] args) {
        System.out.println(TStatic.i); // 0
        TStatic t = new TStatic(5);    // i=5
        System.out.println(t.i);       // 5
        TStatic tt = new TStatic();    // i=4
        System.out.println(t.i);       // 4 (tt 修改影響 t)
        System.out.println(tt.i);      // 4
    }
}

輸出：0, 5, 4, 4, 4 — 驗證所有實例共享同一 i。

2. 無實例呼叫：工具方法、單例模式、main 入口

class ClassA {
    static int b;
    static void ex1() {}
}
class ClassB {
    void ex2() {
        int i = ClassA.b;      // 類名存取靜態變數
        ClassA.ex1();          // 類名呼叫靜態方法
    }
}

JVM 載入類時即分配靜態空間，無需實例化。

3. 靜態內部類：獨立於外部實例

public class StaticCls {
    public static void main(String[] args) {
        new OuterCls.InnerCls(); // 直接建立，無需 OuterCls 實例
    }
}
class OuterCls {
    public static class InnerCls {
        InnerCls() { System.out.println("InnerCls"); }
    }
}

輸出：InnerCls — 靜態內部類可作為獨立類使用。

靜態初始化順序與靜態區塊

• 靜態變數/區塊優於非靜態初始化，依宣告順序執行
• 靜態區塊 static { ... } 用於顯式初始化，類首次載入時執行一次

class Count {
    Value v = new Value(10);        // 實例變數，最後初始化
    static Value v1, v2;            // 靜態變數，最早初始化 (null)
    static {
        v1 = new Value(27);         // 靜態區塊依序執行
        v2 = new Value();
    }
}
public class TStaticBlock {
    public static void main(String[] args) {
        Count ct = new Count();     // 觸發類載入與實例化
        // 輸出驗證靜態區塊執行順序與共享特性
    }
}

關鍵觀察：v1、v2、ct.v 最終操作同一靜態變數 Value.c，體現靜態成員跨實例共享本質。

常見誤區與最佳實踐

實戰建議

1. 常數定義：public static final TYPE NAME = VALUE; — 唯一標準常數形式
2. 工具類：私有化建構子、全靜態方法（如 Math, Collections）
3. 單例模式：靜態內部類延遲載入實現線程安全單例
4. 狀態共享：僅用於真正的「類級別狀態」，非實例級別
5. 併發安全：多執行緒環境下靜態可變狀態必須同步或用 Atomic* 類別