模板元编程是用编译期计算替代运行时逻辑，核心是类型/常量/控制流的编译期执行，依赖模板实例化与特化驱动；需掌握sfinae、constexpr if、类型谓词等工具，而非仅写泛型模板。
模板元编程不是“写模板”，而是用编译期计算替代运行时逻辑
它本质是把类型、常量、甚至控制流（if、while）搬到编译期执行，靠模板实例化和特化“驱动”计算。你写的不是函数调用，是一套被编译器展开的、带逻辑的类型推导规则。
入门最直接的卡点：误以为 template<typename t></typename> 就是元编程——其实只是泛型；真正元编程得出现 std::enable_if_t、constexpr if、std::integral_constant 或递归模板特化这类东西。
- 别从
factorial::value这种玩具例子起步，它掩盖了真实痛点：比如怎么让std::vector<t></t>在T是 trivially_copyable 时启用 memcpy 优化 - 优先学
std::is_same_v<t u></t>和std::is_constructible_v<t args...></t>这类类型谓词，它们是判断分支的基础 - 避免手写递归模板计算长度/索引——C++17 起
constexpr if和 C++20consteval已大幅降低必要性
std::enable_if_t 是最常写错的元编程工具
它不负责“启用”什么，只负责让某个重载在条件不满足时彻底消失（SFINAE）。写错就变成硬编译错误，而不是静默跳过。
典型错误现象：error: no type named 'type' in 'std::enable_if<false void>'</false> —— 这说明你漏了 ::type 或用了 enable_if 而非 enable_if_t。
立即学习“C++免费学习笔记（深入）”；
- 正确写法：
template<typename t> void foo(T t, std::enable_if_t<:is_integral_v>>* = nullptr)</:is_integral_v></typename> - 更现代写法（C++20）：
template<typename t> requires std::is_integral_v<t> void foo(T t)</t></typename>，语义清晰且错误信息友好 - 别在返回类型里塞
enable_if_t：容易和函数返回值混淆，也难调试 - 所有参数都应有默认值或能推导，否则调用时必须显式指定模板实参，失去泛型意义
constexpr if 比模板特化更适合做编译期分支
它让同一函数体内按类型条件走不同代码路径，不用拆成多个重载或特化版本，可读性和维护性高得多。
使用场景：比如序列化函数，对 std::string 直接写 raw data，对 std::vector<int></int> 先写 size 再写元素——这些逻辑本就不该分散到不同函数里。
- 必须写在函数体内，不能用于命名空间作用域
-
constexpr if的条件必须是字面量常量表达式，std::is_pointer_v<t></t>可以，some_runtime_flag不行 - 被丢弃的分支仍要语法正确（比如不能出现未定义的类型），但不需要语义可达——这点和宏
#if不同 - 嵌套多层
constexpr if时，注意缩进和括号匹配，编译器不会帮你报“分支没闭合”这种错误
别碰 std::declval 除非你真需要访问私有成员或构造不可实例化的类型
它生成一个假想的右值引用，仅用于类型推导，不产生实际对象。滥用会导致错误难以定位：比如在 decltype(declval<t>().foo())</t> 中，T 若没有 foo()，错误信息会指向 declval 而非你真正想检查的类型。
更常见且安全的替代：用 std::is_detected_v（需自定义 detect_foo trait）或 C++20 的 requires 表达式。
- 真正需要
declval的场景：实现std::is_invocable这类标准 trait，或检测某个私有operator+是否存在 - 永远不要对
void、引用类型或抽象类直接declval<t>()</t>——结果未定义 - 搭配
decltype使用时，记得加括号：decltype((declval<t>().x))</t>和decltype(declval<t>().x)</t>推导出的类型可能完全不同
最难的不是写对语法，是判断“这事到底该不该在编译期做”。比如字符串拼接、配置解析、日志格式化——这些看起来能 constexpr 的事，往往因依赖外部输入或调试便利性，强行编译期化反而增加构建时间、降低可测试性。先跑通运行时逻辑，再看哪部分值得挪过去。
