Java 修飾符深度解析：protected 與 static 的核心機制與最佳實踐

前言

protected 與 static 是 Java 中最基礎也最容易被誤解的兩個修飾符。前者關係到封裝與繼承的邊界，後者決定了成員屬於「類」還是「實例」。本文通過標準規範、記憶體模型與實戰陷阱三個維度，徹底講透它們。

第一部分：protected —— 不只是「子類可見」

1. 標準定義（JLS §6.6.2）

protected 成員對以下兩類代碼可見：

• 同一包內 的所有類（無論是否繼承）。
• 不同包的子類，但僅限於通過「子類自身的實例」或其子類實例訪問。

2. 經典誤區演示

// pkg.a
public class Parent {
    protected void doSomething() {}
}

// pkg.b
public class Child extends Parent {
    public void test(Parent p, Child c) {
        c.doSomething(); // ✅ 編譯通過：c 是 Child 實例
        p.doSomething(); // ❌ 編譯錯誤：p 是 Parent 實例，雖然 Child 繼承了 Parent，
                         //    但 Parent 的 protected 成員對 Child 代碼不可見，
                         //    除非該實例確實是 Child 或其子類型。
    }
}

核心原則：子類繼承的是父類的成員，而非父類實例的訪問權。JLS 原文：「protected 成員僅在負責實現該成員的類的子類實例中可存取。」

3. 為什麼 clone() 是 protected？

Object.clone() 被設計為 protected，強制子類覆寫並決定是否對外暴露（通常改為 public 並實現 Cloneable）。這防止了外部代碼直接對任意對象進行淺拷貝，符合封裝原則。

4. 最佳實踐

• 僅在「設計給子類擴展的內部協助方法/欄位」上使用。
• 避免用於欄位（破壞封裝），改用 private + protected setter/getter。
• 文檔註明：「此方法供子類覆寫調用，外部不可直接依賴。」

第二部分：static —— 屬於類的靜態契約

1. 記憶體與加載機制

• 靜態變量：類加載時在方法區分配內存，全進程唯一，生命週期隨類卸載結束。
• 靜態方法：綁定在類上，調用時無 this 引用，故不能訪問非靜態成員。
• 靜態代碼塊：類初始化階段（<clinit>）按聲明順序執行，僅執行一次，天然線程安全（由類鎖保證）。

2. 靜態變量 vs 實例變量對比

public class Counter {
    static int staticCount = 0;   // 類變量
    int instanceCount = 0;        // 實例變量

    public void inc() { staticCount++; instanceCount++; }
}

Counter a = new Counter(); a.inc(); // staticCount=1, a.instanceCount=1
Counter b = new Counter(); b.inc(); // staticCount=2, b.instanceCount=1
// a.instanceCount 仍為 1，staticCount 變為 2（共享）

3. 靜態導入與靜態內部類

• import static pkg.Class.METHOD; 簡化常量/工具方法調用。
• 靜態內部類不持有外部類引用，是實現單例模式、延遲加載的標準手段：

public class Singleton {
    private Singleton() {}
    private static class Holder { static final Singleton INSTANCE = new Singleton(); }
    public static Singleton getInstance() { return Holder.INSTANCE; }
}

4. 常見坑點

5. 線程安全補充

static 變量屬共享資源，多執行緒環境下必須考慮原子性：

• 基本類型用 AtomicInteger 等原子類。
• 複雜操作用 synchronized 或 Lock 保護。
• 不可變對象（如 static final String）天然安全。

總結對照表

結語

理解 protected 的「實例級可見性」與 static 的「類級所有權」，是寫出高內聚、低耦合、線程安全 Java 代碼的基石。實戰中：能私有就私有，能實例就別靜態，繼承體系中謹慎使用 protected 公開內部協議。