一、源碼

#include <iostream>class Father { public:Father(){/*** 該處直接將該對象清零，意味著虛函數表指針亦被清零。*/memset(this, 0, sizeof(Father));} public:virtual void Func1(){std::cout << "Fahter::Func1()" << std::endl;}virtual void Func2(){std::cout << "Fahter::Func2()" << std::endl;}virtual void Func3(){std::cout << "Fahter::Func3()" << std::endl;} };int main() {Father father;father.Func1();father.Func2();father.Func3();Father* pfather = new Father();/*** 此處開始崩潰，因為虛函數表指針已經被清零。*/pfather->Func1();pfather->Func2();pfather->Func3();return 0; }

結果

二、分析

問題，為什么含有虛函數的類，若是直接申請為實例對象，可以調用虛函數，但是通過指針 new 出的實例卻崩潰呢？

原因，這里有個靜態聯編和動態聯編的概念。

? ? ? ?靜態聯編的意思是在編譯期間就能確定調用的函數的地址，即：call （地址），地址是確定的值。

? ? ? ?動態聯編的意思是在運行期間才能確定調用的函數的地址。方法是通過對象的虛函數表指針找到虛函數表，再通過虛函數表找到虛函數，這也是多態的實現機理。而多態的實現，只針對指針或者引用。

? ? ? ?上述代碼中，因為對象“father”不是指針或者引用，所以盡管存在虛函數，但是這些虛函數在不用在多態的情況下，其功能和普通函數是一樣的，所以編譯器直接將其按照靜態編譯來處理。

? ? ? ?針對上述代碼中的"pfather"，因為是 new 出的對象，所以編譯器要考慮下面多態的可能性，所以調用虛函數是按照動態聯編的調用順序來調用的，即：虛函數表指針 --> 虛函數表 --> 虛函數 。但是，問題出在了“Father”類的構造函數中，因為該構造函數初始化對象的方法是直接將整個對象都初始化為0，這里面也包括虛函數表指針，所以，走多態的路來調用虛函數直接 Over 了。。所以上述通過 pfather 調用虛函數的方法就產生了崩潰。

?

（SAW：Game Over！）

總結

以上是生活随笔為你收集整理的Cpp 对象模型探索 / 静态联编和动态联编的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。