這篇文章給大家分享的是有關(guān)C++對(duì)象繼承中內(nèi)存布局的示例分析的內(nèi)容。小編覺(jué)得挺實(shí)用的,因此分享給大家做個(gè)參考,一起跟隨小編過(guò)來(lái)看看吧。

以下編譯環(huán)境均為:WIN32+VS2015
虛函數(shù)表
對(duì)C++ 了解的人都應(yīng)該知道虛函數(shù)(Virtual Function)是通過(guò)一張?zhí)摵瘮?shù)表(Virtual Table)來(lái)實(shí)現(xiàn)的。簡(jiǎn)稱為V-Table。在這個(gè)表中,主是要一個(gè)類的虛函數(shù)的地址表,這張表解決了繼承、覆蓋的問(wèn)題,保證其容真實(shí)反應(yīng)實(shí)際的函數(shù)。
首先先通過(guò)一個(gè)例子來(lái)引入虛函數(shù)表,假如現(xiàn)在有三個(gè)類如下:
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;
}就上述的代碼,將會(huì)分別輸出4,1,1
造成A的大小為4的原因就是:在A中存放了一個(gè)指向A類的虛函數(shù)表的指針。而32位下一個(gè)指針大小為4字節(jié),所以就為4。
A類實(shí)例化后在內(nèi)存中對(duì)應(yīng)如下:

注:在虛函數(shù)表中用0來(lái)結(jié)尾。
通過(guò)內(nèi)存中的顯示我們就能知道編譯器應(yīng)該將虛函數(shù)表的指針存在于對(duì)象實(shí)例中最前面的位置,所以可以&a轉(zhuǎn)成int*,取得虛函數(shù)表的地址,再?gòu)?qiáng)轉(zhuǎn)成(int*)方便接下來(lái)可以每次只訪問(wèn)四個(gè)字節(jié)大小(虛函數(shù)表可看做是一個(gè)函數(shù)指針數(shù)組,由于32位下指針是4字節(jié),所以轉(zhuǎn)為(int*))。將取得的int*指針傳給下面的打印虛函數(shù)表的函數(shù),就能夠打印出對(duì)應(yīng)的地址信息。
typedef void(*FUNC) ();
//int*VTavle = (int*)(*(int*)&a)
//傳參完成后就可打印出對(duì)應(yīng)的信息。
void PrintVTable(int* VTable)
{
cout << " 虛表地址>" << VTable << endl;
for (int i = 0; VTable[i] != 0; ++i)
{
printf(" 第%d個(gè)虛函數(shù)地址 :0X%x,->", i, VTable[i]);
FUNC f = (FUNC)VTable[i];
f();
}
cout << endl;
}接下來(lái)就來(lái)分析各種繼承關(guān)系中對(duì)應(yīng)的內(nèi)存模型以及虛函數(shù)表
單繼承(無(wú)虛函數(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);
}將內(nèi)存中的顯示和我們寫(xiě)的顯示虛函數(shù)表對(duì)應(yīng)起來(lái)如下:

小結(jié):
1)虛函數(shù)按照其聲明順序放于表中。
2)父類的虛函數(shù)在子類的虛函數(shù)前面。(由于子類單繼承父類,直接使用父類的虛函數(shù)表)
一般繼承(成員變量+虛函數(shù)覆蓋)
在上面例子進(jìn)行稍微修改,使得子類中有對(duì)父類虛函數(shù)的覆蓋,進(jìn)行和之前同樣的測(cè)試:
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;
};
小結(jié):
1)覆蓋的func()函數(shù)被放到了虛表中原來(lái)父類虛函數(shù)的位置。
2)沒(méi)有被覆蓋的函數(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;
};再次調(diào)試觀察:

小結(jié):
多重繼承后的子類將與自己第一個(gè)繼承的父類公用一份虛函數(shù)表。(上述例子中A為C的第一個(gè)繼承類)
菱形繼承(成員變量 + 虛函數(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ī)律,按照總結(jié)的一步步分析,就可以最終得到D的虛函數(shù)表。

由于子類B繼承父類A,所以B與A公用一個(gè)虛函數(shù)表,又因?yàn)锽是D多繼承中的第一個(gè)繼承的類,所以B,D共用一個(gè)虛函數(shù)表。
菱形的虛擬繼承(成員變量 + 虛函數(shù)覆蓋)
參考下面這個(gè)例子:
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個(gè)虛函數(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);
}接下來(lái)就慢慢分析:
1)先通過(guò)調(diào)試查看內(nèi)存中是如何分配的,并和我們打印出的虛函數(shù)表對(duì)應(yīng)起來(lái):

注:由于B,C是虛繼承A,所以編譯器為了解決菱形繼承所帶來(lái)的“二義性”以及“數(shù)據(jù)冗余”,便將A放在最末端,并在子類中存放一個(gè)虛基表,方便找到父類;而虛基表的前四個(gè)字節(jié)存放的是對(duì)于自己虛函數(shù)表的偏移量,再往下四個(gè)字節(jié)才是對(duì)于父類的偏移量。
2)接下來(lái)就抽象出來(lái)分析模型

總結(jié)
1)虛函數(shù)按照其聲明順序放于表中;
2)父類的虛函數(shù)在子類的虛函數(shù)前面(由于子類單繼承父類,直接使用父類的虛函數(shù)表);
3)覆蓋的func()函數(shù)被放到了虛表中原來(lái)父類虛函數(shù)的位置;
4)沒(méi)有被覆蓋的函數(shù)依舊;
5)如果B,C虛繼承A,并且B,C內(nèi)部沒(méi)有再聲明或定義虛函數(shù),則B,C沒(méi)有對(duì)應(yīng)的虛函數(shù)表;
6)在菱形的虛擬繼承中,要注意A為B,C所共有的,在打印對(duì)應(yīng)虛函數(shù)表時(shí)要注意偏移量。
感謝各位的閱讀!關(guān)于“C++對(duì)象繼承中內(nèi)存布局的示例分析”這篇文章就分享到這里了,希望以上內(nèi)容可以對(duì)大家有一定的幫助,讓大家可以學(xué)到更多知識(shí),如果覺(jué)得文章不錯(cuò),可以把它分享出去讓更多的人看到吧!
另外有需要云服務(wù)器可以了解下創(chuàng)新互聯(lián)建站chinadenli.net,海內(nèi)外云服務(wù)器15元起步,三天無(wú)理由+7*72小時(shí)售后在線,公司持有idc許可證,提供“云服務(wù)器、裸金屬服務(wù)器、高防服務(wù)器、香港服務(wù)器、美國(guó)服務(wù)器、虛擬主機(jī)、免備案服務(wù)器”等云主機(jī)租用服務(wù)以及企業(yè)上云的綜合解決方案,具有“安全穩(wěn)定、簡(jiǎn)單易用、服務(wù)可用性高、性價(jià)比高”等特點(diǎn)與優(yōu)勢(shì),專為企業(yè)上云打造定制,能夠滿足用戶豐富、多元化的應(yīng)用場(chǎng)景需求。
新聞名稱:C++對(duì)象繼承中內(nèi)存布局的示例分析-創(chuàng)新互聯(lián)
當(dāng)前URL:http://chinadenli.net/article42/dphdec.html
成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供靜態(tài)網(wǎng)站、ChatGPT、小程序開(kāi)發(fā)、全網(wǎng)營(yíng)銷推廣、網(wǎng)站設(shè)計(jì)公司、App開(kāi)發(fā)
聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請(qǐng)盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如需處理請(qǐng)聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來(lái)源: 創(chuàng)新互聯(lián)
猜你還喜歡下面的內(nèi)容