透析C++類對象的內存模型
作者：佚名
下文著重介紹在C++語言中，如果類中有虛函數，那么它就會有一個虛函數表的指針，在類對象最開始的內存數據中出現。
雖然有許多人對C++類對象表示懷疑，但在年復一年的不斷發展中，他的使用率也在不斷提高。如過要想對C++類對象充分了解，但前提是要深入理解到底什么是C++類對象，及他是怎么運作的。
首先介紹一下C++中有繼承關系的類對象內存的布局：在C++中，如果類中有虛函數，那么它就會有一個虛函數表的指針__vfptr，在類對象最開始的內存數據中。之后是類中的成員變量的內存數據。
對于子類，最開始的內存數據記錄著父類對象的拷貝（包括父類虛函數表指針和成員變量）。 之后是子類自己的成員變量數據。對于子類的子類，也是同樣的原理。但是無論繼承了多少個子類，對象中始終只有一個虛函數表指針。
為了探討C++類對象的內存布局，先來寫幾個類和函數首先寫一個基類：然后，我們多種不同的繼承情況來研究子類的內存對象結構。
1. 無虛函數集繼承
- //子類1，無虛函數重載
- class Child1 : public Base
- {
- public:
- virtual void f1() { cout << "Child1::f1" << endl; }
- virtual void g1() { cout << "Child1::g1" << endl; }
- virtual void h1() { cout << "Child1::h1" << endl; }
- int child1;
- protected:
- private:
- };
2. 有一個虛函數繼承
- //子類1，無虛函數重載
- class Child1 : public Base
- {
- public:
- virtual void f1() { cout << "Child1::f1" << endl; }
- virtual void g1() { cout << "Child1::g1" << endl; }
- virtual void h1() { cout << "Child1::h1" << endl; }
- int child1;
- protected:
- private:
- };
虛擬繼承的子類的內存結構，和普通繼承完全不同。虛擬繼承的子類，有單獨的虛函數表， 另外也單獨保存一份父類的虛函數表，兩部分之間用一個四個字節的0x00000000來作為分界。
子類的內存中，首先是自己的虛函數表，然后是子類的數據成員，然后是0x0，之后就是父類的虛函數表，之后是父類的數據成員。如果子類沒有自己的虛函數，那么子類就不會有虛函數表，但是子類數據和父類數據之間，還是需要0x0來間隔。
因此，在虛擬繼承中，子C++類對象和父類的數據，是完全間隔的。存放子類自己的虛函數表和數據，中間以0x分界，最后保存父類的虛函數和數據。如果子類重載了父類的虛函數，那么則將子類內存中父類虛函數表的相應函數替換。
【編輯推薦】
責任編輯：chenqingxiang
來源：
pcppc.cn
