這篇文章給大家分享的是有關C++對象繼承中內存布局的示例分析的內容。小編覺得挺實用的,因此分享給大家做個參考,一起跟隨小編過來看看吧。
以下編譯環(huán)境均為:WIN32+VS2015
虛函數(shù)表
對C++ 了解的人都應該知道虛函數(shù)(Virtual Function)是通過一張?zhí)摵瘮?shù)表(Virtual Table)來實現(xiàn)的。簡稱為V-Table。在這個表中,主是要一個類的虛函數(shù)的地址表,這張表解決了繼承、覆蓋的問題,保證其容真實反應實際的函數(shù)。
首先先通過一個例子來引入虛函數(shù)表,假如現(xiàn)在有三個類如下:
class A //包含虛函數(shù)的類 { public: virtual void func1() {} virtual void func2() {} }; class B//空類 {}; class C //包含成員函數(shù)不包含成員變量的類 { void fun() {} }; void Test1() { cout << sizeof(A) << endl; cout << sizeof(B) << endl; cout << sizeof(C) << endl; }
就上述的代碼,將會分別輸出4,1,1
造成A的大小為4的原因就是:在A中存放了一個指向A類的虛函數(shù)表的指針。而32位下一個指針大小為4字節(jié),所以就為4。
A類實例化后在內存中對應如下:
注:在虛函數(shù)表中用0來結尾。
通過內存中的顯示我們就能知道編譯器應該將虛函數(shù)表的指針存在于對象實例中最前面的位置,所以可以&a轉成int*,取得虛函數(shù)表的地址,再強轉成(int*)方便接下來可以每次只訪問四個字節(jié)大小(虛函數(shù)表可看做是一個函數(shù)指針數(shù)組,由于32位下指針是4字節(jié),所以轉為(int*))。將取得的int*指針傳給下面的打印虛函數(shù)表的函數(shù),就能夠打印出對應的地址信息。
typedef void(*FUNC) (); //int*VTavle = (int*)(*(int*)&a) //傳參完成后就可打印出對應的信息。 void PrintVTable(int* VTable) { cout << " 虛表地址>" << VTable << endl; for (int i = 0; VTable[i] != 0; ++i) { printf(" 第%d個虛函數(shù)地址 :0X%x,->", i, VTable[i]); FUNC f = (FUNC)VTable[i]; f(); } cout << endl; }
接下來就來分析各種繼承關系中對應的內存模型以及虛函數(shù)表
單繼承(無虛函數(shù)覆蓋)
class A { public: virtual void func1() { cout << "A::func1" << endl; } virtual void func2() { cout << "A::func2" << endl; } public: int _a; }; class B : public A { public: virtual void func3() { cout << "B::func3" << endl; } virtual void func4() { cout << "B::func4" << endl; } public: int _b; }; void Test1() { B b; b._a = 1; b._b = 2; int* VTable = (int*)(*(int*)&b); PrintVTable(VTable); }
將內存中的顯示和我們寫的顯示虛函數(shù)表對應起來如下:
小結:
1)虛函數(shù)按照其聲明順序放于表中。
2)父類的虛函數(shù)在子類的虛函數(shù)前面。(由于子類單繼承父類,直接使用父類的虛函數(shù)表)
一般繼承(成員變量+虛函數(shù)覆蓋)
在上面例子進行稍微修改,使得子類中有對父類虛函數(shù)的覆蓋,進行和之前同樣的測試:
class A { public: virtual void func1() { cout << "A::func1" << endl; } virtual void func2() { cout << "A::func2" << endl; } public: int _a; }; class B : public A { public: virtual void func1() { cout << "B::func1" << endl; } virtual void func3() { cout << "B::func3" << endl; } public: int _b; };
小結:
1)覆蓋的func()函數(shù)被放到了虛表中原來父類虛函數(shù)的位置。
2)沒有被覆蓋的函數(shù)依舊。
多重繼承(成員變量+虛函數(shù)覆蓋)
class A { public: virtual void func1() { cout << "A::func1" << endl; } virtual void func2() { cout << "A::func2" << endl; } public: int _a; }; class B { public: virtual void func3() { cout << "B::func1" << endl; } public: int _b; }; class C : public A , public B { //覆蓋A::func1() virtual void func1() { cout << "C::func1()"<<endl; } virtual void func4() { cout << "C::func4()" << endl; } public: int _c; };
再次調試觀察:
小結:
多重繼承后的子類將與自己第一個繼承的父類公用一份虛函數(shù)表。(上述例子中A為C的第一個繼承類)
菱形繼承(成員變量 + 虛函數(shù)覆蓋)
class A { public: virtual void func1() { cout << "A::func1" << endl; } public: int _a; }; class B : public A { public: virtual void func2() { cout << "B::func2" << endl; } public: int _b; }; class C : public A { virtual void func3() { cout << "C::func3()" << endl; } public: int _c; }; class D : public B , public C { virtual void func2() { cout << "D::fun2()" << endl; } virtual void func4() { cout << "D::fun4()" << endl; } public: int _d; }; void Test1() { D d; d.B::_a = 1; d.C::_a = 2; d._b = 3; d._c = 4; d._d = 5; int* VTable = (int*)(*(int*)&d); PrintVTable(VTable); }
掌握了單繼承和多繼承的規(guī)律,按照總結的一步步分析,就可以最終得到D的虛函數(shù)表。
由于子類B繼承父類A,所以B與A公用一個虛函數(shù)表,又因為B是D多繼承中的第一個繼承的類,所以B,D共用一個虛函數(shù)表。
菱形的虛擬繼承(成員變量 + 虛函數(shù)覆蓋)
參考下面這個例子:
class A { public: virtual void func1() { cout << "A::func1()" << endl; } virtual void func2() { cout << "A::func2()" << endl; } public: int _a; }; class B : virtual public A//虛繼承A,覆蓋func1() { public: virtual void func1() { cout << "B::func1()" << endl; } virtual void func3() { cout << "B::func3()" << endl; } public: int _b; }; class C : virtual public A //虛繼承A,覆蓋func1() { virtual void func1() { cout << "C::func1()" << endl; } virtual void func3() { cout << "C::func3()" << endl; } public: int _c; }; class D : public B , public C//虛繼承B,C,覆蓋func1() { virtual void func1() { cout << "D::func1()" << endl; } virtual void func4() { cout << "D::func4()" << endl; } public: int _d; }; typedef void(*FUNC) (); void PrintVTable(int* VTable) { cout << " 虛表地址>" << VTable << endl; for (int i = 0; VTable[i] != 0; ++i) { printf(" 第%d個虛函數(shù)地址 :0X%x,->", i, VTable[i]); FUNC f = (FUNC)VTable[i]; f(); } cout << endl; } void Test1() { D d; d.B::_a = 1; d.C::_a = 2; d._b = 3; d._c = 4; d._d = 5; cout <<"sizeof(A) = "<< sizeof(A) << endl; cout << "sizeof(B) = " << sizeof(B) << endl; cout << "sizeof(C) = " << sizeof(C) << endl; //打印d的虛函數(shù)表 int* VTable = (int*)(*(int*)&d); PrintVTable(VTable); //打印C的虛函數(shù)表 VTable = (int*)*(int*)((char*)&d + sizeof(B)-sizeof(A)); PrintVTable(VTable); //打印A的虛函數(shù)表 VTable = (int*)*(int*)((char*)&d + sizeof(B)+sizeof(C)-2*sizeof(A)+4); PrintVTable(VTable); }
接下來就慢慢分析:
1)先通過調試查看內存中是如何分配的,并和我們打印出的虛函數(shù)表對應起來:
注:由于B,C是虛繼承A,所以編譯器為了解決菱形繼承所帶來的“二義性”以及“數(shù)據(jù)冗余”,便將A放在最末端,并在子類中存放一個虛基表,方便找到父類;而虛基表的前四個字節(jié)存放的是對于自己虛函數(shù)表的偏移量,再往下四個字節(jié)才是對于父類的偏移量。
2)接下來就抽象出來分析模型
總結
1)虛函數(shù)按照其聲明順序放于表中;
2)父類的虛函數(shù)在子類的虛函數(shù)前面(由于子類單繼承父類,直接使用父類的虛函數(shù)表);
3)覆蓋的func()函數(shù)被放到了虛表中原來父類虛函數(shù)的位置;
4)沒有被覆蓋的函數(shù)依舊;
5)如果B,C虛繼承A,并且B,C內部沒有再聲明或定義虛函數(shù),則B,C沒有對應的虛函數(shù)表;
6)在菱形的虛擬繼承中,要注意A為B,C所共有的,在打印對應虛函數(shù)表時要注意偏移量。
感謝各位的閱讀!關于“C++對象繼承中內存布局的示例分析”這篇文章就分享到這里了,希望以上內容可以對大家有一定的幫助,讓大家可以學到更多知識,如果覺得文章不錯,可以把它分享出去讓更多的人看到吧!
另外有需要云服務器可以了解下創(chuàng)新互聯(lián)建站jinyejixie.com,海內外云服務器15元起步,三天無理由+7*72小時售后在線,公司持有idc許可證,提供“云服務器、裸金屬服務器、高防服務器、香港服務器、美國服務器、虛擬主機、免備案服務器”等云主機租用服務以及企業(yè)上云的綜合解決方案,具有“安全穩(wěn)定、簡單易用、服務可用性高、性價比高”等特點與優(yōu)勢,專為企業(yè)上云打造定制,能夠滿足用戶豐富、多元化的應用場景需求。
新聞名稱:C++對象繼承中內存布局的示例分析-創(chuàng)新互聯(lián)
當前URL:http://jinyejixie.com/article42/dphdec.html
成都網(wǎng)站建設公司_創(chuàng)新互聯(lián),為您提供靜態(tài)網(wǎng)站、ChatGPT、小程序開發(fā)、全網(wǎng)營銷推廣、網(wǎng)站設計公司、App開發(fā)
聲明:本網(wǎng)站發(fā)布的內容(圖片、視頻和文字)以用戶投稿、用戶轉載內容為主,如果涉及侵權請盡快告知,我們將會在第一時間刪除。文章觀點不代表本網(wǎng)站立場,如需處理請聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內容未經(jīng)允許不得轉載,或轉載時需注明來源: 創(chuàng)新互聯(lián)