C++ 虛函數與多態深度解析：從基礎到虛析構函數

核心概念：虛函數實現運行時多態

C++ 中，基類指針/引用指向派生類對象時，調用虛函數會根據對象的實際類型（而非指針類型）動態綁定到派生類的覆蓋版本。這是面向對象多態的基石。

代碼示例：虛函數 vs 普通函數

class Base {
public:
    void m() { cout << "Base::m()\n"; }      // 非虛函數
    virtual void f() { cout << "Base::f()\n"; } // 虛函數
};

class Sub : public Base {
public:
    void m() { cout << "Sub::m()\n"; }   // 隱藏 Base::m()
    void f() { cout << "Sub::f()\n"; }   // 覆蓋 Base::f()
};

int main() {
    Base* base = new Sub;
    base->f(); // 輸出 "Sub::f()" —— 動態綁定
    base->m(); // 輸出 "Base::m()" —— 靜態綁定
    delete base;
}

關鍵差異

虛析構函數：防止內存洩漏的關鍵

問題場景

基類指針刪除派生類對象時，若基類析構函數非虛，僅調用基類析構函數，派生類析構函數不被調用 → 派生類資源（如動態分配內存）未釋放 → 內存洩漏。

錯誤示例

class Base { ~Base() { cout << "Base destroyed\n"; } };
class Sub : public Base { ~Sub() { cout << "Sub destroyed\n"; } };
// ...
Base* p = new Sub;
delete p; // 僅輸出 "Base destroyed" —— Sub 析構函數未調用！

正確做法：聲明虛析構函數

class Base {
public:
    virtual ~Base() { cout << "Base destroyed\n"; } // 關鍵：virtual
};
class Sub : public Base {
public:
    ~Sub() { cout << "Sub destroyed\n"; }
};
// ...
Base* p = new Sub;
delete p; // 輸出 "Sub destroyed" 然後 "Base destroyed" —— 正確釋放

虛析構函數調用順序

1. 最底層派生類的析構函數最先執行。
2. 依次向上調用各直接基類的析構函數。
3. 最後調用最頂層基類的析構函數。

性能與設計考量

• 開銷：虛函數引入 vtable 和 vptr，增加對象大小（通常 4/8 字節）和間接調用開銷。
• 無虛函數類：若類不作為基類、無多態需求，不要聲明虛析構函數，避免無謂開銷。
• 純虛函數：virtual void f() = 0; 使類成為抽象類，強制派生類實現。

最佳實踐總結

1. 基類若可能被繼承並用於多態，**析構函數必須聲明為 virtual**。
2. 僅在需要運行時多態的成員函數前加 virtual。
3. 派生類覆蓋虛函數時建議加 override (C++11)，防止簽名錯誤。
4. 避免在構造/析構函數中調用虛函數（行為特殊，易出錯）。

結語

虛函數是 C++ 多態的核心機制，虛析構函數是資源管理的安全網。深入理解其背後的 vtable/vptr 模型、調用順序及性能影響，能寫出更健壯、高效的 C++ 代碼。