C++ 對象佈局與多態實現探索：虛函數調用機制深度解析

前言

在 C++ 中，虛函數是實現多態的核心機制。本文將通過具體的代碼示例、內存佈局輸出以及匯編代碼分析，深入探討虛函數調用的底層實現細節，揭示靜態綁定與動態綁定的本質區別。

實驗環境與類定義

我們定義一個包含虛函數的類 C041：

對象內存佈局與虛表信息

執行以下代碼並打印對象詳情：

輸出結果：

可見對象起始地址存放虛表指針（vptr），指向虛表（vtable），虛表首項存放 C041::foo() 的函數地址（實為跳轉指令）。

通過對象調用虛函數：靜態綁定

代碼 obj.foo(); 生成的匯編：

與普通成員函數調用相同，call 直接使用確定地址，編譯時已決議。這說明通過對象調用虛函數屬於靜態綁定，不會產生多態行為。

函數內部匯編分析

第 14、15 行顯示：this 指針存入 eax，成員變量 c_ 位於 [eax+4]，跳過了對象頭部的 4 字節虛表指針。

通過指針調用虛函數：動態綁定

代碼 C041 * pt = &obj; pt->foo(); 生成的匯編：

• 第 1 行：將對象地址載入 eax（同時也是 vptr 地址）。
• 第 2 行：取 eax 指向的值（即虛表地址）存入 edx。
• 第 4 行：ecx 傳遞 this 指針。
• 第 5 行：call dword ptr [edx] 間接調用虛表首項函數地址。

這就是動態綁定：編譯器不固定函數地址，而是通過對象的 vptr 找到其類型對應的虛表，再取具體函數地址。具體調用哪個函數取決於對象的實際類型，而非指針類型，這正是多態發生的原因。

多重繼承與動態轉換下的虛函數調用

類 C051 繼承自 C041 和 C042（均含虛函數），對象包含兩個 vptr。動態轉換時編譯器調整指針位置：

調用 pt1->foo() 和 pt2->foo2() 產生的匯編機制完全一致，僅指針基址不同。這證明了多重繼承下保留多個虛表是為了方便指針類型轉換時的位置調整，從而統一調用機制。

總結

• 對象調用虛函數 = 靜態綁定，編譯期確定地址。
• 指針/引用調用虛函數 = 動態綁定，運行期通過 vptr/vtable 間接查找。
• 多重繼承下每個含虛函數的基類對應一個 vptr，動態轉換時編譯器自動調整指針指向正確的子對象起始位置。