C++ 模板元編程（Template Metaprogramming，TMP）是一種在編譯期間執行計算的技術，它利用 C++ 模板系統來實現。TMP 可以實現以下功能：
生成編譯時常量：通過模板特化和遞歸模板實例化，可以在編譯期間計算常量值，如階乘、斐波那契數列等。
類型操作：TMP 可以用于在編譯期間執行類型操作，如判斷類型是否為整數、浮點數、類類型等，以及獲取類型的某些屬性，如大小、對齊方式等。
函數和類模板元編程：通過模板特化和遞歸模板實例化，可以在編譯期間實現函數的邏輯選擇和類的構造。這可以用于創建通用的算法和數據結構，如排序、查找、容器等。
代碼生成：TMP 可以根據編譯期間的參數生成不同的代碼，從而實現編譯時多態性。例如，使用 SFINAE（Substitution Failure Is Not An Error）技術，可以根據模板參數的特性選擇性地啟用或禁用某些函數重載。
優化：TMP 可以用于消除編譯時的冗余計算，從而提高程序運行時的性能。例如，通過使用模板元編程實現的編譯時常量折疊，可以將復雜的表達式簡化為單一的常量值。
需要注意的是，雖然 TMP 提供了強大的編譯時編程能力，但它也可能導致代碼難以理解和維護。因此，在使用 TMP 時，應確保代碼的可讀性和可維護性。
