C++ 虛擬解構函數詳解：防止記憶體洩漏的關鍵機制

為什麼基類解構函數必須是 virtual？

當使用基類指標刪除衍生類物件時，若基類解構函數非虛擬，編譯器僅呼叫基類解構函數，導致衍生類資源未釋放，造成記憶體洩漏。這是 C++ 物件模型中最核心、也最容易被忽視的規則之一。

實測對比：虛擬與非虛擬解構函數的行為差異

正確範例：基類解構函數宣告為 virtual

class ClxBase {
public:
    ClxBase() {}
    virtual ~ClxBase() {}           // 虛擬解構函數
    virtual void DoSomething() {
        cout << "Do something in class ClxBase!" << endl;
    }
};

class ClxDerived : public ClxBase {
public:
    ClxDerived() {}
    ~ClxDerived() {
        cout << "Output from the destructor of class ClxDerived!" << endl;
    }
    void DoSomething() override {
        cout << "Do something in class ClxDerived!" << endl;
    }
};

// 測試碼
ClxBase* pTest = new ClxDerived;
pTest->DoSomething();
delete pTest;   // 正確呼叫 ClxDerived::~ClxDerived() 再呼叫 ClxBase::~ClxBase()

輸出結果：

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

錯誤範例：移除 virtual 關鍵字

class ClxBase {
public:
    ClxBase() {}
    ~ClxBase() {}                   // 非虛擬解構函數
    virtual void DoSomething() { ... }
};
// 其餘相同

輸出結果：

Do something in class ClxDerived!

衍生類解構函數完全未被呼叫，若其中釋放記憶體、關閉檔案、釋放鎖等資源，將直接導致資源洩漏。

核心原理：虛擬函數表與動態綁定

• 類別含虛擬函數時，編譯器產生 vtable（虛擬函數表），物件內含 vptr 指向該表
• delete pBase 透過 vptr 找到正確的解構函數入口，實現動態綁定
• 非虛擬解構函數則在編譯期靜態綁定至基類版本

何時需要、何時不需要虛擬解構函數？

現代 C++ 最佳實踐

• 搭配智慧指標（std::unique_ptr, std::shared_ptr）自動管理生命週期，減少手動 delete
• 基類解構函數預設宣告為 virtual ~Base() = default;
• 使用 final 關鍵字明確禁止繼承，編譯器可優化移除 vtable

虛擬解構函數不是選項，而是多態類別設計的強制規範。養成習慣，從架構源頭杜絕記憶體洩漏隱患。