C++ CRTP 奇異遞迴模板模式：以靜態多態取代虛函數的效能實測

核心模式 (CRTP)

template <class Derived>
class Base {
public:
    void interface() { static_cast<Derived*>(this)->implementation(); }
protected:
    Base() = default;
};

class Derived : public Base<Derived> {
    friend class Base<Derived>;
    void implementation() { /* 具體實作 */ }
};

• Base 模板參數為衍生類別 Derived。
• static_cast<Derived*>(this) 安全下轉 (編譯期已知型別)。
• 衍生類別在 implementation 實作具體行為，基類提供通用介面。

靜態 vs 動態多態效能對比

測試環境：Linux x86_64, GCC, 1 億次迴圈調用簡單增減操作。

原因分析

• 虛函數：間接呼叫 (vtable 查找)，編譯器**無法內聯** (動態綁定)，優化受限。
• CRTP：static_cast + 直接呼叫，編譯器**完全內聯**展開，消除呼叫開銷，進一步優化迴圈內部邏輯。
• 優化開啟時，虛函數仍保留間接跳轉；CRTP 變為純量運算，指令流極短。

適用與不適用場景

現代 C++ 補充

• C++20 **Concepts** 可約束 Derived 需提供的介面，提前報錯。
• 配合 final 關鍵字防止進一步繼承破壞靜態綁定假設。
• 標準庫大量使用 CRTP：std::iterator (C++17 deprecated), std::enable_shared_from_this, boost::intrusive 等。

結語

CRTP 是 C++ **零開銷抽象** 的經典範例。在效能敏感、型別固定的熱路徑中，優先考慮 CRTP 替代虛函數；通用介面、擴充性優先場景仍以虛函數為主。兩者並非互斥，可混合使用 (基類虛函數 + CRTP 葉子類別)。

1. 上一篇文章： WINX 視窗類物件記憶體管理：基於 Owner 的生命週期模型
2. 下一篇文章： C++ 預設建構函數完整規則與陷阱

關於C++

Win32 開發入門（22）：螢幕擷取 - StretchBlt 縮放複製與 NOTSRCCOPY 反色效果

使用 StretchBlt 將全螢幕內容縮放複製至視窗客戶區

muduo 與 Boost.Asio 吞吐量效能對比測試

muduo 是基於 Reactor 模式的 C++ 網路庫，

可配置語法分析器開發紀事（六）：構造真正可用的狀態機（下）

右遞歸處理 上文已處理左遞歸，本文解決右遞歸。右遞歸產生 r

C/C++ 根據文件路徑自動創建同名子目錄工具類

在圖像處理、數據分析流程中，常需將處理結果保存到「輸入文件所