Java 修飾符深度解析：abstract、static、final 三大關鍵字核心規則與組合禁忌

static：靜態綁定與類級成員

修飾字段（類變量）

• 屬於類，不屬於實例，全程單一拷貝，所有實例共享
• 類加載階段初始化（準備→初始化），優於實例變量
• 訪問：ClassName.fieldName（推薦）或 instance.fieldName（不推薦）

修飾方法（類方法）

• 隸屬於類，ClassName.methodName() 調用
• 不能直接訪問非靜態成員（無 this 引用）
• 不能使用 this/super 關鍵字
• 可被子類繼承，但不能重寫為非靜態，只能隱藏（靜態繼承靜態）
• 無多態性：編譯期靜態綁定，Parent p = new Child(); p.staticMethod() 調用父類方法

修飾代碼塊（靜態初始化塊）

static {
    // 類加載時執行一次，用於複雜靜態字段初始化
    // 按聲明順序執行，優於構造器
}

類加載觸發條件：創建實例、調用靜態方法/字段、反射 Class.forName、子類加載（先加載父類）。

final：不可變契約與安全發布

修飾基本類型變量

• 編譯期常量（static final int MAX = 100）進入常量池，調用處內聯替換
• 實例/局部常量：運行時賦值一次，不可修改引用

修飾引用類型變量

• 引用不可變，但對象內容可變
• final List list = new ArrayList<>(); list.add("a"); // ✅ 合法

修飾方法

• 子類不能重寫，鎖定實現細節
• 私有方法隱式 final
• 編譯器可內聯優化（熱點方法）

修飾類

• 不能被繼承，如 String、Integer、包裝類
• 類中所有方法隱式 final
• 不可變模式核心：final 類 + final 字段 + 無 setter + 防御性拷貝

abstract：契約定義與模板方法

修飾類

• 不能實例化，只能被繼承
• 可包含抽象方法、具體方法、構造器（供子類調用）
• 不強制包含抽象方法

修飾方法

• 只有聲明，無實現（分號結尾）
• 子類必須實現（除非子類也為 abstract）
• 不能為 private、static、final、synchronized、native

模板方法模式

public abstract class DataProcessor {
    // 模板方法：final 鎖定流程
    public final void process() {
        readData();
        doProcess();  // 抽象步驟
        writeData();
    }
    
    protected abstract void doProcess(); // 子類實現
    
    private void readData() { /* 通用邏輯 */ }
    private void writeData() { /* 通用邏輯 */ }
}

修飾符組合禁忌矩陣

類加載與初始化順序

1. 父類靜態字段/靜態塊（按順序）
2. 子類靜態字段/靜態塊（按順序）
3. 父類實例字段/實例塊
4. 父類構造器
5. 子類實例字段/實例塊
6. 子類構造器

注意：final 實例字段必須在構造器結束前確定賦值（聲明處、實例塊、構造器三選一）。