深入解析 Java 套件結構與 Package 物件運作機制

Java 套件架構核心概念

在 Java 程式設計中，套件是組織類別與介面的基本單位。透過 Class.getPackage() 方法，我們可以取得描述該類別所屬套件的 Package 物件（定義於 java.lang 中）。此外，也能透過套件名稱呼叫靜態方法 Package.getPackage() 或 Package.getPackages()（回傳系統中所有已知套件的陣列）來獲取 Package 物件，而 getName() 方法則可取得套件的完整名稱。

Package 物件的特殊性質

與其他反射類型不同，Package 物件無法在執行期建立或操控套件，它主要作為資訊倉儲，提供套件用途、建立者、版本等中繼資料。這些細節將在後續深入探討套件定義時說明。

套件命名規範與最佳實踐

避免名稱衝突的策略

套件名稱必須具有唯一性且富含語意，這是套件設計的關鍵。然而全球開發者眾多，難以追蹤所有已使用的套件名。若套件僅供內部使用，可由內部仲裁機制確保專案間不衝突；但面向全球發布時，慣用做法是採用反向網域名稱作為前綴。

實際命名範例

假設公司名稱為 Magic Inc.，域名為 magic.com，則屬性套件的宣告應為：

package com.magic.attr;

注意域名成分依慣例以反序排列。採用此慣例可避免與外部套件衝突；大型企業內部若仍有衝突風險，可進一步使用子域名綁定，例如 com.magic.japan.attr。雖然名稱較長，但能確保全域唯一性。

套件內容設計原則

功能內聚與封裝

套件應僅包含功能上相關的類別與介面。同一套件內的類別可自由存取彼此的非私有成員，甚至部分類別擁有存取其他類別實作細節的權限。為防止誤操作，必須對類別成員進行適當保護。未宣告為 private 的成員預設為套件存取層級，這意味著不相關類別間的耦合度可能高於預期。

邏輯分組與重用性

套件為尋找有效介面與類別提供邏輯分組功能。良好的邏輯分組能幫助開發者重用程式碼，並允許使用更直觀的類別名稱，避免命名衝突。套件支援巢狀結構，例如 java.lang 即為巢狀套件，其中 lang 巢狀於 java 之下，而 java 還包含其他子套件，形成階層式命名體系。

巢狀套件的限制

以點號分隔的名稱可建立巢狀套件，例如 adaptive.neuralNet。然而巢狀關係僅為組織相關套件的手段，不提供任何特殊的存取權限。子套件無法存取父套件的套件私有成員，反之亦然。

套件註解與資訊管理

套件同樣支援註解，但因套件屬組織結構而非原始碼實體，無法像類別或方法般直接標註。實作方式是在套件目錄建立 package-info.java 檔案，僅包含套件宣告與註解。範例如下：

@PackageSpec(name="Attr Project", version="1.0")
@DevelopmentSite("attr.project.org")
@DevelopmentModel("open-source")
package attr;

建議將所有套件相關資訊集中於 package-info.java，便於產生套件文件。

套件存取權限與三種契約

頂層類型的可見性

宣告套件中的頂層類別與介面時，有兩種選擇：public（公開存取）與套件存取權限（預設，無修飾符）。前者允許套件外部存取，後者僅限同套件內部，連子套件也無法存取。設計時應僅將必要類型宣告為 public，隱藏實作細節，以保持彈性。

成員預設存取層級

未標註 public、protected 或 private 的類別成員，預設為套件存取層級（介面成員例外，預設為 public）。同一套件內的類別被視為「友好」或「可信任」，可定義結合預定義程式碼與佔位符程式碼的應用框架。但子套件不被視為可信任，無法存取父套件的套件私有成員。

三種契約模型

• Public 契約：定義類型的核心功能
• Protected 契約：定義子類別可取得的特化功能
• Package 契約：定義套件內其他程式碼協作所需的實作功能

所有契約都需要審慎設計。

可存取性與方法覆寫規則

只有超類別中可存取的方法才能在子類別中被覆寫。若超類別方法不可存取，即使子類別定義同名方法也不構成覆寫。執行期呼叫方法時，系統會依據可存取性決定執行哪個實作。

實例演示

定義 P1.AbstractBase 擁有四個不同存取層級的方法（private、套件、protected、public），並提供 show() 依序呼叫它們。在 P2.Concrete1 覆寫並將所有方法改為 public 後，呼叫 show() 結果顯示：private 與套件方法仍執行超類別版本，protected 與 public 則執行子類別版本。

將 Concrete2 放回 P1 套件並繼承 Concrete1，此時套件方法 pac() 變得可存取並被覆寫。進一步在 P3.Concrete3 繼承 Concrete2，pac() 經由鏈式覆寫最終生效。這說明透過中介類別重新宣告存取層級，可打破套件邊界限制。

Package 物件與標準化資訊

規格與實作版本資訊

套件通常實作某項標準，Package 物件作為資訊倉儲，提供標準標題、廠商、版本號，以及實作標題、廠商、版本號。關鍵方法包含：

• getName()：套件名稱
• getSpecificationTitle()、getSpecificationVersion()、getSpecificationVendor()
• getImplementationTitle()、getImplementationVersion()、getImplementationVendor()

版本相容性檢查

標準版本號採點號分隔的非負整數（如 1.4、11.0.12），可用 isCompatibleWith() 比較。若套件版本 ≥ 指定版本則回傳 true，逐段比較，缺失段視為零。實作版本號無固定格式，僅能測試是否相等。

密封套件機制

密封套件禁止後續新增類別。未密封套件可從多個類別搜尋路徑載入類別；密封套件內容必須來自同一位置（特定 JAR 或 URL）。判斷密封狀態的方法：isSealed() 與 isSealed(URL)。標準與實作資訊通常儲存於 JAR 的 Manifest 中，類別載入器在載入類別時讀取並靜態定義 Package 物件。

取得 Package 物件的途徑

• 類別的 Class.getPackage()
• 靜態方法 Package.getPackage(String)
• 靜態方法 Package.getPackages() 回傳已知套件陣列

這些方法委派給呼叫端的類別載入器，會搜尋該載入器及其父載入器；若未特別設定則使用系統類別載入器。注意：若套件尚未載入任何類型，會回傳 null。