Java 成員變量與局部變量深度解析：作用域、初始化、內存模型差異

定義對比

初始化機制深度剖析

靜態成員變量 (static field)

1. 類加載階段（ClassLoader）按聲明順序分配內存、賦默認值。
2. 執行靜態初始化器（靜態字段賦值語句 + static {} 塊），按源代碼順序。
2. 僅執行一次（每個類加載器）。

public class Demo {
    static int a = 1;        // 1. 默認 0 → 2. 賦 1
    static int b;            // 1. 默認 0
    static { b = a + 1; }    // 3. 執行 static 塊，b=2
    static int c = b + 1;    // 4. c=3
}

實例成員變量

1. 對象創建時（new）在堆分配內存，賦默認值。
2. 執行實例初始化器（非靜態字段賦值 + {} 塊），按順序。 3. 執行構造器體代碼。

局部變量

• 無默認值，編譯器做確定性賦值分析（Definite Assignment Analysis）。
• 所有執行路徑到達使用點前必須有賦值，否則編譯錯誤：variable might not have been initialized。

經典編譯錯誤案例

public class Test {
    int field; // 成員變量，默認 0

    void method1() {
        int local;          // 局部變量，無默認值
        if (local == field) // ❌ 編譯錯誤：local might not have been initialized
            System.out.println("eq");
    }

    void method2() {
        int local = 0;      // ✅ 顯式初始化
        if (local == field) // ✅ 合法
            System.out.println("eq");
    }
}

參數傳遞：值傳遞與引用傳值

Java 只有值傳遞。對象引用作為參數時，傳遞的是引用的副本（地址值）。

void modify(StringBuffer a, StringBuffer b) {
    a = a.append(b); // a 重新指向新對象（或同一對象），不影響實參引用
    b = a;           // b 也指向同一對象，僅改變形參引用
}
StringBuffer x = new StringBuffer("a");
StringBuffer y = new StringBuffer("b");
modify(x, y);
// 此處 x 仍指向原 "a" 對象（內容已變為 "ab"），y 仍指向 "b"

• a.append(b) 修改了對象內部狀態，實參 x 可見。
• a = ... 修改的是形參引用變量本身，實參不受影響。

最佳實踐建議

1. 成員變量盡量 private，提供 getter/setter 封裝。
2. 局部變量就近聲明、即用即賦值，減少作用域。
3. 不可變對象（final 字段 + 無 setter）優先，簡化併發。
4. 避免在構造器中啟動線程或註冊監聽器（this 逃逸），導致對象未完全初始化就被其他線程訪問。
5. 大對象、長生命週期數據放成員；臨時計算、循環變量放局部。