Java 類方法與實例方法：定義規則、調用鏈路、內存語義與設計原則

核心定義對比

訪問規則詳解

1. 實例方法可訪問所有成員

class Demo {
    static int classVar = 1;
    int instanceVar = 2;
    
    static void staticMethod() { 
        System.out.println(classVar);     // ✓ 類字段
        // System.out.println(instanceVar); // ✗ 編譯錯誤：非靜態上下文
    }
    
    void instanceMethod() {
        System.out.println(classVar);     // ✓ 類字段
        System.out.println(instanceVar);  // ✓ 實例字段
        staticMethod();                   // ✓ 類方法
        this.instanceMethod();            // ✓ 實例方法
    }
}

2. 類方法只能直接訪問靜態成員

• 類方法中訪問實例成員 → 編譯錯誤 non-static variable cannot be referenced from a static context
• 如需訪問，必須通過實例引用：new Demo().instanceVar 或傳入參數

調用鏈路限制

class Service {
    static void staticHelper() { /* ... */ }
    void instanceWork() { /* ... */ }
    
    static void staticEntry() {
        staticHelper();           // ✓
        // instanceWork();         // ✗ 編譯錯誤
        new Service().instanceWork(); // ✓ 通過實例調用
    }
}

繼承與多態差異

1. 實例方法：重寫 = 動態多態

class Parent {
    void work() { System.out.println("Parent"); }
}
class Child extends Parent {
    @Override void work() { System.out.println("Child"); }
}
Parent p = new Child();
p.work(); // 輸出 "Child" - 動態分派到 Child.work()

2. 類方法：隱藏 ≠ 重寫

class Parent {
    static void work() { System.out.println("Parent"); }
}
class Child extends Parent {
    static void work() { System.out.println("Child"); } // 隱藏父類方法
}
Parent p = new Child();
p.work();        // 輸出 "Parent" - 靜態綁定到 Parent.work()
Child.work();    // 輸出 "Child"
Parent.work();   // 輸出 "Parent"
// 多態失效！編譯期根據聲明類型綁定

3. 子類可重新定義父類靜態方法

• 不加 @Override（編譯會報錯）
• 簽名相同但屬於獨立方法，無多態關係
• 構造方法同理：不可繼承、不可重寫、不可隱藏

設計原則與最佳實踐

1. 何時用 static？

• 工具方法：無狀態、純函數、與實例無關（Math.max、Collections.sort、StringUtils.isBlank）
• 工廠方法：LocalDate.now()、Optional.of()、Builder.build()
• 常量/配置：static final 常量、單例持有者
• 狀態共享：計數器、緩存、註冊表（需線程安全）

2. 何時避免 static？

• 業務邏輯方法：依賴實例狀態、需要多態、需要 Mock 測試
• 依賴外部資源：數據庫連接、HTTP 客戶端、文件系統 → 難以測試、耦合死板
• 可變共享狀態：全局變量反模式，導致併發難題、測試隔離失敗

3. 單元測試視角

4. 現代替代方案

• 依賴注入：將工具類封裝為 Service Bean，@Autowired 注入，天然可測試、可替換
• 函數式接口：Function/Supplier 替代靜態工廠，支持 Lambda 內聯
• 單例模式 (枚舉/靜態內部類)：替代 static 字段持有狀態，支持懶加載、序列化安全

內存與性能補充

• 方法區：類元數據（含方法字節碼）存儲於 Metaspace (JDK 8+)，類卸載時釋放
• 調用開銷：invokestatic 比 invokevirtual 略快（無動態分派），但差異微乎其微（JIT 內聯後基本消除）
• 類初始化：首次主動使用類時觸發 <clinit>，靜態字段賦值、靜態塊執行，線程安全

總結

1. 實例方法 = 對象行為，支持多態、訪問實例狀態、可測試、首選業務邏輯
2. 類方法 = 類行為，無 this、只訪問靜態成員、無多態、適合無狀態工具/工廠/常量
3. 調用規則：實例方法可調用一切；類方法只能調用類成員，需實例引用調用實例成員
4. 設計原則：業務邏輯用實例方法 + 依賴注入；無狀態工具用 static 或函數式接口；避免可變 static 狀態
5. 測試驅動：難以 Mock 的 static 方法是設計味道，重構為可注入的協作者