關於基類構造函數調用虛函數實際調用的不是派生類的問題的原因

博客已遷移至：http://kulv.sinaapp.com/

關於基類構造函數調用虛函數實際調用的不是派生類的問題的原因

---

 

我們知道，類的構造函數裏面編譯器插入了很多代碼，比如異常安全，虛函數表指針的設置，基類構造，等等。

而且，關鍵是這些代碼時在任何用戶的代碼（非初始化）的地方之前插入的，問題就來了···

如果在基類構造函數裏面調用基類的虛函數，那麼，實際調用的卻不像我們當初認爲的多態效果，爲什麼呢？

下面看看編譯怎麼實現的就知道了····

下面是測試類：

class A { public: A() { vfunc() ; } virtual vfunc() { ; } } ; class CC : public A { public: virtual vfunc() { ; } }; int main() { CC c ; return 0 ; }

 

原因：

004012F8 lea ecx,[ebp-4] //裝載this指針到ECX,這是thiscall的調研約定 004012FB call @ILT+5(CC::CC) (0040100a) //調用CC的構造函數 30: return 0 ; 00401300 xor eax,eax 31: } /////////////////////////////////////////////////////////////////////// CC::CC: ···· 00401339 pop ecx //this指針到ECX 0040133A mov dword ptr [ebp-4],ecx 0040133D mov ecx,dword ptr [ebp-4] 00401340 call @ILT+15(A::A) (00401014) //派生類構造函數進入後，完全沒幹什麼事就“馬上”調用了基類的構造函數，那麼，其vptr虛函數表指針也沒有賦值！ 00401345 mov eax,dword ptr [ebp-4] 00401348 mov dword ptr [eax],offset CC::`vftable' (00431068)//直到這纔對自己的虛函數表指針賦值，因此，此前的調用，絕不會涉及到派生類CC的虛函數·· 0040134E mov eax,dword ptr [ebp-4] //此後如果有任何虛函數調用，訪問虛函數表時訪問的就正常的是派生類的虛函數表了，調用的也正確了 00401351 pop edi 00401352 pop esi 00401353 pop ebx 00401354 add esp,44h 00401357 cmp ebp,esp 00401359 call __chkesp (00401590) 0040135E mov esp,ebp 00401360 pop ebp 00401361 ret /////////////////////////////////////////////////////////////////////// 10: A() { ···· 00401399 pop ecx 0040139A mov dword ptr [ebp-4],ecx 0040139D mov eax,dword ptr [ebp-4] 004013A0 mov dword ptr [eax],offset A::`vftable' (0043106c) //注意到，基類第一件事情是：爲虛函數表指針地址賦值， //此指針傳下來其實是CC派生類的this指針的地址，也就是：類的第一個字節 11: vfunc() ;//此時調用的時候，理所當然會傳入this指針，此this的vptr此時還不是派生類的，而是上面一句設置的基類的虛函數表地址！ 004013A6 mov ecx,dword ptr [ebp-4] //傳遞這個很多人都會“錯誤的以爲的”this 004013A9 call @ILT+10(A::vfunc) (0040100f) //調用這個“虛函數”，這裏沒有訪問虛函數表是因爲編譯器優化的原因吧，因爲此時肯定爲A的vfunc， //感興趣可以試一下：看下面的例子 12: } ····· 004013C1 ret

 

上面沒有訪問虛函數表，是因爲編譯器優化了一下，如果我們的A類構造函數是這樣的，那麼···

class A { public: A() { init() ;//先調用A的非虛函數，裏面再調用vfunc虛函數就可以看出要訪問虛函數表了，不過此時的虛函數表指針指向A的虛函數表 } virtual vir() { ;} ;//故意加了一項，待會會看到+4的字樣 virtual vfunc() {//應該在虛函數表的第二項 ; } init() { vfunc() ; } } ; 10: A() { ···· 004013A9 pop ecx 004013AA mov dword ptr [ebp-4],ecx 004013AD mov eax,dword ptr [ebp-4] 004013B0 mov dword ptr [eax],offset A::`vftable' (00431074)//設置此時的虛函數表指針爲基類的！！不是派生類的，調用完成後會被派生類覆蓋 11: init() ; 004013B6 mov ecx,dword ptr [ebp-4] 004013B9 call @ILT+40(A::init) (0040102d) //不是虛函數，直接調用，不用訪問虛函數表 12: } ···· 004013D1 ret /////////////////////////////////////////////////////////////////////// 18: init() { ···· 00401469 pop ecx 0040146A mov dword ptr [ebp-4],ecx //this指針放到棧頂 19: vfunc() ; 0040146D mov eax,dword ptr [ebp-4] //下面準備虛函數表的查詢，可以看出，虛函數調用機制還是會多用幾次尋址操作的，訪問內存。 00401470 mov edx,dword ptr [eax] //this-》edx。其實其內容是A的虛函數表的指針 00401472 mov esi,esp 00401474 mov ecx,dword ptr [ebp-4] 00401477 call dword ptr [edx+4] //vfunc在第二項，所以+4，這裏 0040147A cmp esi,esp 0040147C call __chkesp (00401610) 20: } ···· 00401491 ret