多形對象的互換使用

2019-11-18 12:09:38

字體：大中小

來源：轉載

供稿：網友

　　通常，繼續最終會以創建一系列類收場，所有類都建立在統一的接口基礎上。我們用一幅顛倒的樹形圖來闡明這一點（見注釋）：
　　[注釋] 這兒采用了“統一記號法”。
　　多形對象的互換使用

　　對這樣的一系列類，我們要進行的一項重要處理就是將衍生類的對象當作基礎類的一個對象對待。這一點是非常重要的，因為它意味著我們只需編寫單一的代碼，令其忽略類型的特定細節，只與基礎類打交道。這樣一來，那些代碼就可與類型信息分開。所以更易編寫，也更易理解。此外，若通過繼續增添了一種新類型，如“三角形”，那么我們為“幾何外形”新類型編寫的代碼會象在舊類型里一樣良好地工作。所以說程序具備了“擴展能力”，具有“擴展性”。
　　以上面的例子為基礎，假設我們用java寫了這樣一個函數：
　　void doStuff(Shape s) {
　 s.erase();
　　　// ...
　s.draw();
}
　　這個函數可與任何“幾何外形”（Shape）通信，所以完全獨立于它要描繪（draw）和刪除（erase）的任何特定類型的對象。假如我們在其他一些程序里使用doStuff()函數：
　　Circle c = new Circle();
Triangle t = new Triangle();
Line l = new Line();
doStuff(c);
doStuff(t);
doStuff(l);
　　那么對doStuff()的調用會自動良好地工作，無論對象的具體類型是什么。
　　這實際是一個非常有用的編程技巧。請考慮下面這行代碼：
　　doStuff(c);
　　此時，一個Circle（圓）句柄傳遞給一個本來期待Shape（外形）句柄的函數。由于圓是一種幾何外形，所以doStuff()能正確地進行處理。也就是說，凡是doStuff()能發給一個Shape的消息，Circle也能接收。所以這樣做是安全的，不會造成錯誤。
　　我們將這種把衍生類型當作它的基本類型處理的過程叫作“Upcasting”（上溯造型）。其中，“cast”（造型）是指根據一個現成的模型創建；而“Up”（向上）表明繼續的方向是從“上面”來的——即基礎類位于頂部，而衍生類在下方展開。所以，根據基礎類進行造型就是一個從上面繼續的過程，即“Upcasting”。
　　在面向對象的程序里，通常都要用到上溯造型技術。這是避免去調查準確類型的一個好辦法。請看看doStuff()里的代碼：
　　s.erase();
// ...
s.draw();
　　注重它并未這樣表達：“假如你是一個Circle，就這樣做；假如你是一個Square，就那樣做；等等”。若那樣編寫代碼，就需檢查一個Shape所有可能的類型，如圓、矩形等等。這顯然是非常麻煩的，而且每次添加了一種新的Shape類型后，都要相應地進行修改。在這兒，我們只需說：“你是一種幾何外形，我知道你能將自己刪掉，即erase()；請自己采取那個行動，并自己去控制所有的細節吧。”
　　1 動態綁定
　　在doStuff()的代碼里，最讓人吃驚的是盡管我們沒作出任何非凡指示，采取的操作也是完全正確和恰當的。我們知道，為Circle調用draw()時執行的代碼與為一個Square或Line調用draw()時執行的代碼是不同的。但在將draw()消息發給一個匿名Shape時，根據Shape句柄當時連接的實際類型，會相應地采取正確的操作。這當然令人驚奇，因為當Java編譯器為doStuff()編譯代碼時，它并不知道自己要操作的準確類型是什么。盡管我們確實可以保證最終會為Shape調用erase()，為Shape調用draw()，但并不能保證為特定的Circle，Square或者Line調用什么。然而最后采取的操作同樣是正確的，這是怎么做到的呢？
　　將一條消息發給對象時，假如并不知道對方的具體類型是什么，但采取的行動同樣是正確的，這種情況就叫作“多形性”（Polymorphism）。對面向對象的程序設計語言來說，它們用以實現多形性的方法叫作“動態綁定”。編譯器和運行期系統會負責對所有細節的控制；我們只需知道會發生什么事情，而且更重要的是，如何利用它幫助自己設計程序。
　　有些語言要求我們用一個非凡的要害字來答應動態綁定。在C++中，這個要害字是virtual。在Java中，我們則完全不必記住添加一個要害字，因為函數的動態綁定是自動進行的。所以在將一條消息發給對象時，我們完全可以肯定對象會采取正確的行動，即使其中涉及上溯造型之類的處理。
　　2 抽象的基礎類和接口
　　設計程序時，我們經常都希望基礎類只為自己的衍生類提供一個接口。也就是說，我們不想其他任何人實際創建基礎類的一個對象，只對上溯造型成它，以便使用它們的接口。為達到這個目的，需要把那個類變成“抽象”的——使用abstract要害字。若有人試圖創建抽象類的一個對象，編譯器就會阻止他們。這種工具可有效強制實行一種非凡的設計。
　　亦可用abstract要害字描述一個尚未實現的方法——作為一個“根”使用，指出：“這是適用于從這個類繼續的所有類型的一個接口函數，但目前尚沒有對它進行任何形式的實現。”抽象方法也許只能在一個抽象類里創建。繼續了一個類后，那個方法就必須實現，否則繼續的類也會變成“抽象”類。通過創建一個抽象方法，我們可以將一個方法置入接口中，不必再為那個方法提供可能毫無意義的主體代碼。
　　interface（接口）要害字將抽象類的概念更延伸了一步，它完全禁止了所有的函數定義。“接口”是一種相當有效和常用的工具。另外假如自己愿意，亦可將多個接口都合并到一起（不能從多個普通class或abstract class中繼續）。

上一篇：帶來娛樂和收益的靜態內部類

下一篇：繼承：重新使用接口