模板元编程（TMP）是C++在编译期进行类型和值计算的核心能力，依赖模板实例化、SFINAE、constexpr等机制，目标是将运行时判断提前至编译期以提升性能、增强类型安全、实现零开销抽象。
模板元编程（TMP）是C++在编译期进行类型和值计算的核心能力，不是“写模板”，而是用模板语法构造编译期的程序逻辑。它依赖模板实例化、SFINAE、constexpr、变量模板、折叠表达式等机制，目标是把本该运行时做的判断、计算、类型选择，提前到编译期完成——提升性能、增强类型安全、实现零开销抽象。
从 constexpr 到编译期整数计算
C++11起，constexpr让简单函数和变量能在编译期求值；C++14放宽限制，支持循环和局部变量；C++17引入constexpr if和constexpr lambda，大幅降低TMP门槛。相比传统递归模板，现代写法更直观：
- 用 constexpr 函数替代类模板特化：比如阶乘、斐波那契，直接写递归constexpr函数，编译器自动常量折叠
- 避免过度依赖
template这类老式写法，除非需配合SFINAE或类型推导struct fact { static constexpr int value = N * fact ::value; }; - 注意：constexpr函数中不能调用非constexpr函数，也不能有未定义行为（如除零），否则编译失败而非静默降级
类型计算与 trait 构建技巧
编译期类型操作是TMP最常用场景。标准库提供
- 用 std::void_t + SFINAE探测成员：通过别名模板+decltype(SFINAE)判断某类型是否有
serialize()成员函数 - 结合 if constexpr做分支：在函数模板内根据类型属性选择不同实现路径，避免重载或特化爆炸
- 利用 using alias template简化嵌套类型：如
template，比struct wrapper更轻量using value_type_t = typename T::value_type;
参数包展开与编译期容器模拟
变参模板（parameter pack）配合折叠表达式（C++17），可高效处理任意长度类型/值序列，模拟编译期list、tuple遍历、索引生成等：
- 用
(args + ...)或(args && ...)实现编译期sum或all_true逻辑 - 借助 index_sequence展开参数包：如将
make_tuple(1, "hello", 3.14)内部转为make_tuple_impl(std::index_sequence{})，再用std::get(args)...逐个访问 - 避免手动递归展开：C++17后优先用折叠+lambda捕获，比写多个偏特化模板更简洁、易读、易调试
编译期断言与错误信息优化
TMP出错时编译器报错往往冗长难懂。主动控制错误提示，能极大提升协作与维护效率：
- 用 static_assert配合constexpr条件，在关键节点拦截非法使用，如
static_assert(std::is_integral_v, "T must be integral") - 结合 concepts（C++20）替代SFINAE约束：语义清晰、错误信息友好，例如
template<:integral t> void foo(T); - 对复杂trait，封装成命名概念（named concept）或提供
is_valid_v<...>变量模板，便于外部调试和组合
不复杂但容易忽略：模板元编程不是炫技工具，而是为解决具体问题服务——比如避免虚函数调用开销、实现类型安全的配置系统、生成最优SIMD指令路径。从constexpr开始，逐步叠加类型trait和参数包，比一上来就啃boost::mpl更可持续。
