模板元编程本质是编译期计算，即通过类型推导、特化和递归实例化等机制静态推导类型与常量，而非生成源码；它要求所有非类型模板参数为编译期常量，依赖constexpr if、折叠表达式和constexpr函数实现高效、可读的编译期逻辑。
模板元编程本质是编译期计算，不是“生成代码”而是“推导类型和值”
很多人以为 template 能像宏或代码生成器那样吐出一堆函数或类定义——其实不能。C++ 模板元编程（TMP）是在编译期通过类型推导、特化、递归实例化等机制，让编译器“算出”某个类型或常量，最终参与类型检查或实例化。它不产生中间源码，也不修改 AST；你写的每个特化、每个 constexpr 计算，都必须能被编译器静态求值。
常见错误现象：error: non-type template argument is not a constant expression，往往是因为用了运行时才能确定的值当模板参数；或者递归过深导致编译器拒绝实例化（fatal error: template instantiation depth exceeds maximum）。
- 只接受字面量、
constexpr函数返回值、constexpr变量、枚举值等作为非类型模板参数 - 类模板偏特化和全特化必须覆盖所有可能的参数组合，否则匹配失败会回退到主模板（可能不符合预期）
- 用
std::integral_constant或自定义value成员比裸写static constexpr更易复用
用 constexpr if 替代 SFINAE 做编译期分支更直观
C++17 引入的 constexpr if 让编译期逻辑分支变得可读且安全。相比传统 SFINAE（靠模板参数替换失败来抑制重载），它直接在函数体内做条件判断，编译器只实例化满足条件的分支，未选中的分支甚至不用满足语法正确性。
使用场景：实现一个泛型容器的 push_back，对 std::string 做 move 优化，对 POD 类型做 memcpy 优化，其余走通用拷贝构造。
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void push_back(const T& x) {
if constexpr (std::is_same_v<T, std::string>) {
data_.emplace_back(std::move(const_cast<T&>(x)));
} else if constexpr (std::is_trivially_copyable_v<T>) {
::memcpy(&data_[size_], &x, sizeof(T));
++size_;
} else {
data_.emplace_back(x);
}
}
-
constexpr if必须出现在函数模板体内，不能用于命名空间作用域 - 条件表达式必须是编译期常量；
if constexpr(false)分支里的代码不会被编译，但语法仍需合法（比如不能有未声明变量） - 不要试图在
constexpr if外层套普通if——那会失去编译期裁剪能力
变参模板 + 折叠表达式是生成“一连串调用”的实际手段
所谓“生成代码”，最贴近现实的用法是展开参数包，批量调用、赋值、比较或构造。这不是生成新符号，而是让编译器为每个参数实例化一次操作。
常见错误现象：想用 for 循环遍历模板参数包——不行，参数包不是运行时容器；必须用递归模板或折叠表达式。
template<typename... Args>
void log_all(Args&&... args) {
((std::cout << args << " "), ...); // C++17 折叠表达式
}
- 左折叠
(expr ...)和右折叠(... expr)语义不同，注意结合律；对逗号运算符通常用左折叠 - 若需带副作用（如调用多个函数），确保各子表达式顺序无关，因为标准不保证折叠中求值顺序
- 配合
std::index_sequence可生成下标序列，用于数组索引或 tuple 遍历，避免手写递归
别硬刚复杂元编程：优先用 constexpr 函数 + consteval 替代深度模板嵌套
现代 C++（14/17/20）大幅降低了 TMP 门槛。constexpr 函数能在编译期执行常规逻辑（循环、分支、局部变量），而 consteval（C++20）强制函数只能在编译期求值。它们比写一堆嵌套模板特化更接近直觉，也更容易调试。
性能影响：简单 constexpr 函数几乎零开销；但若涉及大数组或深递归，可能拖慢编译速度，且某些编译器对复杂 constexpr 的支持仍有差异（如 MSVC 对 std::string 在 constexpr 上限制较多）。
- 避免在
constexpr函数里用new、虚函数、动态类型转换、异常处理 -
consteval函数调用必须全部在编译期上下文中（如模板非类型参数、static_assert表达式），否则编译失败 - 调试技巧：把 constexpr 函数单独提取，用
static_assert测试中间结果，比看模板实例化错误信息快得多
真正难的不是写出能编译的元代码，而是判断哪些逻辑**必须**放在编译期——比如依赖模板参数的数组大小、需要作为非类型参数传给其他模板、或触发特定特化的条件。其余大部分，用 constexpr 算清楚再进模板，反而更稳。
