什么是接口重用?我們舉一個簡單的例子,假設我們有一個描述飛機的基類(Object Pascal語言描述,下同):
type
plane = class
public
PRocedure fly(); virtual; abstract; //起飛純虛函數
procedure land(); virtual; abstract; //著陸純虛函數
function modal() : string; virtual; abstract; //查尋型號純虛函數
end;
然后,我們從plane派生出兩個子類,直升機(copter)和噴氣式飛機(jet):
copter = class(plane)
private
fModal : String;
public
constructor Create();
destructor Destroy(); override;
procedure fly(); override;
procedure land(); override;
function modal() : string; override;
end;
jet = class(plane)
private
fModal : String;
public
constructor Create();
destructor Destroy(); override;
procedure fly(); override;
procedure land(); override;
function modal() : string; override;
end;
現在,我們要完成一個飛機控制系統,有一個全局的函數 plane_fly,它負責讓傳遞給它的飛機起飛,那么,只需要這樣:
procedure plane_fly(const pplane : plane);
begin
pplane.fly();
end;
就可以讓所有傳給它的飛機(plane的子類對象)正常起飛!不管是直升機還是噴氣機,甚至是現在還不存在的,以后會增加的飛碟。因為,每個子類都已經定義了自己的起飛方式。
可以看到 plane_fly函數接受參數的是 plane類對象引用,而實際傳遞給它的都是 plane的子類對象,現在回想一下開頭所描述的“多態”:多態性是答應你將父對象設置成為和一個或更多的他的子對象相等的技術,賦值之后,父對象就可以根據當前賦值給它的子對象的特性以不同的方式運作。
很顯然,parent = child; 就是多態的實質!因為直升機“是一種”飛機,噴氣機也“是一種”飛機,因此,所有對飛機的操作,都可以對它們操作,此時,飛機類就作為一種接口。
多態的本質就是將子類類型的指針賦值給父類類型的指針(在OP中是引用),只要這樣的賦值發生了,多態也就產生了,因為實行了“向上映射”。
應用多態的例子非常普遍,在Delphi的VCL類庫中,最典型的就是:TObject類有一個虛擬的Destroy虛構函數和一個非虛擬的Free函數。Free函數中是調用Destroy的。因此,當我們對任何對象(都是TObject的子類對象)調用 .Free();之后,都會執行 TObject.Free();,它會調用我們所使用的對象的析構函數 Destroy();。這就保證了任何類型的對象都可以正確地被析構。
多態性作為面向對象最重要的特性,本文所提不過是滄海一粟,還有很多內容。假如可能,希望會有后文繼續探討多態。
進入討論組討論。