模板元编程是在编译期通过模板实例化完成计算与类型推导的机制，核心是编写供编译器执行的规则而非运行时代码，常用 std::enable_if、变量模板和 if constexpr 实现约束与分支。
模板元编程不是写运行时代码，而是让编译器“算”出结果
模板元编程（TMP）的本质，是利用 C++ 模板的实例化机制，在编译期完成计算、类型推导或逻辑分支。它不生成运行时函数调用，也不操作对象——所有东西都在 template 实例化过程中被展开、折叠、匹配。你写的不是“程序”，而是一套给编译器看的“规则说明书”。一旦理解这点，就不会试图在 constexpr 函数里塞 std::vector，也不会指望 if 语句在模板里做编译期分支。
从 std::enable_if 和 std::is_integral_v 开始写真实可用的约束
新手常以为 TMP 就是写递归 struct 计算阶乘，其实更常用的是类型约束和 SFINAE。现代写法优先用变量模板（如 std::is_integral_v<t></t>）和概念（C++20），但兼容旧编译器时仍要靠 std::enable_if。
- 用
std::enable_if_t<:is_floating_point_v>, int> = 0</:is_floating_point_v>替代老式typename std::enable_if<...>::type</...>，更简洁 - 避免在函数参数列表里硬塞
std::enable_if，容易触发重载歧义；优先用返回类型或默认模板参数 -
static_assert适合报错提示，但不能参与重载决议；enable_if才能真正“剔除”非法候选函数 - 示例：只允许整数类型的加法包装器：
template<typename T><br>auto add_one(T x) -> std::enable_if_t<std::is_integral_v<T>, T> {<br> return x + 1;<br>}
递归模板不是为了炫技，是为了替代运行时循环
当你需要在编译期展开一个固定长度的序列（比如解析 4 字节字节序、展开 tuple 成员、生成一组静态数组索引），递归模板比 constexpr 循环更可控——尤其在 C++14 之前没有泛型 constexpr 函数时。
- 必须提供完全特化（full specialization）作为递归终点，否则编译器无法终止实例化
- 别用
int N做非类型模板参数来模拟循环变量，除非 N 是编译期常量（constexpr或字面量）；否则会编译失败 - C++17 的
if constexpr大幅简化了这类逻辑，但要注意：它只能出现在函数模板体内，且分支中非法代码只要不被选中就不会报错 - 示例：编译期计算斐波那契第 N 项（仅限小 N）：
template<int N><br>struct fib {<br> static constexpr int value = fib<N-1>::value + fib<N-2>::value;<br>};<br>template<> struct fib<0> { static constexpr int value = 0; };<br>template<> struct fib<1> { static constexpr int value = 1; };
别碰 decltype + declval 组合，除非你真在写 traits
这是 TMP 里最容易写出“看似能编译、实则行为不可控”代码的地方。很多人抄 std::declval<T>().size() 判断容器是否有 size()，却忽略两个关键点：一是 declval 返回的是右值引用，二是表达式有效性检查必须配合 SFINAE 才安全。
立即学习“C++免费学习笔记（深入）”；
- 直接写
decltype((void)T{}.size())会崩溃，因为T{}可能无法构造；要用std::declval<T&>().size()模拟左值访问 - 现代做法是用
requires（C++20）或std::is_detected_v（type_traits扩展），而不是手写decltype表达式 - 哪怕只是想判断某个成员是否存在，也要先封装成独立 trait，再用在
enable_if或if constexpr中，避免污染主逻辑 - 错误现象：
error: no matching function for call to 'declval'，往往是因为模板参数未推导成功，或declval套用了错误的引用类型
复杂点在于：模板元编程没有调试器，错误信息全是实例化栈。最常被忽略的是——你以为自己在控制类型，其实只是在控制编译器报错的位置。写完一段 TMP，先删掉一半代码，确认剩下部分能独立编译通过，再逐步加回。
