Java 阻止類別被繼承的兩種方式：final 關鍵字與私有建構子模式

前言

在 API 設計與框架開發中，有時需要強制禁止類別被繼承，以確保不變條件、安全性或效能。Java 提供兩種主要手段：官方的 final 關鍵字，與非官方的「私有建構子 + 靜態工廠方法」單例模式變體。本文深度解析兩者原理、適用場景、限制與最佳實務。

方式一：官方標準 - final 關鍵字

// 最終類別：不可被繼承
public final class ImmutableConfig {
    private final String configValue;
    
    public ImmutableConfig(String configValue) {
        this.configValue = configValue;
    }
    
    public String getConfigValue() {
        return configValue;
    }
}

// 編譯錯誤：cannot inherit from final ImmutableConfig
// public class HackConfig extends ImmutableConfig { }

final 類別特性

• 編譯期強制：編譯器直接報錯，無法繞過
• 方法隱含 final：final 類別的所有方法自動為 final，無法覆寫
• 欄位不隱含 final：仍需額外宣告 final 確保不可變
• 適用於：工具類、不可變值物件、安全敏感類別 (String, Integer 等)

方式二：非官方技巧 - 私有建構子 + 靜態工廠

public class SingletonGuard {
    // 私有建構子：外部無法直接 new，子類無法呼叫 super()
    private SingletonGuard() {
        // 可加入初始化邏輯
    }
    
    // 靜態工廠方法：控制實例建立
    public static SingletonGuard getInstance() {
        return InstanceHolder.INSTANCE;
    }
    
    // 靜態內部類延遲初始化（執行緒安全）
    private static class InstanceHolder {
        static final SingletonGuard INSTANCE = new SingletonGuard();
    }
    
    // 業務方法
    public void doSomething() { ... }
}

// 編譯錯誤：SingletonGuard() has private access in SingletonGuard
// public class SubClass extends SingletonGuard { }

原理深度解析

1. Java 語言規範要求：子類建構子第一行必須顯式或隱式呼叫 super()
2. 父類建構子為 private → 子類無法存取 → 編譯失敗
3. 若父類無任何建構子，編譯器會產生 public 無參建構子，此時可被繼承
4. 因此必須顯式宣告 private 建構子才能阻止繼承

兩種方式深度對比

進階場景：final 類別仍允許擴充功能？

使用組合/裝飾模式而非繼承：

// final 類別
public final class HttpClient {
    public Response send(Request req) { ... }
}

// 擴充功能：裝飾器
public class LoggingHttpClient implements HttpClient {
    private final HttpClient delegate;
    private final Logger logger;
    
    public LoggingHttpClient(HttpClient delegate, Logger logger) {
        this.delegate = delegate;
        this.logger = logger;
    }
    
    @Override
    public Response send(Request req) {
        logger.info("Request: {}", req);
        Response resp = delegate.send(req);
        logger.info("Response: {}", resp);
        return resp;
    }
}

特殊情況：允許特定子類（Sealed Classes - Java 17+）

// 僅允許列出的類別繼承
public sealed class Shape permits Circle, Rectangle, Triangle { }

// final 子類：不可再被繼承
public final class Circle extends Shape { ... }

// non-sealed 子類：可被任意繼承
public non-sealed class Rectangle extends Shape { ... }

// sealed 子類：繼續限制繼承鏈
public sealed class Triangle extends Shape permits RightTriangle, EquilateralTriangle { }

最佳實務建議

1. 預設使用 final：除非明確設計為可繼承，否則類別宣告加上 final（Effective Java Item 19）。
2. 需控制實例化時：私有建構子 + 靜態工廠（單例、對象池、建造者模式）。
3. API 公開介面：定義 interface，實作類別 final 或 package-private。
4. 文檔化繼承契約：若必須允許繼承，詳述哪些方法可覆寫、覆寫前置條件、狀態不變條件。
5. 測試考量：核心邏輯抽出至非 final 協作類，或依賴介面而非具體 final 類。

總結

final 是語意正確、閱讀性最佳的防繼承手段；私有建構子模式則結合實例化控制與防繼承，適合單例、工廠等受控建立場景。Java 17+ 的 sealed 類別提供了介於兩者之間的受控繼承能力。選擇原則：能 final 就 final，需控制建構時用私有建構子，需受限繼承體系用 sealed。