Java final 類詳解：不可繼承的設計選擇與實踐

在 Java 中，使用 final 修飾類表示該類不可被繼承。這是一項重要的設計決策，通常基於安全性、不可變性或性能考量。本文深入解析 final 類的語義、限制、最佳實踐及常見誤區。

核心語義與限制

• 不可繼承：任何嘗試 extends FinalClass 的代碼將導致編譯錯誤：Cannot extend final class。
• 方法隱式 final：final 類中的所有方法自動成為 final，不可被重寫（但字段不自動成為 final）。
• 可實例化：final 類仍可正常創建對象，區別於 abstract 類。

代碼示例

// final 類定義
public final class Dinosaur {
    int i = 7;
    int j = 1;
    SmallBrain x = new SmallBrain();
    void f() { }
}

// 錯誤：嘗試繼承 final 類
// class Further extends Dinosaur {} // Compile Error: Cannot extend final class 'Dinosaur'

// 正常使用
public class Jurassic {
    public static void main(String[] args) {
        Dinosaur n = new Dinosaur();
        n.f();
        n.i = 40;
        n.j++;
    }
}

class SmallBrain { }

設計動機：為什麼選擇 final 類？

常見誤區與注意事項

1. final ≠ 不可變：final 類的字段仍可為非 final，對象狀態可變。
   → 若需不可變，需配合 private final 字段、無 setter、防御性拷貝。
2. 不要濫用：除非有明確理由（安全、不可變、API 契約），否則避免將類聲明為 final。過度使用限制了擴展性，增加測試困難（難以 Mock）。
3. final 類仍可實現接口：final class Impl implements Interface 完全合法。
4. 構造器不可繼承：子類無法繼承父類構造器，final 類同理。

final 類 vs final 方法 vs final 字段

測試與 Mock 的替代方案

若需測試 final 類：

• 使用 Mockito 3.4+ 支持 mockito-inline 直接 Mock final 類/方法。
• 採用組合而非繼承：定義接口，final 類實現接口，測試時 Mock 接口。
• 使用 PowerMock（不推薦，維護成本高、侵入性強）。

總結

final 類是 Java 設計者手中的「終極封印」，用於明確宣告：此類不擴展，僅組合。正確使用能提升 API 清晰度與安全性；濫用則會扼殺擴展性。決策原則：默認非 final，有確切理由時再加封。