C++ 虛函式與晚期繫結實作機制深度解析

C++ 多型的核心在於晚期繫結，由虛函式、虛函式表 (vtable) 與虛函式指標 (vptr) 共同實現。本文從定義、編譯器實作、記憶體佈局、效能影響與進階應用五個維度深度剖析。

一、基本定義

• 早期繫結：編譯/連結階段確定函式位址（非虛函式、static 函式、template 實體化）。
• 晚期繫結：執行期根據物件實際型別決定呼叫哪個函式實體（虛函式）。
• 虛函式：在基類以 virtual 宣告，衍生類可覆寫 (override)，啟用動態派發。

二、編譯器實作機制

1. 虛函式表

• 每個含虛函式的類別，編譯器產生一個靜態唯讀陣列，儲存該類別虛函式的位址。
• 單一繼承：衍生類 vtable 延伸基類 vtable，覆寫函式取代對應槽位，新增虛函式追加在末尾。
• 多重繼承：每個基類子物件有獨立 vptr 指向各自 vtable，可能產生 thunk 調整 this 指標。

2. 虛函式指標

• 每個類別實例隱含一個 vptr (通常位於物件起始位置)，指向其類別的 vtable。
• 建構子按繼承順序初始化 vptr：基類建構子先設為基類 vtable，衍生類建構子再改為衍生類 vtable。
• 解構子逆序：衍生類解構子先執行（vptr 指向衍生類 vtable），基類解構子最後（vptr 已恢復基類 vtable）。

三、記憶體佈局範例

class Base {
public:
    virtual void f() { cout << "Base::f\n"; }
    virtual void g() { cout << "Base::g\n"; }
    int b;
};

class Derived : public Base {
public:
    virtual void f() { cout << "Derived::f\n"; } // 覆寫
    virtual void h() { cout << "Derived::h\n"; } // 新增
    int d;
};

記憶體圖示：

Base vtable:        [ &Base::f ] [ &Base::g ]
Derived vtable:     [ &Derived::f ] [ &Base::g ] [ &Derived::h ]

Base object:        [ vptr ] -> Base vtable
                    [ b ]

Derived object:     [ vptr ] -> Derived vtable
                    [ b ]           (Base subobject)
                    [ d ]

四、動態派發呼叫過程

Base* ptr = new Derived();
ptr->f(); // 呼叫 Derived::f

// 編譯器產生等效代碼：
// 1. 取得 vptr
void** vptr = *reinterpret_cast(ptr);
// 2. 取得 vtable 中 f 的槽位 (索引 0)
void (*func)() = reinterpret_cast(vptr[0]);
// 3. 呼叫
func(); // 實際執行 Derived::f

五、效能分析

六、進階主題

1. 純虛函式與抽象類別

class Interface {
public:
    virtual void Do() = 0; // 純虛函式
    virtual ~Interface() {} // 虛解構子：必要！
};

2. Covariant Return Types (協變回傳型別)

class Base { virtual Base* Clone() = 0; };
class Derived : public Base { virtual Derived* Clone() override; };

3. 虛函式與 Template 結合

虛函式不能是 template，但可用 NVI (Non-Virtual Interface) 模式：

class Base {
public:
    void Process() { Pre(); DoImpl(); Post(); } // 非虛函式，固定流程
private:
    virtual void DoImpl() = 0; // 虛函式供衍生類實作
    virtual void Pre() {}
    virtual void Post() {}
};

4. 跨 DLL 邊界的虛函式

• 匯出類別需加 __declspec(dllexport)，確保 vtable 正確匯出。
• 調用端與實作端必須使用相同編譯器版本、相同 CRT 設定、相同類別定義，否則 vtable 不匹配導致崩潰。
• 推薦介面類別 (Pure Virtual) + 工廠函式匯出，隱藏實作細節。

七、最佳實務

1. 基類解構子必須宣告 virtual，否則 delete basePtr 僅呼叫基類解構子造成資源洩漏。
2. 覆寫時加上 override (C++11)，編譯器檢查簽章一致性。
3. 不再衍生的類別/函式加 final，編譯器可去虛化優化。
4. 避免在建構子/解構子呼叫虛函式（行為未定義/非預期）。
5. 介面隔離：盡量使用純虛函式介面，降低耦合。

理解 vtable/vptr 機制不僅是面試必考，更是寫出高效、正確、可維護 C++ 程式碼的基石。

1. 上一篇文章： VC++ 實作 IE 風格介面：ReBar + 扁平工具列 + 下拉按鈕 + 位址列
2. 下一篇文章： VC++ DLL 導出 C++ 類別完整指南 (__declspec 與 .def 比較)

VC 教學

VC++ 程式編譯鏈接原理與過程完整圖解

前言 理解原始碼如何變成可執行檔，是除錯連結錯誤、優化建置速

Intel C++ 9.0 編譯器優化效能實測：VC6 環境下的多線程與數學運算加速

本文在 Visual C++ 6.0 環境下，針對 Inte

工具列嵌入下拉式方塊完整實戰：從建立到平面風格與訊息處理

Office XP 風格的工具列嵌入下拉方塊 (如縮放比例選

MFC ActiveX 錄音機控件開發實踐

專案背景 上一篇實現了獨立 EXE 錄音機，本文將其封裝為