C++ 虛函數深度解析：多態機制核心、覆寫規則與設計決策指南

虛函數核心規則速覽

多態構成的三個必要條件

1. 存在繼承關係
2. 繼承鏈中有同名同簽名虛函數（覆寫關係）
3. 通過基類指針/引用調用虛函數

實戰演示：多態與非多態邊界

#include <iostream>
using namespace std;

class Base {
public:
    virtual void func();
    virtual void func(int);
};
void Base::func() { cout << "Base::func()" << endl; }
void Base::func(int n) { cout << "Base::func(int)" << endl; }

class Derived : public Base {
public:
    void func();           // 覆寫：同名同簽名 → 多態
    void func(char*);      // 新函數：不同簽名 → 隱藏非多態
};
void Derived::func() { cout << "Derived::func()" << endl; }
void Derived::func(char* s) { cout << "Derived::func(char*)" << endl; }

int main() {
    Base* p = new Derived();
    p->func();           // 輸出 Derived::func() → 多態！
    p->func(10);         // 輸出 Base::func(int) → 派生類未覆寫
    // p->func("str");   // 編譯錯誤！基類指針無法訪問派生類新增成員
}

關鍵解析

• p->func()：基類有 virtual void func()，派生類覆寫 → 動態綁定到 Derived::func()
• p->func(10)：派生類無 func(int) → 靜態綁定基類版本
• p->func("str")：基類無此簽名 → 編譯錯誤（靜態類型檢查）

虛函數表與動態綁定機制（預告）

物件記憶體模型不含函數資訊，編譯器如何找到正確函數？答案在於 虛函數表 (vtable) 與 虛指針 (vptr)：

• 含虛函數的類，編譯器生成靜態 vtable（函數指針陣列）
• 每個物件含隱藏 vptr 指向其類的 vtable
• 虛函數調用 → vptr → vtable[槽位] → 函數地址 → 間接調用
• 派生類覆寫 → 其 vtable 對應槽位替換為新函數地址

詳細機制見《虛函數表與動態綁定》章節。

何時聲明虛函數？設計決策指南

進階：非虛介面 (NVI) 模式

class Base {
public:
    void interface() {  // 非虛公共介面
        pre_check();
        do_work();      // 調用私有虛函數
        post_check();
    }
private:
    virtual void do_work() = 0;  // 派生類實現核心邏輯
    void pre_check() { /* 通用前置檢查 */ }
    void post_check() { /* 通用後置檢查 */ }
};

優點：基類封裝不變流程（檢查、日誌、鎖），派生類只實現變化點，強化封裝與復用。

總結

虛函數是 C++ 運行時多態的核心引擎。掌握覆寫規則（同名同簽名）、三大構成條件、靜態/動態綁定邊界、設計決策原則，並理解底層 vtable 機制，才能正確、高效地使用多態，避免常見陷阱（如簽名不匹配導致的靜態綁定、非虛析構導致的資源洩漏）。

1. 上一篇文章： C++ 純虛函數與抽象類：定義介面契約、強制派生實現與多態基石
2. 下一篇文章： C++ 多態核心機制詳解：從虛函數到動態綁定的通俗指南