C++模板元编程（TMP）是指利用编译器对模板的实例化过程，在编译阶段执行逻辑计算与类型处理的技术。它并不是运行时的代码，而是让编译器在生成代码时就算出结果或选出类型，从而减少运行时开销。
模板元编程和普通模板有什么不同
普通函数模板或类模板主要用来做泛型编程，比如写出一个能处理多种类型的容器。而模板元编程把模板当成一种在编译期运行的“语言”，通过特化、递归实例化等方式完成数值计算或类型变换。
核心特征
- 计算发生在编译期，不占用运行时CPU
- 大量使用模板递归与模板特化
- 错误信息常在编译阶段以冗长模板报错呈现
入门示例：编译期计算阶乘
下面用一个最基础的递归模板，在编译期算出阶乘结果。编译器会依据传入的N生成对应代码，并把结果作为常量。
#include <iostream>
// 主模板：递归定义
template <int N>
struct Factorial {
static const int value = N * Factorial<N - 1>::value;
};
// 模板特化：递归终止条件
template <>
struct Factorial<0> {
static const int value = 1;
};
int main() {
// 编译期已算出 5! = 120
std::cout << Factorial<5>::value << std::endl;
return 0;
}
代码说明
上面代码中，Factorial<N>通过引用自身的value形成编译期递归，当N为0时由特化版本终止。使用static const int让结果成为编译期常量。
常见入门手法
| 手法 | 作用 |
|---|---|
| 模板特化 | 为特定类型或值提供不同实现 |
| type traits | 在编译期获取或修改类型属性 |
| SFINAE | 根据类型能力择优选择函数重载 |
学习建议
新手应先理解模板实例化与特化机制，再阅读标准库中的type_traits头文件。写小例子观察编译期计算效果，慢慢积累对TMP的思考方式，不必一开始追求复杂技巧。
C++模板元编程template_metaprogrammingTMP入门修改时间：2026-07-28 22:42:13