本文簡單探究虛表實現。
如下代碼中有一個基類CPerson
和子類CStudent:public
.并有兩個虛函數run
和cry
。
VS
中cl
提供了對應命令行查看類的內存布局。
語法cl /d1 reportSingleClassLayoutXXXX YYYY
。其中XXX為類名,YYYY
為所在文件全路徑。
如本例:
cl /d1 reportSingleClassLayoutCStudent \\Mac\Main.cpp
輸出如下:
我們再看下CPerson
的輸出:
上面的圖可能很抽象,大致的意思一個CStudent
的內存區域中的第一個內存區域存放一個4字節指針
,指針指向一個另一個內存區域,這個內存區域我們稱為虛表。虛表內存結構可以理解為一個數組,數組中的每個元素是一個函數指針。指向函數地址。
示例圖:
空說無憑,我們利用VS內存查看器和匯編器證實猜測。
上圖簡單來說就是:
(1) 構造了一個CStudent對象,地址為0x00d88d28
(2) 進入對象的地址,對象內存的第一個4字節區域為0x00f89b78
,這個存儲的數值為虛表指針位置。
(3) 進入虛表內存地址,發現存儲了兩個指針 0xf8105f
,0xf81406
.
我們再次跳轉到0xf8105f
內存地址,此時我們查看匯編級別代碼。發現是一個jmp指令跳轉到實際CStudent::run函數.
同理0xf81406
如下圖所示:
其他擴展知識:
虛表在編譯時已經構造完成,在構造對象時,會根據對象的類型在初始化時賦值虛表地址給對象的vfptr
。我們把這種行為稱為動態綁定(Dynamic Binding)
到此這篇關于探究c++虛表實現代碼的文章就介紹到這了,更多相關c++虛表內容請搜索html5模板網以前的文章希望大家以后多多支持html5模板網!