C++ 多態深度解析：靜態綁定 vs 動態綁定的組裝碼級證據

核心概念：硬編碼 vs 軟編碼

硬編碼：if-else、switch-case 直接寫死類型判斷，擴展性差。
軟編碼：利用多態，針對抽象介面編程，具體實現在運行期決定，實現開閉原則。

多態本質：將「做什麼」（介面）與「怎麼做」（實現）分離，客戶代碼只依賴抽象基類指標/引用。

C++ 多態實現機制：虛函數表

• 含虛函數的類會生成**虛函數表**，存放虛函數地址。
• 每個對象隱含**虛表指標**指向其類的虛表。
• 單一類所有對象共享同一虛表。
• 派生類覆寫虛函數 → 自身虛表中對應槽位替換為新函數地址。

組裝碼級對比：非虛 vs 虛函數呼叫

非虛函數（靜態綁定 / Early Binding）

class C0 { public: void Test() { cout << "C0::Test\n"; } };

C0 obj0; C0* p = &obj0;
p->Test();

反組裝碼：

mov ecx, dword ptr [ebp-0Ch]   ; this 指標
call @ILT+160(C0::Test)        ; 直接呼叫，編譯期已知地址

編譯期即確定函數地址，無運行期開銷。

虛函數（動態綁定 / Late Binding）

class C1 { public: virtual void Test() { cout << "C1::Test\n"; } };
class C11 : public C1 { public: void Test() override { cout << "C11::Test\n"; } };

C11 obj11; C1* p = &obj11;
p->Test();  // 實際呼叫 C11::Test

反組裝碼：

lea edx, [ebp-14h]           ; 取得 p 位址
mov dword ptr [ebp-1Ch], edx
mov eax, dword ptr [ebp-1Ch] ; eax = p (vptr)
mov edx, dword ptr [eax]     ; edx = *p = 虛表地址
mov esi, esp
mov ecx, dword ptr [ebp-1Ch] ; this = p
call dword ptr [edx]         ; 呼叫虛表第 0 槽函數

關鍵差異：call dword ptr [edx] 間接呼叫，運行期通過 vptr → vtable → slot 解析真實函數地址。

動態綁定完整流程

1. 對象構造時，編譯器植入 vptr 指向類的虛表。
2. 基類指標指向派生對象時，vptr 仍指向派生類虛表。
3. 呼叫虛函數：obj->vptr[virtual_offset]()。
4. 派生類覆寫 → 槽位存新地址；未覆寫 → 槽位存基類地址。

虛表驗證實驗

class C1 { public: virtual void Test() {} };
class C11 : public C1 { public: void Test() override {} };
class C12 : public C1 { public: void Test() override {} };

C11 o11_0, o11_1;
C12 o12_0;

printf("o11_0 addr: %p, vtable: %p\n", &o11_0, *(void**)&o11_0);
printf("o11_1 addr: %p, vtable: %p\n", &o11_1, *(void**)&o11_1);
printf("o12_0 addr: %p, vtable: %p\n", &o12_0, *(void**)&o12_0);

輸出：

o11_0 addr: 0x12ff7c, vtable: 0x432098
o11_1 addr: 0x12ff78, vtable: 0x432098  // 同類共享虛表
o12_0 addr: 0x12ff74, vtable: 0x4320a8  // 不同類各有虛表

結論：

1. 一個類一張虛表，非一個對象一張。
2. 對象首地址即 vptr，解引用得虛表地址。

多重繼承與虛繼承下的虛表佈局

（進階補充）多重繼承對象包含多個 vptr，各指向對應基類子物件的虛表。虛繼承引入 vbptr（虛基類表指標）解決菱形繼承共享基類問題。編譯器生成的 thunk 調整 this 指標後再跳轉實際函數。

效能與設計權衡

建議：預設非虛，只有明確需要運行期多態（如框架回調、插件架構、策略模式）才加 virtual。析構函數若類作為基類**必須**聲明 virtual。

常見誤區

1. 構造/析構函數中呼叫虛函數：派生部分尚未構造/已析構，會呼叫基類版本（非多態）。
2. 虛函數預設參數：預設參數靜態綁定（按靜態類型決定），易導致驚訝行為。
3. 覆寫時漏寫 override：C++11 起請務必加 override，編譯器會捕獲簽名不匹配錯誤。