C++ 模板元編程（Template Metaprogramming，TMP）是一種在編譯期間執行計算的技術，它利用 C++ 模板系統來實現
-
編譯時與運行時：
- 模板元編程是在編譯期間執行的，這意味著所有計算都在編譯階段完成。因此，模板元編程不會增加運行時開銷。
- 與之相反，常規編程通常在運行時執行計算，這可能會導致額外的性能損失。
-
類型安全：
- 模板元編程是類型安全的，因為所有計算都是基于模板參數的類型進行的。這意味著在編譯期間可以捕獲到類型錯誤，而無需等到運行時。
- 常規編程可能會在運行時出現類型錯誤，這可能導致程序崩潰或其他未定義行為。
-
代碼生成：
- 模板元編程允許在編譯期間生成代碼，這意味著可以根據不同的模板參數生成不同的代碼實現。這可以提高代碼的復用性和靈活性。
- 常規編程通常需要編寫額外的代碼來處理不同的場景，這可能導致代碼冗余和難以維護。
-
遞歸與迭代：
- 模板元編程通常使用遞歸來解決問題，因為遞歸可以在編譯期間展開，從而減少代碼量。然而，過深的遞歸可能導致編譯時間增加和棧溢出錯誤。
- 常規編程可以使用循環來實現迭代，但循環在編譯期間通常不會展開，因此可能會導致運行時性能損失。
-
適用場景：
- 模板元編程適用于需要在編譯期間完成計算的場景，例如計算常量、創建編譯時常量函數、實現編譯時斷言等。
- 常規編程適用于運行時計算的場景，例如處理用戶輸入、動態分配內存等。
總之，C++ 模板元編程是一種強大的技術，可以在編譯期間執行計算，從而提高程序的性能和類型安全性。然而，它也有一些局限性，例如可能導致編譯時間增加和代碼可讀性降低。因此，在使用模板元編程時，需要權衡其優缺點，并根據具體需求選擇合適的編程方法。
