Java 實例與類成員深度解析：變數、方法與 static 關鍵字

前言

理解「實例成員」與「類別成員」的差異，是掌握 Java 物件導向核心觀念的關鍵。本文透過 AnIntegerNamedX 經典範例，詳細解析實例變數/方法與類別變數/方法的記憶體模型、存取規則、共享機制與常見錯誤。

核心概念對照表

程式碼演進示範

階段 1：純實例成員版本

class AnIntegerNamedX {
    int x;  // 實例變數
    
    public int x() {        // 實例方法
        return x;
    }
    
    public void setX(int newX) {  // 實例方法
        x = newX;
    }
}

行為驗證：

AnIntegerNamedX myX = new AnIntegerNamedX();
AnIntegerNamedX anotherX = new AnIntegerNamedX();
myX.setX(1);
anotherX.x = 2;  // 直接存取 package-private 變數

// 輸出：
// myX.x = 1
// anotherX.x = 2

✅ 每個物件擁有獨立的 x 副本，互不干擾。

階段 2：將變數改為類別變數 (static int x)

class AnIntegerNamedX {
    static int x;  // 類別變數
    // 方法不變...
}

行為變化：

myX.setX(1);
anotherX.x = 2;

// 輸出：
// myX.x = 2
// anotherX.x = 2

⚠️ 所有實例共享同一個 x，任一處修改影響所有物件。

階段 3：嘗試將方法改為類別方法，但變數保持實例變數 → 編譯失敗

class AnIntegerNamedX {
    int x;  // 實例變數
    
    static public int x() {       // 類別方法
        return x;  // ❌ 編譯錯誤：Can't make static reference to nonstatic variable
    }
    
    static public void setX(int newX) {  // 類別方法
        x = newX;  // ❌ 同上
    }
}

錯誤原因：類別方法屬於類別，執行時沒有 this 參考，無法知道要存取哪個物件的實例變數。

階段 4：變數與方法皆改為 static → 正常運作

class AnIntegerNamedX {
    static int x;  // 類別變數
    
    static public int x() {       // 類別方法
        return x;
    }
    
    static public void setX(int newX) {  // 類別方法
        x = newX;
    }
}

✅ 此時可直接用類別名存取：

AnIntegerNamedX.setX(1);
System.out.println(AnIntegerNamedX.x());  // 輸出 1
// 無需建立任何物件實例

關鍵觀念釐清

1. 實例方法中的「隱含 this」

實例方法內部存取 x 等同於 this.x，指向呼叫該方法的具體物件。這就是為何多個物件共享同一份方法程式碼卻能操作各自資料的原因。

2. 類別方法的限制與用途

• ❌ 不能直接存取實例變數/呼叫實例方法
• ✅ 可存取類別變數/呼叫其他類別方法
• ✅ 適用於：工具方法、工廠方法、單例模式、常數定義

3. 存取權限與封裝

範例中 x 為 package-private (無修飾詞)，同套件可直接存取。實務上建議：

• 實例變數：private + getter/setter
• 類別常數：public static final
• 類別變數：private static + 靜態存取方法

記憶體模型視覺化

Heap Memory                    Method Area (Class Metadata)
┌─────────────────┐            ┌──────────────────────┐
│ myX (ref) ──────┼──► ┌──────►│ AnIntegerNamedX.class│
└─────────────────┘      │       │ - static int x (1) │
                         │       │ - static methods   │
┌─────────────────┐      │       └──────────────────────┘
│ anotherX (ref) ─┼──────┘
└─────────────────┘
      │
      ▼
┌─────────────────┐
│ AnIntegerNamedX │  ◄── 每個實例有自己的 x (若非 static)
│ x = 1           │
└─────────────────┘

實務應用指南

1. 計數器/序號產生器：用 static int count 追蹤建立物件總數
2. 常數定義：public static final double PI = 3.14159;
3. 單例模式：private static Instance INSTANCE = new Instance();
4. 工具類別：Math, Collections, Arrays 皆為全 static 方法
5. 避免濫用 static：過度使用導致難以測試、執行緒安全問題、違反 OO 封裝

總結

實例成員屬於「物件」，類別成員屬於「類別」。static 關鍵字改變的是儲存位置、生命週期與存取方式。正確選擇：需要「每個物件有自己的狀態」用實例成員；需要「全域共享、不依賴具體物件」用類別成員。這是設計良好 Java 類別架構的基石。