C++ 模板元編程（Template Metaprogramming，TMP）是一種在編譯期間執行計算的技術，它利用 C++ 模板系統來實現。TMP 的要點包括：
編譯時計算：TMP 主要在編譯期間執行計算，這意味著它可以避免運行時的性能損失。通過將計算轉移到編譯時，可以提高程序的執行效率。
泛型編程：TMP 可以實現泛型編程，即編寫與數據類型無關的代碼。通過模板特化和遞歸模板，可以實現對不同類型數據的處理。
類型推導：TMP 可以利用 C++ 的類型推導特性，自動推導出變量的類型。這可以減少代碼的冗余，并提高代碼的可讀性。
編譯時斷言：TMP 可以在編譯期間進行斷言檢查，以確保程序的正確性。如果某個條件在編譯時滿足，那么它將在整個程序運行期間始終滿足。
遞歸模板：遞歸模板是 TMP 的核心概念之一。通過遞歸模板，可以在編譯期間執行復雜的計算和數據處理。
特化與偏特化：模板特化和偏特化允許你為特定類型提供特定的實現。這可以使 TMP 更加靈活，以適應不同類型的需求。
編譯時數組：TMP 可以利用編譯時數組來存儲和處理數據。編譯時數組的大小是在編譯時確定的，因此可以避免運行時的內存分配和釋放開銷。
SFINAE（Substitution Failure Is Not An Error）：SFINAE 是一種在模板元編程中處理替換失敗的技術。通過 SFINAE，可以在編譯期間選擇性地啟用或禁用某些模板實現，以實現更復雜的編程需求。
編譯時函數：TMP 可以實現編譯時函數，即在編譯期間執行的函數。這可以提高程序的執行效率，因為函數調用可以在編譯時完成。
C++11 及更高版本的支持：C++11 引入了更多的模板特性，如可變模板參數、初始化列表等，這些特性為 TMP 提供了更強大的支持。
總之，C++ 模板元編程是一種強大的編程技術，它允許在編譯期間執行復雜的計算和數據處理。通過熟練掌握 TMP 的要點，可以實現更高效、更靈活的代碼。
