C++中模板元编程（TMP）可在编译期执行复杂计算，提升运行时性能。1. 通过模板递归与特化实现编译期数值计算，如阶乘和斐波那契数列；2. 利用SFINAE或if constexpr实现编译期条件判断；3. 操作类型系统构建类型列表、进行类型变换与选择；4. 应用于零成本抽象、静态分发、配置验证和DSL实现；5. 现代C++推荐结合constexpr、consteval与概念简化传统TMP，提高可读性与维护性。
在C++中，编译期执行复杂计算是模板元编程（Template Metaprogramming, TMP）的核心能力之一。通过巧妙利用模板和类型系统，我们可以在程序编译时完成数值计算、逻辑判断甚至数据结构操作，从而提升运行时性能并增强类型安全。
编译期计算的基本原理
编译期计算依赖于模板实例化和常量表达式机制。C++标准允许某些表达式在编译时求值，尤其是使用constexpr关键字定义的函数和变量。但在C++11之前，开发者主要依靠模板递归和特化实现类似功能。
最经典的例子是计算阶乘：
template <int N>
struct Factorial {
static constexpr int value = N * Factorial<N - 1>::value;
};
<p>template <>
struct Factorial<0> {
static constexpr int value = 1;
};</p><p>// 使用：Factorial<5>::value 在编译期得到 120</p><p><span>立即学习</span>“<a href="https://pan.quark.cn/s/6e7abc4abb9f" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">C++免费学习笔记（深入）</a>”；</p>这个结构体通过递归模板实例化，在编译时展开为一系列具体类型的定义，最终将结果存储在value中。
递归与模式匹配：构建复杂逻辑
TMP中的“控制流”通常通过模板特化和递归来模拟。比如实现编译期斐波那契数列：
template <int N>
struct Fibonacci {
static constexpr int value =
Fibonacci<N-1>::value + Fibonacci<N-2>::value;
};
<p>template <> struct Fibonacci<0> { static constexpr int value = 0; };
template <> struct Fibonacci<1> { static constexpr int value = 1; };</p>每个模板参数对应一个编译期分支，通过完全特化终止递归。这种方式虽然写法繁琐，但能确保所有计算发生在目标代码生成前。
更复杂的逻辑可通过SFINAE（Substitution Failure Is Not An Error）或if constexpr（C++17起）实现条件判断：
- 用std::enable_if控制模板参与重载
- 在constexpr函数中使用if constexpr进行编译期分支选择
类型运算与高阶抽象
TMP不仅能处理数值，还能操作类型本身。常见应用包括：
- 类型列表的编译期构造与变换
- 根据条件选择类型（类似std::conditional）
- 自动推导函数返回类型或容器元素类型
例如，构建一个编译期类型列表：
template <typename... Types>
struct TypeList {};
<p>using MyTypes = TypeList<int, double, char>;</p>结合递归模板可以实现类型查找、去重、映射等操作，这类技术广泛用于泛型库如Boost.MPL和现代C++框架中。
实际应用场景与优化技巧
TMP在真实项目中有多个高效用途：
- 零成本抽象：将运行时查表转为编译期常量数组
- 策略模式静态分发：避免虚函数调用开销
- 配置验证：在编译时报错非法模板参数组合
- DSL实现：构建领域专用语言的类型级语法树
优化建议：
- 优先使用constexpr而非纯模板递归（更易读且调试友好）
- 避免深层递归导致编译器栈溢出（可设置最大深度限制）
- 利用std::integer_sequence生成索引序列简化循环逻辑
基本上就这些。现代C++结合constexpr、consteval和概念（concepts）已大幅简化了传统TMP的复杂性，但理解底层机制仍有助于写出高效且可维护的泛型代码。
