多態(tài)性實現(xiàn)機制

1、C+的多態(tài)性實現(xiàn)機制剖析即VC+視頻第三課this指針詳細說明作者：孫鑫時間：2006年1月12日星期四多態(tài)性和虛函數(shù)我們先看一個例子：例1-1#includeclassanimalpublic:voidsleep()coutanimalsleependl;voidbreathe()coutanimalbreatheendl;classfish:publicanimalpublic:voidbreathe()coutfishbubblebreathe();注意，在例1-1的程序中沒有定義虛函數(shù)。考慮一下例1-1的程序執(zhí)行的結(jié)果是什么？答案是輸出：animalbreathe我們在main()函數(shù)

2、中首先定義了一個fish類的對象fh,接著定義了一個指向animal類的指針變量pAn，將fh的地址賦給了指針變量pAn，然后利用該變量調(diào)用pAn-breathe()。許多學員往往將這種情況和C+的多態(tài)性搞混淆，認為fh實際上是fish類的對象，應該是調(diào)用fish類的breathe()，輸出“fishbubble”，然后結(jié)果卻不是這樣。下面我們從兩個方面來講述原因。1、編譯的角度C+編譯器在編譯的時候，要確定每個對象調(diào)用的函數(shù)的地址，這稱為早期綁定(earlybinding),當我們將fish類的對象fh的地址賦給pAn時，C+編譯器進行了類型轉(zhuǎn)換，此時C+編譯器認為變量pAn保存的就是ani

3、mal對象的地址。當在main()函數(shù)中執(zhí)行pAn-breathe()時，調(diào)用的當然就是animal對象的breathe函數(shù)。2、內(nèi)存模型的角度我們給出了fish對象內(nèi)存模型，如下圖所示：animal的對象所占內(nèi)存fish類的對象所占內(nèi)存fish的對象自身增加的部分圖1-1fish類對象的內(nèi)存模型我們構(gòu)造fish類的對象時，首先要調(diào)用animal類的構(gòu)造函數(shù)去構(gòu)造animal類的對象，然后才調(diào)用fish類的構(gòu)造函數(shù)完成自身部分的構(gòu)造，從而拼接出一個完整的fish對象。當我們將fish類的對象轉(zhuǎn)換為animal類型時，該對象就被認為是原對象整個內(nèi)存模型的上半部分，也就是圖1-1中的“animal

4、的對象所占內(nèi)存”。那么當我們利用類型轉(zhuǎn)換后的對象指針去調(diào)用它的方法時，當然也就是調(diào)用它所在的內(nèi)存中的方法。因此，輸出animalbreathe，也就順理成章了。正如很多學員所想，在例1-1的程序中，我們知道pAn實際指向的是fish類的對象，我們希望輸出的結(jié)果是魚的呼吸方法，即調(diào)用fish類的breathe方法。這個時候，就該輪到虛函數(shù)登場了。前面輸出的結(jié)果是因為編譯器在編譯的時候，就已經(jīng)確定了對象調(diào)用的函數(shù)的地址，要解決這個問題就要使用遲綁定(latebinding)技術(shù)。當編譯器使用遲綁定時，就會在運行時再去確定對象的類型以及正確的調(diào)用函數(shù)。而要讓編譯器采用遲綁定，就要在基類中聲明函數(shù)時使

5、用virtual關(guān)鍵字(注意，這是必須的，很多學員就是因為沒有使用虛函數(shù)而寫出很多錯誤的例子)，這樣的函數(shù)我們稱為虛函數(shù)。一旦某個函數(shù)在基類中聲明為virtual，那么在所有的派生類中該函數(shù)都是virtual，而不需要再顯式地聲明為virtual0下面修改例1-1的代碼，將animal類中的breathe()函數(shù)聲明為virtual,如下：例1-2#includeclassanimalpublic:voidsleep()coutanimalsleependl;virtualvoidbreathe()coutanimalbreatheendl;classfish:publicanimalpubl

6、ic:voidbreathe()coutfishbubblebreathe();大家可以再次運行這個程序，你會發(fā)現(xiàn)結(jié)果是“fishbubble”，也就是根據(jù)對象的類型調(diào)用了正確的函數(shù)。那么當我們將breathe()聲明為virtual時，在背后發(fā)生了什么呢？編譯器在編譯的時候，發(fā)現(xiàn)animal類中有虛函數(shù)，此時編譯器會為每個包含虛函數(shù)的類創(chuàng)建一個虛表(即vtable)，該表是一個一維數(shù)組，在這個數(shù)組中存放每個虛函數(shù)的地址。對于例1-2的程序，animal和fish類都包含了一個虛函數(shù)breathe()，因此編譯器會為這兩個類都建立一個虛表，如下圖所示：animal類的vtablefish類的v

7、table圖1-2animal類和fish類的虛表那么如何定位虛表呢？編譯器另外還為每個類的對象提供了一個虛表指針(即vptr)，這個指針指向了對象所屬類的虛表。在程序運行時，根據(jù)對象的類型去初始化vptr,從而讓vptr正確的指向所屬類的虛表，從而在調(diào)用虛函數(shù)時，就能夠找到正確的函數(shù)。對于例1-2的程序，由于pAn實際指向的對象類型是fish，因此vptr指向的fish類的vtable，當調(diào)用pAn-breathe()時，根據(jù)虛表中的函數(shù)地址找到的就是fish類的breathe()函數(shù)。正是由于每個對象調(diào)用的虛函數(shù)都是通過虛表指針來索引的，也就決定了虛表指針的正確初始化是非常重要的。換句話說

