模板元编程可在编译期计算阶乘和斐波那契数列，通过递归模板与特化终止实现，如Factorial::value在编译期得120；C++11后推荐使用更清晰的constexpr函数替代，如factorial(5)同样在编译期计算，提升可读性与维护性。
在C++中，模板元编程（Template Metaprogramming, TMP）可以用来在编译期执行计算。这利用了模板的递归实例化和常量表达式特性，将计算过程转移到编译阶段，从而提升运行时性能。
使用模板特化实现编译期阶乘
一个经典的例子是在编译期计算阶乘。通过递归模板和全特化终止条件，可以在编译时完成数值计算。
templatestruct Factorial { static constexpr int value = N * Factorial ::value; }; template <> struct Factorial<0> { static constexpr int value = 1; };
使用方式如下：
constexpr int result = Factorial<5>::value; // 结果为 120
编译器会在编译期展开 Factorial 到 Factorial，最终生成常量 120，无需运行时计算。
立即学习“C++免费学习笔记（深入）”；
编译期斐波那契数列
同样可以用模板元编程计算斐波那契数列：
templatestruct Fibonacci { static constexpr int value = Fibonacci ::value + Fibonacci ::value; }; template <> struct Fibonacci<0> { static constexpr int value = 0; };
template <> struct Fibonacci<1> { static constexpr int value = 1; };
调用示例：
constexpr int fib5 = Fibonacci<5>::value; // 结果为 5
这种实现依赖模板递归展开，所有值在编译期确定。
使用 constexpr 函数简化编译期计算
C++11 起支持 constexpr 函数，提供更直观的编译期计算方式：
constexpr int factorial(int n) {
return (n <= 1) ? 1 : n * factorial(n - 1);
}
使用方式相同：
constexpr int val = factorial(5); // 编译期计算为 120
现代C++中推荐优先使用 constexpr 函数，代码更清晰且易于调试。
基本上就这些。模板元编程虽然强大，但可读性较差，建议在确实需要编译期常量或类型计算时使用。结合 constexpr 和模板，能灵活实现各种编译期逻辑。不复杂但容易忽略的是：确保递归有明确终止条件，否则会导致编译错误或无限展开。
