C++ 箴言：謹慎使用模板元編程

什麼是模板元編程（TMP）

TMP 是在編譯期運行的 C++ 程序，輸出經模板實例化生成的源碼片段，再由編譯器正常編譯。它被「發現」而非發明，證明為圖靈完備。

兩大優勢

1. 使難以或不可能的運行時任務變得容易（如編譯期條件判斷、類型計算）。
2. 將工作從運行時轉移到編譯期：更早發現錯誤、減小可執行文件、縮短運行時間、降低內存佔用（代價是編譯時間變長）。

經典案例：STL advance 的 TMP 優化

運行時 typeid 版本會導致非隨機迭代器編譯錯誤（iter += d 不合法）。Traits 技術（TMP 形式）在編譯期分離不同迭代器類別的代碼，避免無效代碼參與編譯。

TMP 基礎結構：遞歸模板實例化實現循環

• 循環 = 遞歸模板實例化（Factorial<n> 引用 Factorial<n-1>）。
• 變量 = enum hack 定義的整型常量。
• 終止條件 = 全特化 Factorial<0>。

實戰應用三例

1. 量綱檢查：編譯期確保物理量運算單位正確（如距離/時間=速度），支持分數指數約分。
2. 矩陣運算優化：表達式模板消除臨時對象、融合多重循環，大幅提升性能。
3. 策略化設計模式生成：基於策略的設計（policy-based design）組合獨立設計選擇（如智能指針的所有權轉移、檢查策略），編譯期生成成百上千種定制類型。

現狀與建議

• 語法反直覺，工具支持弱（調試器幾乎無用），規則仍在演化。
• C++11/14/17/20 逐步引入 constexpr、別名模板、變參模板、概念等原生支持 TMP 的特性。
• 不適合所有人，但對庫開發者幾乎不可或缺。

記住要點

• TMP 將工作從運行時轉移到編譯期，實現早期錯誤檢測與運行時性能提升。
• TMP 可用於基於策略組合生成定制代碼，也可避免為特定類型生成不當代碼。