在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!的结果。
