淺談虛函數(shù)表與字節(jié)對(duì)齊


一、虛函數(shù)的工作原理

虛函數(shù)的實(shí)現(xiàn)要求對(duì)象攜帶額外的信息,這些信息用于在運(yùn)行時(shí)確定該對(duì)象應(yīng)該調(diào)用哪一個(gè)虛函數(shù)。典型情況下,這一信息具有一種被稱為

vptr(virtual table pointer,虛函數(shù)表指針)的指針的形式。vptr 指向一個(gè)被稱為 vtbl(virtual

table,虛函數(shù)表)的函數(shù)指針數(shù)組,每一個(gè)包含虛函數(shù)的類都關(guān)聯(lián)到

vtbl。當(dāng)一個(gè)對(duì)象調(diào)用了虛函數(shù),實(shí)際的被調(diào)用函數(shù)通過(guò)下面的步驟確定:找到對(duì)象的

vptr 指向的 vtbl,然后在 vtbl 中尋找合適的函數(shù)指針。

虛擬函數(shù)的地址翻譯取決于對(duì)象的內(nèi)存地址,而不取決于數(shù)據(jù)類型(編譯器對(duì)函數(shù)調(diào)用的合法性檢查取決于數(shù)據(jù)類型)。如果類定義了虛函數(shù),該類及其派生類就要

生成一張?zhí)摂M函數(shù)表,即vtable。而在類的對(duì)象地址空間中存儲(chǔ)一個(gè)該虛表的入口,占4個(gè)字節(jié),這個(gè)入口地址是在構(gòu)造對(duì)象時(shí)由編譯器寫(xiě)入的。所以,由于

對(duì)象的內(nèi)存空間包含了虛表入口,編譯器能夠由這個(gè)入口找到恰當(dāng)?shù)奶摵瘮?shù),這個(gè)函數(shù)的地址不再由數(shù)據(jù)類型決定了。故對(duì)于一個(gè)父類的對(duì)象指針,調(diào)用虛擬函數(shù),

如果給他賦父類對(duì)象的指針,那么他就調(diào)用父類中的函數(shù),如果給他賦子類對(duì)象的指針,他就調(diào)用子類中的函數(shù)(取決于對(duì)象的內(nèi)存地址)。


二、(虛)繼承類的內(nèi)存占用大小

首先,平時(shí)所聲明的類只是一種類型定義,它本身是沒(méi)有大小可言的。 因此,如果用sizeof運(yùn)算符對(duì)一個(gè)類型名操作,那得到的是具有該類型實(shí)體的大小。

計(jì)算一個(gè)類對(duì)象的大小時(shí)的規(guī)律:

1、空類、單一繼承的空類、多重繼承的空類所占空間大小為:1(字節(jié),下同);

2、一個(gè)類中,虛函數(shù)本身、成員函數(shù)(包括靜態(tài)與非靜態(tài))和靜態(tài)數(shù)據(jù)成員都是不占用類對(duì)象的存儲(chǔ)空間的;

3、因此一個(gè)對(duì)象的大小≥所有非靜態(tài)成員大小的總和;

4、當(dāng)類中聲明了虛函數(shù)(不管是1個(gè)還是多個(gè)),那么在實(shí)例化對(duì)象時(shí),編譯器會(huì)自動(dòng)在對(duì)象里安插一個(gè)指針vPtr指向虛函數(shù)表VTable;

5、虛承繼的情況:由于涉及到虛函數(shù)表和虛基表,會(huì)同時(shí)增加一個(gè)(多重虛繼承下對(duì)應(yīng)多個(gè))vfPtr指針指向虛函數(shù)表vfTable和一個(gè)vbPtr指針指向虛基表vbTable,這兩者所占的空間大小為:8(或8乘以多繼承時(shí)父類的個(gè)數(shù));

6、在考慮以上內(nèi)容所占空間的大小時(shí),還要注意編譯器下的“補(bǔ)齊”padding的影響,即編譯器會(huì)插入多余的字節(jié)補(bǔ)齊;

7、類對(duì)象的大小=各非靜態(tài)數(shù)據(jù)成員(包括父類的非靜態(tài)數(shù)據(jù)成員但都不包括所有的成員函數(shù))的總和+ vfptr指針(多繼承下可能不止一個(gè))+vbptr指針(多繼承下可能不止一個(gè))+編譯器額外增加的字節(jié)。


三,字節(jié)對(duì)齊


寫(xiě)出一個(gè)含有數(shù)據(jù)成員的類,然后sizeof? ,sizeof的結(jié)果總要比數(shù)據(jù)成員的總長(zhǎng)度大,這就是因?yàn)樽止?jié)對(duì)齊。

我們知道在一個(gè)沒(méi)有虛函數(shù)的類中,其對(duì)象大小就是其數(shù)據(jù)成員的長(zhǎng)度,當(dāng)我們sizeof這個(gè)類的對(duì)象的時(shí)候,其值往往比我們凄婉的要大,比如,我們有一個(gè)類擁有一個(gè)int 和一個(gè)char類型的數(shù)據(jù)成員

class{

int no;

char key;

}

然后sizeof這個(gè)類的對(duì)象,我們會(huì)發(fā)現(xiàn)結(jié)果是8而不是我們想的5.這就是因?yàn)樽止?jié)對(duì)齊。對(duì)齊和不對(duì)齊,是在時(shí)間和空間上的一個(gè)權(quán)衡。為了提高效率,計(jì)算機(jī)從內(nèi)存中取數(shù)據(jù)是按照一個(gè)固定長(zhǎng)度的。以32位機(jī)為例,它每次取32個(gè)位,也就是4個(gè)字節(jié)(每字節(jié)8個(gè)位,計(jì)算機(jī)基礎(chǔ)知識(shí),別說(shuō)不知道)。字節(jié)對(duì)齊有什么好處?以int型數(shù)據(jù)為例,如果它在內(nèi)存中存放的位置按4字節(jié)對(duì)齊,也就是說(shuō)1個(gè)int的數(shù)據(jù)全部落在計(jì)算機(jī)一次取數(shù)的區(qū)間內(nèi),那么只需要取一次就可以了。這樣效率就得到了提高。




推薦文章:http://www.tuicool.com/articles/Jrq6bai?(對(duì)象內(nèi)存布局)

C語(yǔ)言內(nèi)存字節(jié)對(duì)齊小結(jié) - andy572633的專欄 - 博客頻道 - CSDN.NET?(c語(yǔ)言內(nèi)存字節(jié)對(duì)齊)

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書(shū)系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容