您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 綜合教學

Java 封裝藝術：包機制與四大訪問權限修飾符深度解析

編輯：Java 綜合教學

前言：變與不變的邊界

面向對象設計的核心原則之一是「將發生變化的事物與保持不變的事物分離」。Java 通過包管理命名空間與組件聚合，通過訪問修飾符控制類成員的可見性，構建起「接口與實現分離」的物理邊界。本文系統梳理包的命名規範、編譯單元結構、四大訪問級別語義差異，並給出庫設計者的實戰準則。

一、包：邏輯與物理的雙重統一

源文件首行 `package com.mycompany.project;` 聲明邏輯隸屬。
編譯輸出 `.class` 文件必須置於對應目錄樹：`com/mycompany/project/`。
JVM 類加載器按 `CLASSPATH` 根路徑 + 包名路徑查找類文件。

1.2 創建唯一包名：域名反轉法

慣例：`com.company.project.module`。因特網域名全球唯一（InterNIC 保證），反轉後作為包名前綴，從根本上消除命名衝突。即使無域名，亦應用極低重名概率的標識（如個人英文名全拼）。

1.3 導入機制與衝突處理

`import java.util.*` 導入整包；`import java.util.Vector` 導入單類。
同名類衝突（如 `java.util.Vector` vs `com.my.Vector`）需用全限定名消歧。

1.4 自定義工具庫實戰

建立 `com.toad.P` 類封裝 `System.out.print/println` 重載，編譯後置於 CLASSPATH 路徑，任意項目 `import com.toad.*` 即可使用 `P.rintln("msg")`，大幅減少樣板代碼。

1.5 利用包切換實現「條件編譯」替代方案

Java 無 C 預處理器，但可通過切換導入包實現調試/發布雙版本：

// com.toad.Assert — 開發版：打印失敗信息
public class Assert {
    public static void is_true(boolean exp) { if (!exp) System.err.println("Assertion failed"); }
    public static void is_true(boolean exp, String msg) { if (!exp) System.err.println("Assertion failed: " + msg); }
}

// com.debug.Assert — 發布版：空實現，JIT 內聯後零開銷
public class Assert {
    public static void is_true(boolean exp) {}
    public static void is_true(boolean exp, String msg) {}
}

// 代碼中：import com.debug.*; // 或 import com.toad.*;
// Assert.is_true(x > 0, "x must be positive");

二、Java 訪問修飾符：從類內到全宇宙的四層防護

修飾符	同類	同包(非子類)	不同包子類	不同包非子類	核心語義
`private`	✅	❌	❌	❌	實現細節，絕對封裝
`default` (package-private)	✅	✅	❌	❌	包內協作，外部不可見
`protected`	✅	✅	✅	❌	面向繼承的受控開放
`public`	✅	✅	✅	✅	對外契約，穩定接口

2.1 類級別訪問：只有 public 與 package-private

`public class Widget` — 任意處可 `new Widget()`。
`class Widget` — 僅同包可見。
單編譯單元最多一個 `public` 類，文件名必須與之同名。

2.2 經典場景：構建器私有化控制實例化

class Soup {
    private Soup() {} // 禁止直接 new
    public static Soup makeSoup() { return new Soup(); } // 工廠方法
    private static Soup ps1 = new Soup(); // 單例
    public static Soup access() { return ps1; }
}