模板元编程（TMP）是C++在编译期利用模板进行计算和类型推导的技术，依赖模板特化、递归实例化、SFINAE及constexpr等特性，用于零开销抽象与强约束接口。
模板元编程（TMP）是 C++ 在编译期利用模板机制进行计算和类型推导的技术，它不生成运行时代码，而是在编译阶段完成逻辑判断、数值计算、类型构造等任务。核心在于：所有运算必须在编译期可确定，依赖于模板特化、递归实例化、SFINAE 和 C++11 后的 constexpr、变量模板、折叠表达式等特性。
从最简例子理解编译期整数计算
传统函数在运行时求阶乘，而模板元编程可在编译期算出结果：
template
struct factorial {
static constexpr int value = N * factorial
};
template
struct factorial {
static constexpr int value = 1;
};
static_assert(factorial::value == 120, "compile-time check");
说明：通过类模板递归展开 + 全特化终止，编译器在实例化 factorial 时就推导出常量值 120。注意 C++14 起推荐用变量模板简化写法：
立即学习“C++免费学习笔记（深入）”；
template
constexpr int factorial_v = N * factorial_v
template
constexpr int factorial_v = 1;
类型计算与 trait 构建技巧
编译期类型判断、提取、转换是 TMP 的高频用途。例如实现一个只对指针类型启用的函数：
- 用
std::is_pointer_v判断类型属性（C++17 变量模板） - 配合
std::enable_if_t做 SFINAE 约束（C++14）：
template
std::enable_if_t<:is_pointer_v>, int>
process_ptr(T p) { return static_cast
更现代写法（C++20）可用 requires 约束：
template
int process_ptr(T p) requires std::is_pointer_v
自定义 trait 示例：提取容器的 value_type（忽略 const/volatile/引用修饰）：
template
struct remove_cvref { using type = std::remove_cv_t<:remove_reference_t>>; };
template
using container_value_t = typename Container::value_type;
constexpr 函数与编译期容器雏形
C++14 起 constexpr 函数支持循环、局部变量、条件分支，使编译期逻辑更接近运行时风格：
constexpr int fib(int n) {
if (n return fib(n-1) + fib(n-2);
}
static_assert(fib(10) == 55);
结合字面量类型（literal type），可构造编译期数组：
template
struct array {
int data[N];
constexpr array(std::initializer_list
size_t i = 0;
for (auto x : il) if (i }
};
constexpr auto arr = array{1, 2, 3}; // 编译期构造
现代替代方案与实用建议
纯 TMP（尤其递归模板）易读性差、错误信息冗长。实践中建议：
- 优先用
constexpr函数代替模板递归计算（更直观、调试友好） - 类型计算多用标准库
- C++20 概念（concepts）大幅简化约束表达，替代繁复的 enable_if
- 编译期字符串处理、反射等重需求，可考虑第三方库如 Boost.MP11 或现代方案如
reflexpr（非标准）
基本上就这些——TMP 不是炫技工具，而是解决特定问题（如零开销抽象、配置驱动生成、强约束接口）的底层手段。掌握它，关键在理解“什么能在编译期做”以及“怎么让编译器愿意帮你做”。
