學習C++的多態性,你必然聽過虛函數的概念,你必然知道有關她的種種語法,但你未必瞭解她爲什麼要那樣做,未必瞭解她種種行爲背後的所思所想。深知你不想在流於表面語法上的蜻蜓點水似是而非,今天我們就一起來揭開擋在你和虛函數(女神)之間的這一層窗戶紙。
首先,我們要搞清楚女神的所作所爲,即語法規範。然後再去探究她背後的邏輯道理。她的語法說來也不復雜,概括起來就這麼幾條:
在類成員方法的聲明(不是定義)語句前面加個單詞:virtual,她就會搖身一變成爲虛函數。
在虛函數的聲明語句末尾中加個 =0 ,她就會搖身一變成爲純虛函數。
子類可以重新定義基類的虛函數,我們把這個行爲稱之爲複寫(override)。
不管是虛函數還是純虛函數,基類均可爲其提供實現代碼(implementation),在這種情況下子類可以調用基類的這些實現。
子類自主選擇是否要提供一份屬於自己的個性化虛函數實現。
子類必須提供一份屬於自己的個性化純虛函數實現。
語法都列出來了,背後的邏輯含義是什麼呢?我們用一個生動的例子來說明,虛函數是如何實現多態性的。
假設我們要設計關於飛行器的類,並且提供類似加油、飛行的實現代碼,考慮具體情況,飛行器多種多樣,有民航客機、殲擊機、轟炸機、直升機、熱氣球、火箭甚至竄天猴、孔明燈、紙飛機!
假設我們有一位牛得一比的飛行員,他能給各式各樣的飛行器加充不同的燃料,也能駕駛各式各樣的飛行器。下面我們來看看這些類可以怎麼設計。
首先,飛行器。由於我們假設所有的飛行器都有兩種行爲:加油和飛行。因此我們可以將這兩種行爲抽象到一個基類中,並由它來派生具體的某款飛行器。
這是一個描述飛行器的基類,提供了兩個基本的功能:加油和飛行
class aircraft
{
void refuel(); // 加燃油,普通虛函數
void fly()=0; // 飛行,純虛函數
};
這是一個普通虛函數,意味着基類希望子類提供自己的個性化實現代碼,但基類同時也提供一個缺省的虛函數實現版本,在子類不復寫該虛函數的情況下作爲備選方案
void aircraft::refuel()
{
// 加充通用型燃油
}
這是一個純虛函數,意味着基類強制子類必須提供自己的個性化版本,否則編譯將失敗。但讓人驚奇的是,C++仍然保留了基類提供該純虛函數代碼實現的權利,這也許是給千變萬化的實際情況留下後路
void aircraft::fly()
{
// 一種不應該被使用的缺省飛行方案
}
有了基類aircraft,我們就可以瀟灑地派生出各式各樣的飛行器了,比如轟炸機和直升機:
轟炸機類定義,複寫了加油和飛行
class bomber : public aircraft
{
void refuel(){} // 加充轟炸機的特殊燃油!
void fly(){} // 轟炸機實彈飛行!
};
直升機類定義,複寫了飛行代碼,但沒有複寫加油
class copter: public aircraft
{
void fly(){} // 直升機盤旋!
};
以上代碼可以看到,直升機類(copter)沒有自己的加油方式,直接使用了基類提供的缺省加油的方式。此時我們來定義一個能駕馭多機型的王牌飛行員類:
一個王牌飛行員
class pilot
{
void refuelPlane(aircraft *p);
void dirvePlane(aircraft *p);
};
給我什麼飛機我就加什麼油
void pilot::refuelPlane(aircraft *p)
{
p->refuel();
}
給我什麼飛機我就怎麼飛
void pilot::dirvePlane(aircraft *p)
{
p->fly();
}
很明顯,我們接下來要給這位很浪的飛行員表演一下操縱各種飛行器的機會,我們來定義各種飛機然後丟給他去處理
定義兩架飛機,一架轟6K,一架武直10
aircraft *H6K = new bomber;
aircraft *WZ10 = new copter;
來一個王牌飛行員,給H6K加油(加的是轟炸機特殊燃油),並且按照H6K的特點飛行
pilot Jack;
Jack.refuelPlane(H6K); // 加充轟炸機燃油
Jack.flyPlane(H6K); // 轟炸機實彈飛行
給WZ10加油(加的是基類提供的通用燃油),按照WZ10的特點飛行
Jack.refuelPlane(WZ10); // 加充通用型燃油
Jack.flyPlane(WZ10); // 直升機盤旋
上述代碼體現了最經典的所謂多態的場景,給Jack不同的飛機,就能表現不同的結果。虛函數和純虛函數都能做到這一點,區別是,子類如果不提供虛函數的實現,那就會自動調用基類的缺省方案。而子類如果不提供純虛函數的實現,則編譯將會失敗。基類提供的純虛函數實現版本,無法通過指向子類對象的基類類型指針或引用來調用,因此不能作爲子類相應虛函數的備選方案。下面給出總結。
第一,當基類的某個成員方法,在大多數情形下都應該由子類提供個性化實現,但基類也可以提供一個備選方案的時候,請將其設計爲虛函數。例如飛行器的加油動作,每種不同的飛行器原則上都應該有自己的個性化的加充燃油的方式,但也不免可以有一種通用的燃油及其加充方式。
第二,當基類的某個成員方法,必須由子類提供個性化實現的時候,請將其設計爲純虛函數。例如飛行器的飛行動作,邏輯上每種飛行器都必須提供爲其特殊設計的個性化飛行行爲,而不應該有任何一種“通用的飛行方式”。
第三,使用一個基類類型的指針或者引用,來指向子類對象,進而調用經由子類複寫了的個性化的虛函數,這是C++實現多態性的一個最經典的場景。
第四,基類提供的純虛函數的實現版本,並非爲了多態性考慮,因爲指向子類對象的基類指針和引用無法調用該版本。純虛函數在基類中的實現跟多態性無關,它只是提供了一種語法上的便利,在變化多端的應用場景中留有後路。
第五,虛函數和普通的函數實際上是存儲在不同的區域的,虛函數所在的區域是可被覆蓋(也稱複寫override)的,每當子類定義相同名稱的虛函數時就將原來基類的版本給覆蓋了,另一側面也說明了爲什麼基類中聲明的虛函數在後代類中不需要另加聲明一律自動爲虛函數,因爲它所存儲的位置不會發生改變。而普通函數的存儲區域不會覆蓋,每個類都有自己獨立的區域互不相干。
最後附一幅草圖以供參考
歡迎關注 林世霖 微信公衆號:祕籍酷
大量技術乾貨,掃掃關注助力職業生涯暴擊+80%