Java 介面與實作分離：存取控制如何實現封裝核心價值

「封裝」常被簡化為「資料隱藏」，但其真正核心是**介面與實作的分離**。Java 的存取控制機制（public/protected/package-private/private）正是為了在語言層面強制實現這一分離。本文將從設計哲學、類別定義策略、工具支援三個維度闡述這一核心機制。

存取控制的雙重使命

1. 規定用戶「能用什麼、不能用什麼」：將內部機制（演算法細節、暫態狀態、輔助方法）標記為非 public，用戶只見真正需要的介面
2. 允許設計者「自由變更實作、不影響用戶」：只要 public 介面不變，內部任何調整（資料結構換、演算法優化、Bug 修復）都不需用戶修改代碼

第二點是封裝的**戰略價值**：它賦予庫設計者「安全犯錯、大膽重構」的自由。

類別即「一類物件」的描述

在 Java 中，class 關鍵字定義的是一種**新資料型別**（如 Fish、Bird），而非單純的資料容器。所有屬於此類別的物件共享：

• 特徵：欄位（資料狀態）
• 行為：方法（操作邏輯）

這正是為什麼 class 是整個語言的核心關鍵字（本書不加粗體即因太常見）。

原始碼組織策略：介面優先，實作在後

建議在類別原始碼中按存取層級分組排序：

public class X {
    // 1. public 介面：用戶最關心，放最前面
    public void pub1() { ... }
    public void pub2() { ... }
    public void pub3() { ... }

    // 2. protected：子類別擴充點
    protected void prot1() { ... }

    // 3. package-private：套件內協作
    void pkg1() { ... }

    // 4. private 實作細節：最後，用戶無需閱讀
    private void impl1() { ... }
    private void impl2() { ... }
    private int internalState;
    // ...
}

好處：用戶由上往下讀，看到非 public 即可停止，專注於介面契約。

工具層面的介面呈現：Javadoc 與類別瀏覽器

原始碼畢竟混雜實作細節。**真正的介面呈現交給工具**：

• Javadoc：自動產生僅含 public/protected 成員的 HTML 文件，含說明、參數、回傳值、異常等契約資訊
• IDE 類別瀏覽器/大綱視圖：圖形化展示類別結構，可過濾顯示「僅公共成員」、「含繼承成員」等視圖

現代 Java 開發環境（IntelliJ、Eclipse、VS Code）皆內建優秀的類別瀏覽器，讓「介面與實作分離」在工具層面完美落地。

介面與實作分離的具體收益

總結

Java 存取控制不是為了「防禦惡意用戶」，而是為了**明確劃分契約邊界**：

• public = **契約**（承諾穩定、文件化、向後相容）
• private/package-private/protected = **實作自由區**（可任意變更、重構、優化）

嚴守這條界線，你的類別庫將同時擁有：用戶友善的清晰介面、開發者享有的重構自由、系統具備的長期演進能力。這才是物件導向封裝的工程學本質。