多態(tài)(Polymorphism)是面向?qū)ο蟮暮诵母拍睿疚囊訡++為例，討論多態(tài)的具體實(shí)現(xiàn)。C++中多態(tài)可以分為基于繼承和虛函數(shù)的動(dòng)態(tài)多態(tài)以及基于模板的靜態(tài)多態(tài)，如果沒(méi)有特別指明，本文中出現(xiàn)的多態(tài)都是指前者，也就是基于繼承和虛函數(shù)的動(dòng)態(tài)多態(tài)。至于什么是多態(tài)，在面向?qū)ο笾腥绾问褂枚鄳B(tài)，使用多態(tài)的好處等等問(wèn)題，如果大家感興趣的話，可以找本面向?qū)ο蟮臅?shū)來(lái)看看。
    為了方便說(shuō)明，下面舉一個(gè)簡(jiǎn)單的使用多態(tài)的例子(From [1] )：

     例子中使用到多態(tài)的代碼以黑體標(biāo)出了，它們一個(gè)很明顯的特征就是通過(guò)一個(gè)基類(lèi)的指針（或者引用）來(lái)調(diào)用不同子類(lèi)的方法。
     那么，現(xiàn)在的問(wèn)題是，這個(gè)功能是怎樣實(shí)現(xiàn)的呢？我們可以先來(lái)大概猜測(cè)一下：對(duì)于一般的方法調(diào)用，到了匯編代碼這一層次的時(shí)候，一般都是使用 Call funcaddr 這樣的指令進(jìn)行調(diào)用，其中funcaddr是要調(diào)用函數(shù)的地址。按理來(lái)說(shuō)，當(dāng)我使用指針pShape來(lái)調(diào)用Draw的時(shí)候，編譯器應(yīng)該將Shape::Draw的地址賦給funcaddr，然后Call 指令就可以直接調(diào)用Shape::Draw了，這就跟用pShape來(lái)調(diào)用Shape::Erase一樣。但是，運(yùn)行結(jié)果卻告訴我們，編譯器賦給funcaddr的值卻是Circle::Drawde的值。這就說(shuō)明，編譯器在對(duì)待Draw方法和Erase方法時(shí)使用了雙重標(biāo)準(zhǔn)。那么究竟是誰(shuí)有這么大的法力，使編譯器這個(gè)鐵面無(wú)私的判官都要另眼相看呢？virtual！！
     Clever！！正是virtual這個(gè)關(guān)鍵字一手導(dǎo)演了這一出“乾坤大挪移”的好戲。說(shuō)道這里，我們先要明確兩個(gè)概念：靜態(tài)綁定和動(dòng)態(tài)綁定。
    1、靜態(tài)綁定（static bingding），也叫早期綁定，簡(jiǎn)單來(lái)說(shuō)就是編譯器在編譯期間就明確知道所要調(diào)用的方法，并將該方法的地址賦給了Call指令的funcaddr。因此，運(yùn)行期間直接使用Call指令就可調(diào)用到相應(yīng)的方法。
    2、動(dòng)態(tài)綁定（dynamic binding），也叫晚期綁定，與靜態(tài)綁定不同，在編譯期間，編譯器并不能明確知道究竟要調(diào)用的是哪一個(gè)方法，而這，要知道運(yùn)行期間使用的具體是哪個(gè)對(duì)象才能決定。
    好了，有了這兩個(gè)概念以后，我們就可以說(shuō)，virtual的作用就是告訴編譯器：我要進(jìn)行動(dòng)態(tài)綁定！編譯器當(dāng)然會(huì)尊重你的意見(jiàn)，而且為了完成你這個(gè)要求，編譯器還要做很多的事情：編譯器自動(dòng)在聲明了virtual方法的類(lèi)中插入一個(gè)指針vptr和一個(gè)數(shù)據(jù)結(jié)構(gòu)VTable（vptr用以指向VTable；VTable是一個(gè)指針數(shù)組，里面存放著函數(shù)的地址），并保證二者遵守下面的規(guī)則：
    1、VTable中只能存放聲明為virtual的方法，其它方法不能存放在里面。在上面的例子中，Shape的VTable中就只有Draw，MoveTo和~Shape。方法Erase的地址并不能存放在VTable中。此外，如果方法是純虛函數(shù)，如 Draw，那么同樣要在VTable中保留相應(yīng)的位置，但是由于純虛函數(shù)沒(méi)有函數(shù)體，因此該位置中并不存放Draw的地址，而是可以選擇存放一個(gè)出錯(cuò)處理的函數(shù)的地址，當(dāng)該位置被意外調(diào)用時(shí)，可以用出錯(cuò)函數(shù)進(jìn)行相應(yīng)的處理。
    2、派生類(lèi)的VTalbe中記錄的從基類(lèi)中繼承下來(lái)的虛函數(shù)地址的索引號(hào)必須跟該虛函數(shù)在基類(lèi)VTable中的索引號(hào)保持一致。如在上例中，如果在Shape的VTalbe中，Draw為 1 號(hào)， MoveTo 2 號(hào)，~Shape為 3 號(hào)，那么，不管這些方法在Circle中是按照什么順序定義的，Circle的VTable中都必須保證Draw為 1 號(hào)，MoveTo為 2號(hào)。至于 3號(hào)，這里是~Circle。為什么不是~Shape啊？嘿嘿，忘啦，析構(gòu)函數(shù)不會(huì)繼承的。
    3、vptr是由編譯器自動(dòng)插入生成的，因此編譯器必須負(fù)責(zé)為其進(jìn)行初始化。初始化的時(shí)間選在對(duì)象創(chuàng)建時(shí)，而地點(diǎn)就在構(gòu)造函數(shù)中。因此，編譯器必須保證每個(gè)類(lèi)至少有一個(gè)構(gòu)造函數(shù)，若沒(méi)有，自動(dòng)為其生成一個(gè)默認(rèn)構(gòu)造函數(shù)。
     4、vptr通常放在對(duì)象的起始處，也就是Addr(obj) == Addr(obj.vptr)。
    你看，天下果然沒(méi)有免費(fèi)的午餐，為了實(shí)現(xiàn)動(dòng)態(tài)綁定，編譯器要為我們默默干了這么多的臟話累活。如果你想體驗(yàn)一下編譯器的辛勞，那么可以嘗試用C語(yǔ)言模擬一下上面的行為，【1】中就有這么一個(gè)例子。好了，現(xiàn)在萬(wàn)事具備，只欠東風(fēng)了。編譯，連接，載入，GO！當(dāng)程序執(zhí)行到 pShape->Draw()的時(shí)候，上面的設(shè)施也開(kāi)始起作用了。。
    前面已經(jīng)提到，晚期綁定時(shí)之所以不能確定調(diào)用哪個(gè)函數(shù)，是因?yàn)榫唧w的對(duì)象不確定。好了，當(dāng)運(yùn)行到pShape->Draw()時(shí)，對(duì)象出來(lái)了，它由pShape指針標(biāo)出。我們找到這個(gè)對(duì)象后，就可以找到它里面的vptr（在對(duì)象的起始處），有了vptr后，我們就找到了VTable，調(diào)用的函數(shù)就在眼前了。。等等，VTable中方法那么多，我究竟使用哪個(gè)呢？不用著急，編譯器早已為我們做好了記錄：編譯器在創(chuàng)建VTable時(shí)，已經(jīng)為每個(gè)virtual函數(shù)安排好了座次，并且把這個(gè)索引號(hào)記錄了下來(lái)。因此，當(dāng)編譯器解析到pShape->Draw()的時(shí)候，它已經(jīng)悄悄的將函數(shù)的名字用索引號(hào)來(lái)代替了。這時(shí)候，我們通過(guò)這個(gè)索引號(hào)就可以在VTable中得到一個(gè)函數(shù)地址，Call it！
    在這里，我們就體會(huì)到為什么會(huì)有第二條規(guī)定了，通常，我們都是用基類(lèi)的指針來(lái)引用派生類(lèi)的對(duì)象，但是不管具體對(duì)象是哪個(gè)派生類(lèi)的，我們都可以使用相同的索引號(hào)來(lái)取得對(duì)應(yīng)的函數(shù)實(shí)現(xiàn)。
     現(xiàn)實(shí)中有一個(gè)例子其實(shí)跟這個(gè)蠻像的：報(bào)警電話有110，119，120（VTable中不同的方法）。不同地方的人撥打不同的號(hào)碼所產(chǎn)生的結(jié)果都是不一樣的。譬如，在三環(huán)外的一個(gè)人（具體對(duì)象）跟一環(huán)內(nèi)的一個(gè)人（另外一個(gè)具體對(duì)象）打119，最后調(diào)用的消防隊(duì)肯定是不一樣的，這就是多態(tài)了。這是怎么實(shí)現(xiàn)的呢，每個(gè)人都知道一個(gè)報(bào)警中心（VTable，里面有三個(gè)方法 110，119，120）。如果三環(huán)外的一個(gè)人需要火警搶險(xiǎn)（一個(gè)具體對(duì)象）時(shí)，它就撥打119，但是他肯定不知道最后是哪一個(gè)消防隊(duì)會(huì)出現(xiàn)的。這得有報(bào)警中心來(lái)決定，報(bào)警中心通過(guò)這個(gè)具體對(duì)象（例子中就是具體位置了）以及他說(shuō)撥打的電話號(hào)碼（可以理解成索引號(hào)），報(bào)警中心可以確定應(yīng)該調(diào)度哪一個(gè)消防隊(duì)進(jìn)行搶險(xiǎn)（不同的動(dòng)作）。
     這樣，通過(guò)vptr和VTable的幫助，我們就實(shí)現(xiàn)了C++的動(dòng)態(tài)綁定。當(dāng)然，這僅僅是單繼承時(shí)的情況，多重繼承的處理要相對(duì)復(fù)雜一點(diǎn)，下面簡(jiǎn)要說(shuō)一下最簡(jiǎn)單的多重繼承的情況，至于虛繼承的情況，有興趣的朋友可以看看 Lippman的《Inside the C++ Object Model》，這里暫時(shí)就不展開(kāi)了。（主要是自己還沒(méi)搞清楚，況且現(xiàn)在多重繼承都不怎么使用了，虛繼承應(yīng)用的機(jī)會(huì)就更少了）
     首先，我要先說(shuō)一下多重繼承下對(duì)象的內(nèi)存布局，也就是說(shuō)該對(duì)象是如何存放本身的數(shù)據(jù)的。

    在上面這個(gè)例子中，一個(gè)Dog對(duì)象在內(nèi)存中的布局如下所示：                    

