這篇文章所使用的方法來源于 CuteQt博客 上的一篇文章:http://www.cuteqt.com/blog/?p=868
生成對象內存布局所使用的方法來自于vc8編譯器一個未公開的參數,即 /d1 reportSingleClassLayoutXXX或者 /d1 reportAllClassLayout,MSDN上關于這個的簡單說明及示例可以見這里:http://blogs.msdn.com/vcblog/archive/2007/05/17/diagnosing-hidden-odr-violations-in-visual-c-and-fixing-lnk2022.aspx
一般來說用reportSingleClassLayout,因為reportAllClassLayout會生成許多中間類的結果,干擾我們的分析。
按照上面博客中介紹的方法,一步步來跟蹤各種虛函數使用情況下的對象內存布局,可以很直觀的看到虛函數是怎樣分布的,各種繼承情況下虛函數是又是怎樣生成的,等等。
一點簡單的總結:
1。以前常說的,因為虛函數的使用,使得類多了一個vtable指針,大小增加了4字節,其實是不完全正確的。因為一個class內可能會有多個虛表的存在,比如當有多個帶虛函數的父類時。
2。多個虛函數在虛表里的順序由其定義順序決定。如果是從多個父類派生來的,則這多個虛表的順序由父類的申明順序而定。
3。多繼承情況下的同名虛函數處理使用了一種叫做thunk的技術,這樣通過不同的基類調用同名的虛函數時,都會調用到相同的函數體內。
4。虛基類的實現多了一個vbi表,記錄的是虛基類中的虛函數表地址信息。同時在派生類中計算好了到這個vbi表的偏移,這樣虛基類里的虛函數在菱形繼承關系的派生類中就只有了一份實現。
5。使用的時候其實不必要意這些細節問題,編譯器在生成函數調用代碼時已經幫我們處理好了,即這個函數在哪個虛表中,是第幾個虛函數,最終也就是要做多少個字節的偏移。