C++ 派生類析構函數：自動調用機制、逆序執行規則與資源管理鐵律

析構函數繼承特性

• 不被繼承：派生類不繼承基類析構函數
• 無需顯式調用：編譯器自動在派生類析構後調用基類析構
• 每類僅一個：無重載，編譯器明確知道調用哪個

執行順序鐵律：構造順序完全逆序

實戰驗證：三層繼承鏈

#include <iostream>
using namespace std;

class A { public: A() { cout << "A constructor" << endl; } ~A() { cout << "A destructor" << endl; } };
class B : public A { public: B() { cout << "B constructor" << endl; } ~B() { cout << "B destructor" << endl; } };
class C : public B { public: C() { cout << "C constructor" << endl; } ~C() { cout << "C destructor" << endl; } };

int main() { C test; }  // 區域物件，作用域結束自動析構

運行結果

A constructor
B constructor
C constructor
C destructor
B destructor
A destructor

完美印證：構造 A→B→C，析構 C→B→A。

多重繼承下的析構順序

遵循基類聲明順序逆序：

class D : public BaseA, public BaseB { ... };
// 析構順序：
// 1. Derived
// 2. BaseB  (聲明第二)
// 3. BaseA  (聲明第一)

虛析構：多態刪除的生命線

class Base {
public:
    virtual ~Base() { cout << "Base destructor" << endl; }  // 必須 virtual
};
class Derived : public Base {
public:
    ~Derived() { cout << "Derived destructor" << endl; }
};

int main() {
    Base* p = new Derived();
    delete p;  // 正確調用 Derived → Base
}

無 virtual 時，delete p 僅調用 Base::~Base()，導致 Derived 資源洩漏。

現代 C++ 資源管理：析構函數的核心使命

析構函數是 RAII (Resource Acquisition Is Initialization) 的執行點：

• 釋放記憶體（delete/delete[]/智慧指標）
• 關閉檔案/網路/資料庫連線
• 釋放鎖/信號量
• 取消註冊觀察者/回調

最佳實踐檢查清單

1. 基類析構必須 virtual（或 =default）
2. 派生類析構無需 重複 virtual（隱式虛函數），但建議加 override（C++11）
3. 不在析構函數拋出異常（noexcept 隱式）
4. 優先使用 RAII 容器（unique_ptr, vector, lock_guard）自動管理，減少手寫析構
5. 遵循三/五大法則：自定析構通常意味著需自定拷貝/移動操作

常見錯誤與陷阱

總結

析構函數是 C++ 確定性資源管理的基石。自動逆序調用機制確保子物件先於父物件銷毀，虛析構確保多態刪除正確釋放完整物件。掌握構造/析構鏡像順序、虛析構必要性、RAII 核心地位，是編寫無洩漏、異常安全 C++ 代碼的核心功力。