C++ 物件計數器實作：模板化、繼承與組合比較、繼承鏈陷阱與解決方案

基本需求

統計類別在執行期的實例數量：建構 +1、複製建構 +1、解構 -1。

初版：單一靜態計數器

class Counter {
    static size_t count;
public:
    Counter() { ++count; }
    Counter(const Counter&) { ++count; }
    ~Counter() { --count; }
    static size_t howMany() { return count; }
};
size_t Counter::count = 0;

缺點：所有使用此類的類別共享同一計數。

模板化：每類別獨立計數

template 
class Counter {
    static size_t count;
public:
    Counter() { ++count; }
    Counter(const Counter&) { ++count; }
    ~Counter() { --count; }
    static size_t howMany() { return count; }
};
template  size_t Counter::count = 0; // 可置於標頭檔

兩種整合方式

A. 組合 (嵌入成員)

class Widget {
    Counter c;
public:
    static size_t howMany() { return Counter::howMany(); }
};

• 優點：語意清晰 (Widget 擁有 計數器)
• 缺點：增加類別大小 (空類別最小 1 byte)，需手動轉發 howMany()

B. 公開繼承

class Widget : public Counter {
    // 直接繼承 howMany()
};

• 優點：零大小開銷 (空基類別優化 EBO)，直接取得 howMany()
• 缺點：引入 虛擬解構函數需求 (若有人 delete static_cast*>(new Widget))

解決虛擬解構問題：protected 解構函數

template 
class Counter {
public:
    Counter() { ++count; }
    Counter(const Counter&) { ++count; }
protected:
    ~Counter() { --count; } // 禁止 delete base*
public:
    static size_t howMany() { return count; }
private:
    static size_t count;
};

現在 Counter* p = new Widget; delete p; → **編譯錯誤**，避免未定義行為。

C. 私有繼承 (推薦折衷)

class Widget : private Counter {
public:
    using Counter::howMany; // 暴露靜態方法
};

• 阻擋 Counter* p = new Widget; 隱性轉換
• 保有 EBO 零大小優勢
• 語意：Widget 依據 Counter 實作，非 是一種 Counter

繼承鏈陷阱：衍生類別計數污染基類

class SpecialWidget : public Widget, public Counter { };

• SpecialWidget 計數正確 (自己的 Counter)
• Widget 計數**錯誤**：每建構一個 SpecialWidget，Widget 建構函數執行 → Counter +1
• 結果：Widget::howMany() = Widget 實例 + SpecialWidget 實例

根本限制

模板計數器無法正確區分繼承鏈中的基類與衍生類實例，因為基類建構函數在衍生類建構時必然執行。

替代方案：外部登記表

template 
class Registry {
    static std::atomic count;
public:
    static void add() { ++count; }
    static void remove() { --count; }
    static size_t howMany() { return count; }
};

// 使用者在每個建構/解構手動呼叫
class Widget {
public:
    Widget() { Registry::add(); }
    Widget(const Widget&) { Registry::add(); }
    ~Widget() { Registry::remove(); }
    static size_t howMany() { return Registry::howMany(); }
};

優點：完全控制計數時機，可在衍生類決定是否呼叫基類登記。缺點：需手動維護，易忘。

總結比較表

核心啟示

物件計數看似簡單，實則觸及 EBO、虛擬解構、繼承語意、模板具現化隔離 等核心 C++ 機制。理解各方案權衡，比複製貼上代碼更重要。

1. 上一篇文章： COM 組件物件模型核心規範完整參考：IUnknown、介面設計、記憶體管理、參考計數、聚合、單元執行緒模型
2. 下一篇文章： C++ 簡單二叉樹類實現與使用指南

關於C++

C++ 實戰：本機網卡 IP 數據包捕獲與解析完整指南

項目需求 編寫 C++ 程序捕獲本機網卡上的 IP 數據包，

C++ STL 核心組件深度總結：容器、迭代器、算法與適配器

STL（Standard Template Library）

C++ STL 競程核心知識大全：容器、算法、迭代器實戰速查

vector：動態數組首選 連續內存，隨機訪問 O(1)，尾

C++ 靜態庫與動態庫完整指南：創建、使用、區別與選擇

什麼是庫？ 庫是預先編譯好的可復用二進制代碼。現代軟體開發離