如果我們在Class對象上調用getPackage方法,就可以得到描述該類所在包的Package對象(Package類是在java.lang中定義的)。我們也可以用包名通過調用靜態方法getPackage或者調用靜態方法getPackages(該方法返回由系統中所有已知包構成的數組)來獲得Package對象。getName方法可以返回包的全名。
Package對象的使用與其他反射類型完全不同,即我們不能在運行時建立或操縱包。我們可以使用Package對象來擷取有關包的資訊,諸如包的用途、誰建立了包、包的版本等。我們將把這些內容延後到後面詳細介紹包時再討論。
包的命名
包的名字應該避免與其他包衝突,所以選擇一個既有意義又唯一的名字是包設計的一個重要方面。但是全球的程式員都在開發包,根本就沒有辦法獲知誰採用了什麼包名,因此選擇唯一的包名是一個難題。如果我們確定某個包只在我們的組織內部使用,那麼我們就可以讓內部仲裁者(internal arbiter)來確保項目之間不會發生名字衝突。
但是對於整個世界而言,這種方法是不實際的。包的標識符都是簡單的名字,一種比較好的能夠確保包名唯一的方法是使用Internet網域名稱。如果我們所就職的公司的名字為Magic.lnc,該公司的網域名稱為magi c.com,那麼屬性包的聲明就應該是:
注意,這裡的網域名稱構成元素是按常規網域名稱的倒序排列的。
如果我們採用這種慣用法,那麼除了在我們的組織內部可能會產生衝突外,我們所採用的包名就不會與其他任何人的包名衝突了。如果我們的組織內部確實產生了衝突(可能是大型的企業),那麼我們可以使用更具體的網域名稱來進一步限定。許多大型公司都有內部子網域名稱,如east和europe,可以使用這樣的子網域名稱來進一步限定包的名字:
package corn. magic.japan.attr;
使用這種方案可能會使包的名字變得很長,但是相對比較安全。使用這種技巧的程式員不會選擇相同的包名,而不使用這種技巧的程式員也不會選擇我們所採用的名字。
包的內容
包的內容應該仔細設計,使其只包含在功能上相關的類和介面。包中的類可以自由地訪問該包中其他類的非私人成員,有些類甚至可能有足夠的許可權去訪問其他類的內部細節,為了避免這樣的類對類成員進行誤操作,我們需要對類成員進行保護。任何沒有被聲明為private的成員都可以被同一個包中的其他所有類型訪問,所以任何不相關的類之間的藕合程度都可能會比我們所期望的程度高。
包還為尋找有用的介面和類的程式員提供了邏輯分組的功能。由不相關的類組成的包使程式員很難分辨出哪些介面和類是有用的,而類的邏輯分組可以協助程式員重用代碼,因為程式員通過邏輯分組能夠更容易地找到他們所需要的東西。如果包中只包含相關的、緊藕合的類型集,則意味著我們可以給類型取一些更直觀的名字,從而避免名字衝突。
包可以嵌套。例如,java.lang就是一個嵌套包,其中,包Lang嵌套在更大的包java中,而包j ava卻還包含一些其他的包。嵌套使得相關的包構成了具有階層的命名系統。
例如,為了建立一組包,用於諸如神經網路和遺傳演算法這樣的自適應系統,我們可以用以圓點分隔的名字來命名包,從而建立嵌套包:
package adaptive. neural Net;
含有上面這條聲明語句的源檔案位於adaptive.neuralNet包中,而adaptive.neuralNet包本身又是adaptive包的子包。adaptive包中可能包含一些與通用的自適應演算法相關的類,例如泛化問題陳述類或基準測試類別。在階層中處於更深位置的包(例如adaptive. neu-ralNet或adaptive.genetic)包含與特定類型的自適應演算法相關的類。
包的嵌套僅僅是組織相關包的一種工具,它並不能提供包之間的任何特殊的存取權限。
adaptive.genetic包中的類代碼無法訪問adaptive或adaptive.neuralNet包中具有包存取權限的成員,包範圍只適用於特定的包。包的嵌套可以對相關的包進行分組,並協助程式員更方便地在邏輯層次中找到想要的類,但是除此之外,它並未帶來其他的任何益處。
包的註解
包也可以有註解。但是問題在於,由於包是一種組織圖,沒有原始碼實體,它們並沒有實際的定義,所以不能像對類或方法那樣對它們進行註解,因此包的註解只能通過在源檔案中對包的聲明語句進行註解來實現。然而,在每個包中只能有一個包聲明可以擁有作用於它的註解。
那麼究竟如何對包進行註解呢?事實上,Java語言並沒有強製程序員必須使用某種方式來處理“單一註解的包語句”規則。所建議的方式是在包目錄中建立一個名為package一i nfo.java的檔案,在這個檔案中只儲存包語句和該包的註解,而不放置任何其他內容。例如,用於attr包的package一info.java檔案看起來就是這樣的:
@PackageSpec(name二”Attr Project",version="1.0" @DevelopmentSite("attr.project.org") @DevelopmentModel("open一source") package attr;
其中Packagespec,Developmentsite和Devel opmentmodel用來修飾註解類型,當然,它們具有運行時的儲存策略。package一info.java檔案應該和包中的其他源檔案一起編譯。
我們推薦將所有與包相關的資訊都放置在package一info. java檔案中。如果你這樣做了,那麼你就可以在檔案的開頭放置文檔注釋,從而使這些文檔被注釋成包文檔。
包的訪問
在聲明包中的頂層類和頂層介面的可訪問性時,有兩種選擇:包存取權限(package)和公用存取權限(public)。用public修飾的類或介面可以被包外的代碼所訪問,而沒有用public修飾的類型則具有包範圍:它們可以被同一個包中的其他代碼所訪問;但對於包外的代碼,甚至是子包中的代碼,它們都是隱藏的。我們在宣告類型時,應該只把其他程式員需要使用的那些型別宣告為public的,而隱藏那些屬於包的實現細節的類型。這種技術給我們提供了極大的靈活性,由於程式員並不依賴於這些他們所不能訪問的實現細節的類型,所以當我們想改變實現細節時,可以自由地改變它們。
沒有被聲明為public,protected或private的類成員可以被包內的任何代碼直接存取,但對包外的代碼是隱藏的。換句話說,預設的存取修飾詞是“package",但介面的成員例外,它們的預設存取修飾詞是“public" .
在包內沒有聲明為private的欄位或方法可以被該包中的所有其他代碼所訪問,因此,同一個包中的類都被認為是“友好的”或“可以信任的”。這樣就使得我們可以定義組合了預定代碼(predefined code)和預留位置代碼(placeholder code)的應用程式框架,其中預留位置代碼被架構類的子類覆蓋。預定義代碼可以使用包存取權限修飾符,這樣包內的其他相互協作的代碼就可以直接存取它們,但對於包外使用者,這些代碼是不可訪問的。然而,這些代碼所在包的子包是不被信任的,反之亦然。例如,在包dit中用包存取權限修飾符修飾的代碼不能被其子包dit.dat中的代碼所訪問,反之亦然。
因此,每種類型都定義了三種不同的契約:
.publi。契約:定義了類型的主要功能。
.protected契約:定義了子類可獲得的用於特化目的的功能。
.package契約:定義了包內其他代碼可獲得的用來實現包內類型之間協作的功能。所有這些契約都需要仔細考慮和設計。
可訪問性和及蓋方法
只有在超類中可以訪問到的方法才可以在子類中被覆蓋。如果超類中的某個方法不能被訪問,那麼即使子類中的方法與該方法同名,在子類中也不能覆蓋該方法。當某個方法在運行時被調用時,系統會考慮它的可訪問性,從而決定運行它的哪一個具體實現。
下面這個特意構建的例子解釋得更加清楚。假設我們在P1包中聲明了一個Abstract-Base類:
package P1; { Ab Ab AbAb public abstract class AbstractBase private void pri() { print( " stractBase.pri()”):} void pac () {print(" stractBase.pac() ” ); } protected void pro() { print( " stractBase.pro()" ); } public void pub() { print (" stractBase.pub()”);} public final void show() pri(); pac(); pro(); pub(); } }
在這個類中,我們定義了4個方法,每個方法都具有不同的存取權限修飾符,且方法體都只是標識其自身。方法show在當前對象上依次調用了這4個方法,當把該方法應用於不同的子類對象時,就可以說明到底調用了這些方法的哪個實現。
現在,我們定義類Concretel,這個類擴充了AbstractBase類,但是位於P2包中:
package P2; import P1.AbstractBase public class Concretel extends AbstractBase{ public void pri(){print("Concretel.pri()”);} public void pac(){print("Concretel.pac()”);} public void pro(){print("Concretel.pro()”);} public void pub(){print("Concretel.pub()");} }
在該類中重新聲明了超類中的4個方法,並改變了它們的實現,這些實現在報告它們屬於Con-cretel類。同時,它們的存取權限都被改成了public,以便其他代碼訪問。執行下面的代碼
將產生如下輸出:
AbstractBase.pri() AbstractBase.pac() Concretel.pro() Concretel.pub ()
因為私人方法pri不能被子類(或其他類)所訪問,所以show方法總是調用AbstractBase類中的pri方法的實現。AbstractBase類中的具有包存取權限的pac方法不能被Concretel訪問,因此Concretel類中的pac方法的實現不能覆蓋AbstractBase類中的定義,故show方法調用的是AbstractBase.pac方法。pro方法和pub方法在Concretel類中都是可以訪問的,同時也可以被覆蓋,所以show方法中調用的是Concretel類中的這兩個方法的實現。
接蔔采我們足義類Concrete2,來擴充類Concretel,然後我們把它和AbstractBase類放到同一個包P1中':
package P1; import P2.Concretel public class Concrete2 extends Concretel{ public void pri(){print("Concrete2.pri()”);} public void pac(){print("Concrete2.pac ()”);} public void pro(){print("Concrete2.pro()”);} public void pub(){print("Concrete2.pub()");} }
因為Concretel中的方法都具有public存取權限,所以在Concrete2中都可以訪問到,而且Concrete2中的每一個方法分別對其相應的方法進行了覆蓋。此外,因為Concrete2和Ab-stractBase在同一個包中,所以在Concrete2中也可以訪問到方法AbstractBase.pac,並且可以覆蓋方法Concrete2.pac。在Concrete2對象上調用show方法,列印結果如下:
AbstractBase.pri() Concrete2.pac() Concrete2 .pro() Concrete2.pub()
最後,我們定義類Concrete3來擴充類Concrete2,並放在包P3中:
package P3 import P1.Concrete2; public class Concrete3 extends Concrete2{ public void pri(){print("Concrete3.pri()”);} public void pac Q{print("Concrete3.pac()”);} public void pro(){print("Concrete3.pro()”);} public void pub(){print("Concrete3.pub()”);} }
在Concrete3對象上調用show方法,列印結果如下:
AbstractBase.pri() Concrete3.pac () Concrete3.pro() Concrete3.pub()
在這裡方法Concrete3.pac看起來是覆蓋了不可訪問的AbstractBase.pac方法,但實際上是,方法Concrete3.pac覆蓋了方法Concrete2.pac,而方法Concrete2.pac覆蓋了方法AbstractBase.pac,因此方法Concrete3.pac間接地覆蓋了方法AbstractBase.pac。通過在類Concrete2中重新把pac方法聲明為具有public存取權限,可以使其能夠被任何子類所訪問和覆蓋。
包對象和規範
包通常會實現某種規範,並且通常是來自於某個組織的。Package對象與其他的反射類型不同,不能用來建立或操作包,而只能充當提供資訊的知識庫,用來提供有關包所實現的規範的資訊(規範的標題、供應商和版本號碼)和有關包的實現本身的資訊(包的標題、供應商和版本號碼)。雖然包通常來自於單個的組織,但它所實現的規範(如統計分析庫)卻可能是其他組織已定義過的。使用包的程式可能需要知道該包所實現的規範的版本,從而可以使用只在某個版本中定義的功能。類似地,這些程式還可能需要知道提供給它的是哪個實現版本,這主要是為了處理在不同版本中可能存在的缺陷。Package類的一些主要方法允許訪問到這些資訊:
·public Stri ng getName ():返回該包的名字。
.public string getspecificationTitle p:返回該包所實現的規範的標題,如果標題未知,則返回null,
.public string getspecificationversion():返回一個描述該包所實現的規範的版本資訊的字串,如果版本資訊未知,則返回null,
.public string getspecificationvendor Q:返回供應商的名字,這個供應商擁有並維護該包所實現的規範,如果供應商未知,則返回null,
.public string getImplerentationTitle():返回該包所提供的實現的標題,如果標題未知,則返回null, ·public string getImplementationversion():返回一個描述該包所提供的實現的版本資訊的字串,如果版本資訊未知,則返回null,
·public string getImplementationvendor():返回提供該實現的組織(供應商)的名字,如果該組織未知,則返回null,
例如,在我們的系統中提取java.lang包的這些資訊,將會得到如下結果:
Specification Title: Java Platform API Specification Specification Version: 1.4 Specification Vendor:Sun Microsystems,Inc. Implementation Title:Java Runtime Environment Implementation Version:1.5.0_02 Implementation Vendor: Sun Microsystems,Inc.
規範版本號碼由句點分隔字元分開的非負數字組成,如‘'2.0'‘或”11.0.12"。這種模式使得我們可以調用iscompatiblewith方法對遵循該模式的版本號碼與包的版本號碼進行比較。如果包的版本號碼大於等於傳人的版本號碼,那麼該方法就返回true。這種比較每次只比較一個由句點分隔的數字,如果這些數字中任何一個小於傳遞進來的版本號碼中對應位置的值,那麼這兩個版本就不相容。如果其中一個版本號碼比另一個長,那麼在短的版本號碼中缺少的部分將被認為是零。例如,如果包的規範版本號碼是”1.4",並且我們用iscompatiblewith方法將其與”1.2","1.3.1'.或”.1.81.進行比較時,那麼將返回true;但是如果與''1.4.2'.或”.5"進行比較,那麼將返回false。之所以得出這樣的結論,是因為這種比較機制假設規範版本是向後相容的。
實現的版本號碼沒有規定的格式,因為提供實現的不同組織會對實現版本做不同的定義。在實現版本之間唯一能做的比較是測試版本是否相同,其中沒有向下相容的假設。
包可以被密封起來,這意味著不能再向這個包中添加類了。未密封的包可以包含來自類搜尋路徑中多個不同位置的類,而被密封的包的內容必須來自相同的位置—要麼是某個特定的歸檔檔案,要麼是由某個URL指定的位置。有兩種方法可以確定一個包是否被密封了:
.public boolean issealed p:如果該包被密封了,則返回trueo
.public boolean issealed(URL url):如果該包對於給定的URL是密封的,則返回true,也就是說,該包中的類可以從這個給定的URL處載入。如果包中的類不能從給定的URL載入,或者包沒有被密封,則返回false,包的規範和實現資訊通常是作為與包儲存在一起的資訊清單檔的一部分而提供的—例如作為Java歸檔檔案(jar)中的資訊清單檔的一部分,就像25.9.2節“歸檔檔案java.util.jar”中描述的那樣。當載入包中類時,這些資訊就會被讀人。類載入器(ClassLoader)可以為它要載入的類動態地定義一個Package對象:
.protected Package de台nePackage (String name,string specTitle,Stringspecversion,string specvendor, String implTitle,string implversion,string implvendor, uRL sealBase):該方法將返回一個Package對象,該對象具有給定的包名和由相應的引元設定的規範和實現值。如果參數sealBase為null,那麼這個包就是沒有密封的,否則包對於這個URL就是密封的:類的Package對象必須要在該類被定義之前定義,並且包的名字在類載入器中必須是唯一的。如果包名與現有名字重複,就會拋出工11ega1ArgumentException異常。
我們可以調用給定類的Class對象的getPackage方法來獲得這個類的Package對象。我們也可以用給定的包名調用靜態方Package.getPackage來獲得Package對象,或者調用靜態方Package.getPackages,它將返回由類載入器當前已知的所有包組成Package數組。這兩個方法都與調用它們的代碼的類載入器有關,因為這些代碼將調用其類載入器的get-Package或getPackages方法。這些類載入器的方法將搜尋特定的類載入器及其所有父類載入器,如果對當前類載入器沒有做任何設定,那麼此時就會使用系統類別載入器。請注意,如果包未知,那麼類載入器方法將返回null,因為此時還沒有載入包中的任何類型。