8、，在虛表指針沒有正確初始化之前，我們不能夠去調(diào)用虛函數(shù)。那么虛表指針在什么時候，或者說在什么地方初始化呢？答案是在構(gòu)造函數(shù)中進行虛表的創(chuàng)建和虛表指針的初始化。還記得構(gòu)造函數(shù)的調(diào)用順序嗎，在構(gòu)造子類對象時，要先調(diào)用父類的構(gòu)造函數(shù)，此時編譯器只“看到了”父類，并不知道后面是否后還有繼承者，它初始化父類對象的虛表指針，該虛表指針指向父類的虛表。當執(zhí)行子類的構(gòu)造函數(shù)時，子類對象的虛表指針被初始化，指向自身的虛表。對于例2-2的程序來說，當fish類的fh對象構(gòu)造完畢后，其內(nèi)部的虛表指針也就被初始化為指向fish類的虛表。在類型轉(zhuǎn)換后，調(diào)用pAn-breathe()，由于pAn實際指向的是fish類的對

9、象，該對象內(nèi)部的虛表指針指向的是fish類的虛表，因此最終調(diào)用的是fish類的breathe()函數(shù)。要注意：對于虛函數(shù)調(diào)用來說，每一個對象內(nèi)部都有一個虛表指針，該虛表指針被初始化為本類的虛表。所以在程序中，不管你的對象類型如何轉(zhuǎn)換，但該對象內(nèi)部的虛表指針是固定的，所以呢，才能實現(xiàn)動態(tài)的對象函數(shù)調(diào)用，這就是C+多態(tài)性實現(xiàn)的原理?？偨Y(jié)(基類有虛函數(shù))：1、每一個類都有虛表。2、虛表可以繼承，如果子類沒有重寫虛函數(shù)，那么子類虛表中仍然會有該函數(shù)的地址，只不過這個地址指向的是基類的虛函數(shù)實現(xiàn)。如果基類3個虛函數(shù)，那么基類的虛表中就有三項(虛函數(shù)地址)，派生類也會有虛表，至少有三項，如果重寫了相應的虛

10、函數(shù)，那么虛表中的地址就會改變，指向自身的虛函數(shù)實現(xiàn)。如果派生類有自己的虛函數(shù)，那么虛表中就會添加該項。3、派生類的虛表中虛函數(shù)地址的排列順序和基類的虛表中虛函數(shù)地址排列順序相同。VC視頻第三課this指針說明我在論壇的VC教學視頻版面發(fā)了帖子，是模擬MFC類庫的例子寫的，主要是說明在基類的構(gòu)造函數(shù)中保存的this指針是指向子類的，我們在看一下這個例子：例1-3#includeclassbase;base*pbase;classbasepublic:base()pbase=this;virtualvoidfn()coutbaseendl;classderived:publicbasevoidf

11、n()coutderivedfn();我在base類的構(gòu)造函數(shù)中將this指針保存到pbase全局變量中。在定義全局對象aa,即調(diào)用derivedaa;時，要調(diào)用基類的構(gòu)造函數(shù)，先構(gòu)造基類的部分，然后是子類的部分，由這兩部分拼接出完整的對象aa。這個this指針指向的當然也就是aa對象，那么我們在main()函數(shù)中利用pbase調(diào)用fn()，因為pbase實際指向的是aa對象，而aa對象內(nèi)部的虛表指針指向的是自身的虛表，最終調(diào)用的當然是derived類中的fn()函數(shù)。在這個例子中，由于我的疏忽，在derived類中聲明fn()函數(shù)時，忘了加public關(guān)鍵字，導致聲明為了private(默認

12、為private)，但通過前面我們所講述的虛函數(shù)調(diào)用機制，我們也就明白了這個地方并不影響它輸出正確的結(jié)果。不知道這算不算C+的一個Bug，因為虛函數(shù)的調(diào)用是在運行時確定調(diào)用哪一個函數(shù)，所以編譯器在編譯時，并不知道pbase指向的是aa對象，所以導致這個奇怪現(xiàn)象的發(fā)生。如果你直接用aa對象去調(diào)用，由于對象類型是確定的(注意aa是對象變量，不是指針變量)，編譯器往往會采用早期綁定，在編譯時確定調(diào)用的函數(shù)，于是就會發(fā)現(xiàn)fn()是私有的，不能直接調(diào)用。：許多學員在寫這個例子時，直接在基類的構(gòu)造函數(shù)中調(diào)用虛函數(shù)，前面已經(jīng)說了，在調(diào)用基類的構(gòu)造函數(shù)時，編譯器只“看到了”父類，并不知道后面是否后還有繼承者，它只是初始化父類對象的虛表指針，讓該虛表指針指向父類的虛表，所以你看到結(jié)果當然不正確。只有在子類的構(gòu)造函數(shù)調(diào)用完畢后，整個虛表才構(gòu)建完畢，此時才能真正應用C+的多態(tài)性。換句話說，我們不要在構(gòu)造函數(shù)中去調(diào)用虛函數(shù)，當然如果你只是想調(diào)用本類的函數(shù)，也無所謂。參考資料：1、文章在VC6.0中虛函數(shù)的實現(xiàn)方法，作者：backer，網(wǎng)址： HYPERLINK /bbs/dispbbs.asp?bo