C++ 多態實現原理深度解析：虛函式表、虛指標與動態綁定機制

核心答案

C++ 多態透過虛函式表 與 虛指標 實現遲綁定，在執行期根據物件實際型別決定呼叫哪個函式。

完整實現機制 8 步驟

1. 關鍵字觸發：基類成員函式加上 virtual，標記為虛函式
2. 衍生類重寫：子類繼承基類，可選擇重寫虛函式 (加 override 更安全)
3. 編譯器建構 vtable：每個含虛函式的類別，編譯器生成一個虛函式表 (靜態陣列)，儲存虛函式位址
4. 衍生類 vtable 差異：重寫的虛函式，子類 vtable 存放子類版本位址；未重寫者繼承基類位址
5. 物件內嵌 vptr：每個類別物件隱含一個虛指標，指向該類別的 vtable
6. 建構順序：基類優先：子類物件建構時，先呼叫基類建構函式，此時 vptr 指向基類 vtable
7. 建構完成：切換 vptr：基類建構結束，子類建構函式執行，若有重寫虛函式，vptr 更新指向子類 vtable
8. 基類指標指向衍生物件：不影響 vptr，透過 vptr 找到正確 vtable，實現動態分派

記憶體模型圖解

基類 Base { virtual void f(); virtual void g(); }
衍生類 Derived : Base { void f() override; void h(); }

Base vtable:          Derived vtable:
+-----------+         +-----------+
| &Base::f  |         | &Derived::f |  ← 重寫：新位址
| &Base::g  |         | &Base::g    |  ← 繼承：同位址
+-----------+         | &Derived::h |  ← 新增虛函式
                      +-----------+

Base 物件:            Derived 物件:
+------+              +------+
| vptr |──────────►   | vptr |──────────► Derived vtable
+------+              +------+
                      | Base 部分 |
                      | Derived 部分|
                      +-------------+

關鍵細節補充

建構/解構期間的虛函式呼叫

• 建構函式中呼叫虛函式：執行當前正在建構的類別版本 (vptr 尚未指向衍生類)
• 解構函式中呼叫虛函式：同理，執行當前正在解構的類別版本
• 原因：建構/解構過程中 vptr 隨著建構/解構順序切換

虛函式表儲存位置

• 通常放在唯讀資料段 (.rodata)，全程式共享
• 每個類別只有一份 vtable，所有物件共用

多重繼承與虛繼承複雜性

• 多重繼承：物件包含多個 vptr，對應各基類子物件
• 虛繼承：引入虛基類表指標 (vbptr)，解決菱形繼承資料重複問題
• 動態轉型 dynamic_cast：需 RTTI 支援，執行期檢查型別安全

效能考量

參考資源

• C++ 多態實現原理 - CSDN 深度技術文
• C++ 中多態的實現原理 - Cnblogs 圖文並茂解析
• 《C++ 物件模型》 (Inside the C++ Object Model) - Lippman 經典著作