模板元编程（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 让很多原本需要全特化或偏特化的场景大幅简化。它不是宏替换，而是在模板实例化时真正丢弃不满足分支的代码，因此能安全调用仅对某类型存在的成员函数。
template <typename T>
auto get_size(const T& x) {
if constexpr (std::is_integral_v<T>) {
return static_cast<size_t>(x); // x 是整数，直接转
} else if constexpr (has_size_method_v<T>) {
return x.size(); // 只有支持 .size() 的类型才进入此分支
} else {
return sizeof(T);
}
}注意：has_size_method_v 需用变量模板 + decltype + SFINAE 构造，不能用 std::is_member_function_pointer 直接判断——后者无法检测重载或模板成员函数。
立即学习“C++免费学习笔记（深入）”；
-
constexpr if分支内代码必须语法正确（即使不执行），但不需要语义合法（如调用不存在的成员会静默跳过） - 不能在函数外使用（比如命名空间作用域），也不能用于非模板函数
- 比起传统特化，它更易读、更易维护，但无法实现“类型列表折叠”这类纯类型操作——那还得靠
template<typename...> struct type_list</typename...>
静态多态靠 CRTP，不是虚函数
CRTP（Curiously Recurring Template Pattern）是静态多态的核心手法：派生类把自身作为模板参数传给基类，让基类在编译期“知道”最终类型。它避免虚表开销，也支持返回具体类型的链式调用。
template <typename Derived>
struct shape_base {
double area() const { return static_cast<const Derived*>(this)->do_area(); }
void draw() const { static_cast<const Derived*>(this)->do_draw(); }
};
<p>struct circle : shape_base<circle> {
double r;
double do_area() const { return 3.14159 <em> r </em> r; }
void do_draw() const { /<em> ... </em>/ }
};关键点：基类中所有对派生类的调用都通过 static_cast<const derived>(this)</const> 完成，这个转换在编译期验证类型安全。如果 circle 忘了实现 do_area，错误发生在 area() 被调用处，而不是链接期。
- CRTP 基类不能有虚析构函数（否则破坏静态绑定意图），若需多态销毁，得另加机制
- 派生类名必须在基类模板实参中完整可见——不能在类定义体内引用自身（如
struct X : base<x></x>在类体里写base<x></x>是非法的，因为X尚未完成定义） - 与接口类组合使用时，注意 ADL（参数依赖查找）可能失效：CRTP 基类中的自由函数调用不会自动找派生类的同名函数，除非显式限定或引入
编译期计算首选 constexpr 函数，TMP 是备选
从 C++14 开始，constexpr 函数已支持循环、局部变量、条件分支，绝大多数编译期数值计算（阶乘、斐波那契、字符串哈希）应优先用它，而非传统 TMP 递归模板。前者可调试、可复用、错误信息干净。
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
<p>static_assert(factorial(5) == 120); // OK</p>只有两类情况仍需 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”。
