模板元编程是在编译期通过模板实例化完成计算的技术，用于类型生成、常量计算和逻辑判断；示例包括编译期阶乘计算，利用类模板递归与特化实现，C++14变量模板简化常量定义，C++17 if constexpr 实现编译期分支，广泛应用于类型萃取、SFINAE重载控制、策略模式及编译期数据结构，提升性能与类型安全。
模板元编程（Template Metaprogramming，简称 TMP）是 C++ 中一种在编译期执行计算的技术。它利用模板机制，在程序编译阶段完成类型生成、数值计算甚至逻辑判断，从而提升运行时性能并增强类型安全。
什么是模板元编程
模板元编程不是在运行时执行代码，而是在编译期间由编译器“展开”模板并生成实际代码的过程。其核心依赖于 C++ 模板的实例化机制和递归能力。最常见的用途包括：
- 编译期常量计算（如阶乘、斐波那契数列）
- 类型选择与条件编译（通过 std::enable_if 或 if constexpr）
- 泛型库设计（如 STL 和 Boost）
基础示例：编译期阶乘计算
使用类模板特化实现一个在编译期计算阶乘的例子：
template <int N>struct Factorial {
static constexpr int value = N * Factorial<N - 1>::value;
};
template <>
struct Factorial<0> {
static constexpr int value = 1;
};
// 使用
constexpr int result = Factorial<5>::value; // 编译期计算为 120
这里，Factorial<5> 会递归实例化直到 Factorial<0> 的特化版本。整个计算过程发生在编译期，不产生运行时开销。
立即学习“C++免费学习笔记（深入）”；
现代 C++ 中的改进：变量模板与 if constexpr
C++14 引入了变量模板，简化了常量表达式的定义：
template <int N>
constexpr int factorial_v = N * factorial_v<N - 1>;
template <>
constexpr int factorial_v<0> = 1;
C++17 提供了 if constexpr，可在函数模板中做编译期分支判断：
template <typename T>auto process(T value) {
if constexpr (std::is_integral_v<T>) {
return value * 2;
} else {
return static_cast<int>(value);
}
}
这种写法避免了 SFINAE 的复杂语法，使编译期逻辑更清晰。
应用场景举例
模板元编程广泛应用于高性能和通用库开发中：
- 类型萃取：使用 std::is_floating_point 判断类型属性
- SFINAE 控制重载：根据类型特征启用或禁用函数模板
- 策略模式实现：通过模板参数注入行为，如内存分配策略
- 编译期数据结构：构建类型列表、编译期字符串匹配等
基本上就这些。模板元编程虽然学习曲线较陡，但掌握后能写出高效、灵活且类型安全的代码。现代 C++ 的特性让 TMP 更加易用，不必再完全依赖复杂的递归特化。理解其原理对深入使用 STL、Boost 或编写泛型组件非常有帮助。
