模板元编程通过递归和特化在编译期计算，如阶乘示例所示；它用于类型萃取、编译期查表、零开销抽象等，C++11后被constexpr等简化，提升代码性能与灵活性。
模板元编程（Template Metaprogramming, TMP）是C++中一种在编译期进行计算和代码生成的技术，它利用模板机制让编译器在不运行程序的情况下完成逻辑处理。这种技术的核心思想是：把类型和常量作为输入，通过模板实例化过程产生新的类型或值，整个过程发生在编译阶段。
编译期计算的基本原理
在C++中，有些表达式可以在编译时求值，比如字面量、constexpr函数和变量。模板元编程进一步扩展了这一能力，借助递归模板和特化机制实现复杂的编译期逻辑。
一个典型的例子是计算阶乘：
templatestruct Factorial { static constexpr int value = N * Factorial ::value; }; template <> struct Factorial<0> { static constexpr int value = 1; };
当你使用Factorial::value时，这个值在编译期就被计算出来，不会有任何运行时代价。
立即学习“C++免费学习笔记（深入）”；
模板特化与递归是核心手段
模板元编程依赖两个关键机制：模板特化和递归实例化。
- 模板特化允许为特定模板参数提供不同的实现，常用于终止递归或优化特定情况。
- 递归模板通过不断实例化自身，直到匹配到特化版本为止，形成类似循环的结构。
例如上面的阶乘例子中，Factorial会触发Factorial、Factorial……最终到达Factorial的特化版本，完成计算。
常见应用场景
模板元编程虽然语法晦涩，但在实际中有不少重要用途：
- 类型萃取：通过std::is_integral、std::enable_if等工具判断或选择类型，常用于泛型编程中的条件编译。
- 编译期查表：预生成数学表（如斐波那契数列、素数表），避免运行时重复计算。
- 零开销抽象：实现高性能库（如Eigen、Boost.MPL），将复杂逻辑移到编译期，提升运行效率。
- SFINAE与概念模拟：在C++11/14中实现约束重载，根据类型是否有某个成员来决定是否参与重载决议。
C++11以后的改进与现代用法
随着C++11引入constexpr、variadic templates和type traits，模板元编程变得更易读、更高效。
比如用constexpr函数替代部分模板递归：
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
这段代码更直观，且在编译期可求值，逐渐成为首选方式。
基本上就这些。模板元编程本质是“用类型写程序”，虽然学习曲线陡峭，但掌握后能写出高度灵活、性能极佳的C++代码。理解其基本模式——递归+特化+编译期求值，是进入高级C++编程的重要一步。
