C++ 多態與虛函數核心機制：從靜態綁定到動態分發的完整圖解

多態：面向物件的靈魂

封裝 ≠ 面向物件。VB6 封裝但無多態。**多態** = 「同一介面，多種實現，運行期根據物件真實型別自動選擇正確函數」。

靜態綁定 (Early Binding) vs 動態綁定 (Late Binding)

無 virtual：編譯期決定

class Vehicle { public: void Show() { cout << "Vehicle"; } };
class Car : public Vehicle { public: void Show() { cout << "Car"; } };

void Test(Vehicle &v) { v.Show(); }  // 參數型別 Vehicle&

Vehicle v; Car c;
Test(v);  // 輸出 "Vehicle" - 編譯期綁定 Vehicle::Show
Test(c);  // 輸出 "Vehicle" - **切片/靜態綁定**，仍調用 Vehicle::Show！

**原因**：編譯器只見參數靜態型別 Vehicle&，直接生成 Vehicle::Show 調用指令。

加 virtual：運行期動態分發

class Vehicle { public: virtual void Show() { cout << "Vehicle"; } };
class Car : public Vehicle { public: void Show() override { cout << "Car"; } };

void Test(Vehicle &v) { v.Show(); }

Vehicle v; Car c;
Test(v);  // "Vehicle"
Test(c);  // "Car" - **動態綁定**，根據 v 綁定的真實物件型別分發

虛函數表 (vtable) 與虛指標 (vptr) 實現原理

記憶體佈局

Vehicle 物件 (含 virtual):
+----------+     vtable (每類一份，唯讀段)
| vptr  ───┼──→ +------------------+
+----------+    | &Vehicle::Show   |
                +------------------+

Car 物件:
+----------+     vtable (Car 專屬)
| vptr  ───┼──→ +------------------+
| Vehicle  |    | &Car::Show       |  ← 覆寫槽位
| 部分     |    +------------------+
| Car 部分 |
+----------+

調用過程

1. 物件構造時，編譯器植入代碼將 vptr 指向該類別的 vtable。
2. 調用 v.Show() 時，編譯器生成：vptr[0]() (假設 Show 是第 0 個虛函數)。
3. 運行期：vptr 指向真實物件類別的 vtable，間接跳轉到正確函數入口。

虛函數規則總表

虛解構函數：多態刪除的生命線

class Base { public: virtual ~Base() { cout << "~Base"; } };
class Derived : public Base { public: ~Derived() { cout << "~Derived"; } };

Base *p = new Derived();
delete p;  // 輸出: ~Derived ~Base  (正確)
          // 若 Base::~Base 非 virtual → 僅輸出 ~Base，Derived 資源洩漏！

協變返回型別

class Base { public: virtual Base* Clone() { return new Base(*this); } };
class Derived : public Base { public: Derived* Clone() override { return new Derived(*this); } };
// 返回型別從 Base* 協變為 Derived*，型別安全且避免切片

現代 C++ 最佳實踐

1. 基類解構函數必須 virtual (public 繼承時)，無例外。
2. 覆寫必加 override (C++11)：編譯器驗證簽名匹配，防止拼寫錯誤導致隱藏。
3. 最終類別/函數加 final：禁止進一步繼承/覆寫，編譯器可優化去虛擬化 (devirtualization)。
4. 避免在構造/解構函數中調用虛函數：此時 vptr 尚未/已經切換，調用的是當前類別版本，非最派生版本。
5. 傾向非虛介面 (NVI) 模式：公有非虛函數封裝流程，呼叫私有虛函數實現細節，便於前置/後置條件檢查、鎖管理、日誌。

NVI (Non-Virtual Interface) 模式範例

class File {
public:
    void Open(string path) {  // 非虛：統一檢查、日誌、鎖
        if (!Validate(path)) throw invalid_argument("path");
        lock_guard lk(mtx);
        DoOpen(path);  // 私有虛：派生類實現具體邏輯
        Log("Opened: " + path);
    }
    virtual ~File() {}
private:
    virtual void DoOpen(string path) = 0;  // 派生類實現
    mutex mtx;
};

class LocalFile : public File { void DoOpen(string path) override { /* ... */ } };
class RemoteFile : public File { void DoOpen(string path) override { /* ... */ } };

效能考量：虛函數開銷與優化

總結

1. 多態 = **運行期根據物件真實型別動態分發函數調用**，虛函數是 C++ 實現機制。
2. 核心數據結構：**vptr (物件頭) → vtable (類別級) → 函數入口**，構造時初始化 vptr。
3. 虛解構函數是強制要求，防止多態刪除資源洩漏。
4. 現代 C++：**override 防錯、final 優化、NVI 模式封裝、構造/解構中禁虛調用**。
5. 效能開銷極小，分支預測友好；熱點路徑可用 final/PGO 消除間接跳轉。
6. **封裝是資料隱藏，繼承是介面複用，多態是行為動態分發** —— 三者合一才是完整的面向物件。