C++ 虛解構函數：為什麼基類必須聲明 virtual ~Base()？

編輯：關於C語言

核心問題：刪除派生類物件時的行為差異

class Base {
public:
    virtual void foo() { std::cout << "Base::foo\n"; }
    ~Base() { std::cout << "~Base\n"; }        // 非 virtual
};

class Derived : public Base {
public:
    void foo() override { std::cout << "Derived::foo\n"; }
    ~Derived() { std::cout << "~Derived\n"; }
};

int main() {
    Base* p = new Derived;
    p->foo();   // 輸出 Derived::foo  （虛函式正常多態）
    delete p;   // 僅輸出 ~Base！~Derived 未被呼叫 → 記憶體洩漏
}

根本原因：靜態綁定 vs 動態綁定

delete p 中 p 靜態型別為 Base*。
若解構函數**非 virtual**，編譯器在編譯期綁定 Base::~Base()（靜態綁定），完全忽略動態型別 Derived。
加上 virtual 後，解構函數進入虛函式表，delete 時透過 vptr 動態分派到 Derived::~Derived()，再自動調用基類解構函數，形成完整銷毀鏈。

記憶體佈局視角

含虛函式的類別，編譯器會在物件開頭植入 vptr（指向虛函式表）。每個類別有一張 vtable，儲存虛函式位址。virtual ~Base() 確保 vtable 中有解構函數入口，delete 透過 vptr → vtable → ~Derived() 實現多態銷毀。

何時需要、何時不需要

場景	建議	理由
作為基類、可能被 `delete base_ptr`	必須 virtual	保證派生類資源正確釋放
純介面類別（只有純虛函式）	必須 virtual	同左，且常定義為 `virtual ~Interface() = default;`
最終類別（`final`）、不作為基類	不需要 virtual	無繼承鏈，虛函式表額外開銷（vptr + vtable）可避免
標準庫容器元素型別（如 `std::vector<Value>`）	不需要 virtual	值語義、無多態刪除，避免物件體積膨脹

現代 C++ 最佳實踐

基類預設虛解構：class Base { public: virtual ~Base() = default; };
派生類可省略：C++11 起派生類解構函數隱式 virtual，寫 ~Derived() = default; 即可。
智慧指標托管：std::unique_ptr<Base> p = std::make_unique<Derived>(); —— 甚至不需要手寫 delete，RAII 自動正確銷毀。
禁止切片：以值傳遞基類會切掉派生部分，改用引用/指標/智慧指標。