模板元编程（TMP）本质是利用模板实例化在编译期推导类型、数值或逻辑结果，而非泛化代码；它不生成运行时代码，只影响类型系统和常量表达式，所有计算必须在编译期确定。
模板元编程不是写模板，而是让类型做计算
模板元编程（TMP）的本质不是泛化函数或类，而是利用 C++ 模板的实例化机制，在编译期推导类型、数值或逻辑结果。它不运行，也不生成运行时代码，只影响类型系统和常量表达式。你写的是“类型指令”，不是“执行逻辑”。
常见误用：把 std::enable_if 当开关、把 typename T::value_type 当运行时属性查——这些失败往往是因为没满足 SFINAE 前提，或依赖了未定义行为的嵌套类型。
- 所有计算必须在编译期可确定：参数只能是字面量、
constexpr变量、类型、模板参数包 - 递归终止必须显式定义（比如特化
template struct factorial），否则编译器报错不是“栈溢出”，而是“找不到匹配特化” - 别指望调试器看到 TMP 过程——错误信息里出现 20 层嵌套
std::integral_constant是常态，要习惯读static_assert的失败消息定位位置
用 constexpr if 替代复杂特化，更直接
C++17 的 constexpr if 让很多原本需要全特化或偏特化的场景大幅简化。它不是宏替换，而是在模板实例化时真正丢弃不满足分支的代码，因此能安全调用仅对某类型存在的成员函数。
templateauto get_size(const T& x) { if constexpr (std::is_integral_v ) { return static_cast (x); // x 是整数，直接转 } else if constexpr (has_size_method_v ) { return x.size(); // 只有支持 .size() 的类型才进入此分支 } else { return sizeof(T); } }
注意：has_size_method_v 需用变量模板 + decltype + SFINAE 构造，不能用 std::is_member_function_pointer 直接判断——后者无法检测重载或模板成员函数。
立即学习“C++免费学习笔记（深入）”；
-
constexpr if分支内代码必须语法正确（即使不执行），但不需要语义合法（如调用不存在的成员会静默跳过） - 不能在函数外使用（比如命名空间作用域），也不能用于非模板函数
- 比起传统特化，它更易读、更易维护，但无法实现“类型列表折叠”这类纯类型操作——那还得靠
templatestruct type_list
静态多态靠 CRTP，不是虚函数
CRTP（Curiously Recurring Template Pattern）是静态多态的核心手法：派生类把自身作为模板参数传给基类，让基类在编译期“知道”最终类型。它避免虚表开销，也支持返回具体类型的链式调用。
templatestruct shape_base { double area() const { return static_cast (this)->do_area(); } void draw() const { static_cast (this)->do_draw(); } }; struct circle : shape_base
{ double r; double do_area() const { return 3.14159 r r; } void do_draw() const { / ... / } };
关键点：基类中所有对派生类的调用都通过 static_cast 完成，这个转换在编译期验证类型安全。如果 circle 忘了实现 do_area，错误发生在 area() 被调用处，而不是链接期。
- CRTP 基类不能有虚析构函数（否则破坏静态绑定意图），若需多态销毁，得另加机制
- 派生类名必须在基类模板实参中完整可见——不能在类定义体内引用自身（如
struct X : base在类体里写base是非法的，因为X尚未完成定义） - 与接口类组合使用时，注意 ADL（参数依赖查找）可能失效：CRTP 基类中的自由函数调用不会自动找派生类的同名函数，除非显式限定或引入
编译期计算首选 constexpr 函数，TMP 是备选
从 C++14 开始，constexpr 函数已支持循环、局部变量、条件分支，绝大多数编译期数值计算（阶乘、斐波那契、字符串哈希）应优先用它，而非传统 TMP 递归模板。前者可调试、可复用、错误信息干净。
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
static_assert(factorial(5) == 120); // OK
只有两类情况仍需 TMP：一是操作类型本身（比如提取参数包中第 N 个类型），二是需要延迟实例化（例如根据条件决定是否定义某个嵌套类型）。此时才用 std::tuple_element_t、std::declval、void_t 等工具。
-
constexpr函数在 C++20 后支持更多运行时不可用的操作（如动态内存分配被禁止，但容器构造仍受限），不要假设它能完全替代模板元函数 - 模板参数包展开（
...）仍是唯一能“遍历类型列表”的机制，constexpr函数无法做到这点 - 混合使用时注意求值时机：一个
constexpr函数内部调用模板元函数是允许的，但反过来不行——模板实例化不能依赖运行时值
最易忽略的细节：模板参数推导和 constexpr 求值共享同一套常量表达式规则，但错误路径不同。一个 static_assert 失败可能来自模板特化未匹配，也可能来自 constexpr 函数中途返回非法值——得看错误信息里带的是 “no type named” 还是 “not a constant expression”。
