在C++中，模板元編程（TMP）是一種在編譯時執行計算的技術。處理遞歸模板的關鍵在于定義一個遞歸終止條件和一個遞歸步驟。以下是一個簡單的例子，展示了如何使用遞歸模板計算階乘：
#include <iostream>
// 遞歸終止條件：0! = 1 和 1! = 1
template<int N>
struct Factorial {
enum { value = N * Factorial<N - 1>::value };
};
// 遞歸步驟：計算 (N-1)!
template<>
struct Factorial<0> {
enum { value = 1 };
};
int main() {
// 使用遞歸模板計算 5!
std::cout << "5! = " << Factorial<5>::value << std::endl;
return 0;
}
在這個例子中，我們定義了一個名為Factorial的模板結構體，它接受一個整數N作為參數。我們為這個模板結構體提供了一個特化版本，用于處理遞歸終止條件（即N=0和N=1的情況）。對于其他情況，我們通過遞歸調用Factorial<N - 1>::value來實現遞歸步驟。
當編譯器遇到Factorial<5>時，它會遞歸地計算Factorial<4>、Factorial<3>、Factorial<2>和Factorial<1>的值，直到到達遞歸終止條件。最后，它將所有這些值相乘以得到5!的結果。
