Java教程 7.8.2 下溯造型與運(yùn)行期類型標(biāo)識(shí)

由于我們?cè)谏纤菰煨停ㄔ诶^承結(jié)構(gòu)中向上移動(dòng)）期間丟失了具體的類型信息，所以為了獲取具體的類型信
息——亦即在分級(jí)結(jié)構(gòu)中向下移動(dòng)——我們必須使用 “下溯造型”技術(shù)。然而，我們知道一個(gè)上溯造型肯定
是安全的；基礎(chǔ)類不可能再擁有一個(gè)比衍生類更大的接口。因此，我們通過基礎(chǔ)類接口發(fā)送的每一條消息都
肯定能夠接收到。但在進(jìn)行下溯造型的時(shí)候，我們（舉個(gè)例子來說）并不真的知道一個(gè)幾何形狀實(shí)際是一個(gè)
圓，它完全可能是一個(gè)三角形、方形或者其他形狀

為解決這個(gè)問題，必須有一種辦法能夠保證下溯造型正確進(jìn)行。只有這樣，我們才不會(huì)冒然造型成一種錯(cuò)誤
的類型，然后發(fā)出一條對(duì)象不可能收到的消息。這樣做是非常不安全的。
在某些語言中（如C++），為了進(jìn)行保證“類型安全”的下溯造型，必須采取特殊的操作。但在Java 中，所
有造型都會(huì)自動(dòng)得到檢查和核實(shí)！所以即使我們只是進(jìn)行一次普通的括弧造型，進(jìn)入運(yùn)行期以后，仍然會(huì)毫
無留情地對(duì)這個(gè)造型進(jìn)行檢查，保證它的確是我們希望的那種類型。如果不是，就會(huì)得到一個(gè)
ClassCastException（類造型違例）。在運(yùn)行期間對(duì)類型進(jìn)行檢查的行為叫作“運(yùn)行期類型標(biāo)識(shí)”
（RTTI）。下面這個(gè)例子向大家演示了RTTI 的行為：
//: RTTI.java
// Downcasting & Run-Time Type
// Identification (RTTI)
import java.util.*;

new MoreUseful()
};
x[0].f();
x[1].g();
// Compile-time: method not found in Useful:

//! x[1].u();
((MoreUseful)x[1]).u(); // Downcast/RTTI
((MoreUseful)x[0]).u(); // Exception thrown
}
} ///:~
和在示意圖中一樣，MoreUseful（更有用的）對(duì)Useful（有用的）的接口進(jìn)行了擴(kuò)展。但由于它是繼承來
的，所以也能上溯造型到一個(gè)Useful。我們可看到這會(huì)在對(duì)數(shù)組x（位于main()中）進(jìn)行初始化的時(shí)候發(fā)
生。由于數(shù)組中的兩個(gè)對(duì)象都屬于Useful 類，所以可將f()和g()方法同時(shí)發(fā)給它們兩個(gè)。而且假如試圖調(diào)
用u()（它只存在于MoreUseful），就會(huì)收到一條編譯期出錯(cuò)提示。
若想訪問一個(gè)MoreUseful 對(duì)象的擴(kuò)展接口，可試著進(jìn)行下溯造型。如果它是正確的類型，這一行動(dòng)就會(huì)成
功。否則，就會(huì)得到一個(gè)ClassCastException。我們不必為這個(gè)違例編寫任何特殊的代碼，因?yàn)樗赋龅氖?br style="padding-right: 0px; padding-left: 0px; padding-bottom: 0px; margin: 0px; padding-top: 0px" /> 一個(gè)可能在程序中任何地方發(fā)生的一個(gè)編程錯(cuò)誤。
RTTI 的意義遠(yuǎn)不僅僅反映在造型處理上。例如，在試圖下溯造型之前，可通過一種方法了解自己處理的是什

服務(wù)器租用/服務(wù)器托管中國五強(qiáng)！虛擬主機(jī)域名注冊(cè)頂級(jí)提供商！15年品質(zhì)保障！--億恩科技[ENKJ.COM]