C++ 為什麼要將析構函數聲明為 protected？

C++ 為什麼要將析構函數聲明為 protected？

在 C++ 類設計中，析構函數的訪問控制直接影響對象的生命周期管理方式。將析構函數聲明為 protected 是一種經典設計模式，用於強制對象只能在堆上創建，禁止棧上分配。

背景問題

• public 構造/析構：允許棧上（自動變量）和堆上（new/delete）創建對象
• private 構造函數：雖然禁止棧上創建，但同時也阻止了堆上創建（除非提供靜態工廠方法）
• private 析構函數：雖然限制了棧對象，但導致無法繼承（派生類析構時需調用基類析構）

protected 析構函數的解決方案

將構造函數和析構函數均聲明為 protected，並提供靜態工廠方法控制創建與銷毀：

class A {
protected:
    A() {}           // 保護構造函數
    ~A() {}          // 保護析構函數

public:
    // 工廠方法：在堆上創建對象
    static A* create() { return new A(); }

    // 安全銷毀方法
    void destroy() { delete this; }
};

使用方式

// 正確：通過工廠方法創建
A* pa = A::create();
pa->destroy(); // 正確銷毀

// 錯誤：編譯報錯
// A a;        // 棧上創建失敗：構造函數 protected
// delete pa;  // 直接 delete 失敗：析構函數 protected

核心機制

1. 棧上創建失敗：編譯器在作用域結束時需自動調用析構函數，但 protected 析構函數不可訪問 → 編譯錯誤
2. 堆上創建成功：new A() 僅調用構造函數，不立即調用析構函數；delete this 在成員函數內部可訪問 protected 析構函數
3. 繼承友好：派生類可訪問基類 protected 析構函數，正常繼承不受影響

應用場景

• 單例模式：控制實例數量，防止外部隨意創建/銷毀
• 引用計數/智能指針管理：對象生命周期由管理器控制（如 COM 組件的 AddRef/Release）
• 對象池/工廠模式：統一內存分配策略，避免碎片化
• 插件架構：插件對象由框架統一加載/卸載

注意事項

• 必須提供公開的銷毀接口（如 destroy() 或 release()），否則會導致內存洩漏
• 搭配 private 複製構造/賦值運算符防止拷貝
• 現代 C++ 建議結合智能指針（std::unique_ptr 配合自定義刪除器）替代手動 delete this

現代 C++ 改進寫法

class A {
protected:
    A() = default;
    ~A() = default;

    // 禁止拷貝
    A(const A&) = delete;
    A& operator=(const A&) = delete;

public:
    // 返回智能指針，自定義刪除器調用 protected 析構
    static std::unique_ptr create() {
        return {new A(), [](A* p) { p->~A(); delete p; }};
    }
};

// 使用
auto ptr = A::create(); // 自動管理生命周期

總結：protected 析構函數是「強制堆分配」的核心技術，配合工廠方法實現對象生命周期的完全管控，是 C++ 資源管理高級模式的基石。