概覽
final、static、abstract 是 Java 三大核心修飾符，分別控制**不可變性**、**類級別屬性**、**抽象契約**。它們可組合使用，但存在嚴格限制。
final 關鍵字
| 修飾目標 | 語義 | 典型場景 |
|---|
| 類 | 不可被繼承 | String、Integer、工具類 |
| 方法 | 不可被重寫 | 模板方法模式中的固定步驟、安全敏感操作 |
| 變量（字段/局部/參數） | 引用不可變（對象內部狀態仍可變） | 常量（配合 static）、依賴注入字段、循環變量捕獲 |
規則： final 字段必須在聲明時、實例初始化塊、構造函數中初始化（靜態字段還可在靜態初始化塊）。
static 關鍵字
| 修飾目標 | 語義 | 注意事項 |
|---|
| 字段 | 類變量，全類共享單份副本 | 生命周期與類加載器綁定，慎用可變靜態集合（線程不安全） |
| 方法 | 類方法，無 this，不可訪問非靜態成員 | 工具方法、工廠方法、單例 getInstance() |
| 代碼塊 | 靜態初始化塊，類加載時執行一次 | 初始化靜態資源（如載入驅動、解析配置） |
| 內部類 | 靜態嵌套類，無外部類實例引用 | Builder 模式、狀態無關的輔助類 |
abstract 關鍵字
| 修飾目標 | 語義 | 規則 |
|---|
| 類 | 不可實例化，供繼承 | 可包含非抽象方法、構造函數（供子類調用） |
| 方法 | 無實現體，強制子類實現 | 只能出現在抽象類/接口中，不能有方法體 |
組合限制矩陣
| 組合 | 合法性 | 說明 |
|---|
| final + abstract (類/方法) | ❌ 非法 | final 禁止繼承/重寫，abstract 強制繼承/重寫，邏輯矛盾 |
| static + abstract (方法) | ❌ 非法 | static 方法屬於類，無多態，無法被重寫實現 |
| final + static (字段) | ✅ 合法 | 編譯期常量，public static final 命名全大寫下劃線 |
| abstract 類 + final 方法 | ✅ 合法 | 模板方法模式：骨架固定（final），細節延遲（abstract） |
| static 內部類 + abstract | ✅ 合法 | 獨立於外部實例的抽象類型 |
最佳實踐指南
- 常量定義：
public static final int MAX_SIZE = 100;（基本類型/不可變對象）。
- 不可變對象： 類 final、字段 final、無 setter、防禦性拷貝可變組件。
- 模板方法： 抽象類定義流程骨架（final 方法），關鍵步驟聲明 abstract 交由子類實現。
- 工具類：
public final class StringUtils { private StringUtils(){} public static String join(...) {...} }。
- 避免： 可變
public static 集合、final 修飾集合引用卻修改內部元素導致混淆。
面試高頻考點
- final 修飾引用類型變量，能修改對象內部屬性嗎？能，只能保證引用不變。
- static 方法能否訪問非靜態字段？不能，無 this 引用。
- 抽象類能否有構造函數？能，供子類
super() 調用初始化公共字段。
static abstract void method() 為什麼編譯報錯？靜態方法屬於類，不參與多態，無法被重寫實現。
