C++ 解構函式完整指南：作用時機、呼叫規則與資源管理最佳實務

解構函式基本概念

解構函式是建構函式的「逆向操作」，在物件銷毀時自動呼叫。命名規則：類別名稱前加 ~，如 ~String()。

核心作用

• 釋放物件持有的資源：記憶體、檔案控制代碼、網路連線、鎖、資料庫連線等
執行清理邏輯：關閉檔案、釋放鎖、記錄日誌、通知其他物件等

自動呼叫時機 (五大場景)

語法限制規則

• 不能有參數：無參數列表
• 不能有回傳型別：連 void 都不能寫
• 不能用 return 回傳值
• 不能是 const/volatile/static：但可為這類物件服務
• 可以是 virtual：基類解構函式應宣告為 virtual，確保透過基類指標刪除衍生物件時正確呼叫衍生類解構函式

虛擬解構函式關鍵範例

class Base {
public:
    virtual ~Base() { cout << "Base 解構\n"; }
};

class Derived : public Base {
public:
    ~Derived() { cout << "Derived 解構\n"; }
};

int main() {
    Base* p = new Derived();
    delete p;  // 虛擬解構確保輸出：Derived 解構 → Base 解構
    return 0;
}

若 Base 解構函式非 virtual，delete p 僅呼叫 ~Base()，導致 Derived 資源洩漏。

建構/解構呼叫順序

class Base { ~Base() { cout << "~Base\n"; } };
class Member { ~Member() { cout << "~Member\n"; } };
class Derived : public Base {
    Member m;
    ~Derived() { cout << "~Derived\n"; }
};

// 建構順序：Base → Member → Derived
// 解構順序：Derived → Member → Base  (完全相反)

常見錯誤與最佳實務

錯誤 1：回傳區域物件指標/參考

int* badFunc() {
    int arr[10];
    return arr;  // 錯誤：arr 在函式結束時銷毀，回傳野指標
}

錯誤 2：雙重釋放 / 使用已釋放記憶體

// 錯誤模式
delete p;
delete p;  // 雙重釋放

// 或
delete p;
*p = 10;   // 使用已釋放記憶體 (野指標)

// 最佳實務：釋放後立即歸零
delete p;
p = nullptr;

錯誤 3：基類解構函式非 virtual

透過基類指標管理衍生物件時，必須將基類解構函式宣告為 virtual。

RAII 模式：現代 C++ 資源管理

資源取得即初始化，利用物件生命週期自動管理資源：

class FileHandle {
    FILE* fp;
public:
    FileHandle(const char* name, const char* mode) : fp(fopen(name, mode)) {}
    ~FileHandle() { if (fp) fclose(fp); }  // 保證釋放
    // 禁止複製，支援移動...
};

void func() {
    FileHandle f("data.txt", "r");  // 離開作用域自動 fclose
    // 即使拋出例外也會正確釋放
}

智慧指標取代手動管理

總結檢查清單

• [ ] 類別管理資源？→ 定義解構函式
• [ ] 可能被繼承？→ 解構函式設為 virtual
• [ ] 需要複製/移動語意？→ 遵循 Rule of Five (C++11) / Rule of Three (C++98)
• [ ] 能用 RAII/智慧指標替代手動 new/delete？→ 優先使用

1. 上一篇文章： 最短路徑演算法大全：Dijkstra 單源與 Floyd 多源完整實作指南
2. 下一篇文章： C 語言二維陣列與指標關係深度解析：記憶體佈局與存取方式

關於C語言

GCC 編譯器安裝完整指南：從介紹到環境配置

GCC 編譯器安裝完整指南：從介紹到環境配置 1. GCC

建造者模式：將複雜對象構建與表示分離，支援多種表示輸出

模式動機 當一個物件的構建過程極其複雜（步驟多、順序敏感、參

C語言解題：ACM 英文金曲大賽評分（去除最高最低分計算平均）

ACM 評分系統題目解析 本題模擬歌唱比賽評分：7 位評委打

C 語言字符串空格替換：將空格替換為 %20 的兩種實現

C 語言字符串空格替換：將空格替換為 %20 的兩種實現 經