Dog

Vptr1

Cute::i

Vptr2

Pet::j

Dog::z

     也就是說(shuō)，在Dog對(duì)象中，會(huì)存在兩個(gè)vptr,每一個(gè)跟所繼承的父類(lèi)相對(duì)應(yīng)。如果我們要想實(shí)現(xiàn)多態(tài)，就必須在對(duì)象中準(zhǔn)確地找到相應(yīng)的vptr，以調(diào)用不同的方法。但是，如果根據(jù)單繼承時(shí)的邏輯，也就是vptr放在指針指向位置的起始處，那么，要在多重繼承情況下實(shí)現(xiàn)，我們必須保證在將一個(gè)派生類(lèi)的指針隱式或者顯式地轉(zhuǎn)換成一個(gè)父類(lèi)的指針時(shí)，得到的結(jié)果指向相應(yīng)派生類(lèi)數(shù)據(jù)在Dog對(duì)象中的起始位置。幸好，這工作編譯器已經(jīng)幫我們完成了。上面的例子中，如果Dog向上轉(zhuǎn)換成Pet的話，編譯器會(huì)自動(dòng)計(jì)算Pet數(shù)據(jù)在Dog對(duì)象中的偏移量，該偏移量加上Dog對(duì)象的起始位置，就是Pet數(shù)據(jù)的實(shí)際地址了。

      好了，既然編譯器幫我們自動(dòng)完成了不同父類(lèi)的地址轉(zhuǎn)換，我們調(diào)用虛函數(shù)的過(guò)程也就跟單繼承統(tǒng)一起來(lái)了：通過(guò)具體對(duì)象，找到vptr（通常指針的起始位置，因此Cute找到的是vptr1，而Pet找到的是vptr2），通過(guò)vptr，我們找到VTable，然后根據(jù)編譯時(shí)得到的VTable索引號(hào)，我們?nèi)〉孟鄳?yīng)的函數(shù)地址，接著就可以馬上調(diào)用了。

      在這里，順便也提一下兩個(gè)特殊的方法在多態(tài)中的特別之處吧：第一個(gè)是構(gòu)造函數(shù)，在構(gòu)造函數(shù)中調(diào)用虛函數(shù)是不會(huì)有多態(tài)行為的，例子如下：

     第二個(gè)就是析構(gòu)函數(shù)，使用多態(tài)的時(shí)候，我們經(jīng)常使用基類(lèi)的指針來(lái)引用派生類(lèi)的對(duì)象，如果是動(dòng)態(tài)創(chuàng)建的，對(duì)象使用完后，我們使用delete來(lái)釋放對(duì)象。但是，如果我們不注意的話，會(huì)有意想不到的情況發(fā)生。

    所以，如果一個(gè)類(lèi)設(shè)計(jì)用來(lái)被繼承的話，那么它的析構(gòu)函數(shù)應(yīng)該被聲明為virtual的。