C++ 虛函數底層實現原理：虛表指針與多態機制深度解析

一、從多態說起

基類指針/引用指向派生類對象，調用虛函數時執行派生類覆蓋版本。編譯期無法確定具體類型，**動態綁定**由運行期機制保證。

二、虛表結構

1. 每個含虛函數的類，編譯器生成一個**靜態虛函數表（vtable）**，表內為函數指針數組，按聲明順序存放各虛函數地址。
2. 派生類繼承基類虛表，覆蓋的函數替換為自身地址，未覆蓋者沿用基類地址。
3. 每個對象實例隱含一個 **vptr（虛表指針）**，指向其類的虛表。vptr 通常位於對象內存佈局最前端。

三、內存佈局示例

class Base { virtual void f1(); virtual void f2(); virtual void f3(); };
class Derived : public Base { virtual void f1(); virtual void f3(); }; // f2 未覆蓋

Base vtable:  [ &Base::f1, &Base::f2, &Base::f3 ]
Derived vtable: [ &Derived::f1, &Base::f2, &Derived::f3 ]

Base obj:     [ vptr → Base vtable ] [ Base members ]
Derived obj:  [ vptr → Derived vtable ] [ Base members ] [ Derived members ]

四、調用過程

1. Base* ptr = new Derived; → ptr->vptr 指向 Derived vtable。
2. ptr->f1(); 編譯生成：ptr->vptr[0]() → 調用 Derived::f1。
3. ptr->f2(); → ptr->vptr[1]() → 調用 Base::f2（未覆蓋）。

五、驗證虛表存在：sizeof 對比

class NoVirtual { int a,b; void func(); };
class WithVirtual { int a,b; virtual void func(); };

int main() {
    cout << sizeof(NoVirtual) << endl;    // 8
    cout << sizeof(WithVirtual) << endl;  // 16 (64位系統，多出 8 字節 vptr)
}

六、關鍵最佳實踐

• 基類析構函數必須聲明 virtual，否則 delete basePtr 不會調用派生類析構，導致資源洩漏。
• 虛函數調用有間接跳轉開銷，熱點路徑可考慮 final、CRTP、模板靜態多態優化。
• 多重繼承下每個基類子對象有獨立 vptr，菱形繼承需虛繼承共享基類子對象。

七、總結

虛函數表 + 虛表指針是 C++ 實現運行期多態的核心機制：靜態表存函數地址，動態指針綁定對象類型。理解此原理有助於診斷切片問題、優化性能、設計正確的類層次。