C++模板元編程（Template Metaprogramming, TMP）是一種在編譯期間執行計算的技術，它利用C++的模板系統來實現。TMP可以幫助你編寫更高效、更通用的代碼。以下是一個簡單的入門指南，幫助你了解C++模板元編程的基本概念和技巧。

1. 基本概念

1.1 模板

C++模板是一種泛型編程的工具，允許你編寫與數據類型無關的代碼。模板可以是類模板或函數模板。

template <typename T>
class MyClass {
    T value;
};

template <typename T>
T add(T a, T b) {
    return a + b;
}

1.2 編譯期間計算

模板元編程允許你在編譯期間執行計算，這意味著計算結果在編譯時就已經確定，而不是在運行時。

2. 基本技巧

2.1 使用遞歸模板

遞歸模板是TMP中常用的技巧，可以用來執行復雜的編譯期間計算。

template <unsigned int N>
struct Factorial {
    enum { value = N * Factorial<N - 1>::value };
};

template <>
struct Factorial<0> {
    enum { value = 1 };
};

2.2 使用constexpr

constexpr關鍵字允許你在編譯期間進行表達式計算。結合模板，可以實現更高效的編譯期間計算。

template <typename T, T... Ints>
constexpr std::array<T, sizeof...(Ints)> make_array(T first, Ints... rest) {
    return {first, rest...};
}

constexpr auto arr = make_array(1, 2, 3, 4); // 編譯期間計算

2.3 使用類型萃取

類型萃取可以幫助你在編譯期間提取類型的特性。C++標準庫中有許多類型萃取工具，如std::is_integral, std::is_floating_point等。

#include <type_traits>

template <typename T>
void print_is_integral() {
    std::cout << std::boolalpha << std::is_integral<T>::value << std::endl;
}

int main() {
    print_is_integral<int>();      // 輸出: true
    print_is_integral<double>();   // 輸出: false
    return 0;
}

3. 進階技巧

3.1 使用模板元編程實現編譯期間斷言

你可以使用模板元編程在編譯期間進行斷言檢查，確保程序的正確性。

template <typename T, typename U>
struct AssertEqual {
    static_assert(std::is_same<T, U>::value, "Types must be equal");
};

template <typename T>
struct AssertEqual<T, T> {
    // Do nothing
};

int main() {
    AssertEqual<int, int>::value; // 編譯通過
    // AssertEqual<int, double>::value; // 編譯失敗，類型不匹配
    return 0;
}

3.2 使用模板元編程生成編譯期間常量

你可以使用模板元編程生成編譯期間的常量，這些常量可以在程序中使用。

template <unsigned int N>
struct CompileTimeConstant {
    static constexpr unsigned int value = N * CompileTimeConstant<N - 1>::value;
};

template <>
struct CompileTimeConstant<0> {
    static constexpr unsigned int value = 1;
};

constexpr unsigned int MY_CONSTANT = CompileTimeConstant<5>::value; // 編譯期間計算

4. 學習資源

• 書籍：《C++模板元編程》（C++ Template Metaprogramming） by David Vandevoorde, Nicolai M. Josuttis, and Douglas Gregor
• 在線教程：C++ Template Metaprogramming
• 示例代碼：C++ Template Metaprogramming Examples

通過以上內容，你可以開始入門C++模板元編程。記住，模板元編程是一個高級話題，需要一定的C++基礎和編程經驗。不斷實踐和探索，你會逐漸掌握這門強大的技術。