if constexpr 是c++17引入的编译期分支机制，条件必须为常量表达式，未选中分支不参与实例化；普通if是运行时分支，两分支均需通过编译检查。
if constexpr 是什么，和普通 if 有什么本质区别
if constexpr 是 C++17 引入的编译期分支机制，它要求条件必须是常量表达式（constexpr），且**整个分支在编译期就被决定是否参与实例化**。普通 if 是运行时行为，两个分支都得能通过语法和语义检查；而 if constexpr 的“死分支”（未被选中的分支）**根本不会被编译器实例化**——这意味着里面哪怕写了非法类型、不存在的成员或未定义的模板特化，只要不被选中，就完全不会报错。
什么时候必须用 if constexpr，而不是 SFINAE 或重载
当你需要在模板内部根据某个编译期条件，**有条件地访问类型成员、调用函数、或展开不同逻辑路径，且这些操作在另一条件下根本不合法**时，if constexpr 最直接。比如判断一个类型是否有 value_type，或者是否支持 operator[]，再或者是否为指针类型并做解引用处理。
- 如果用函数重载 +
std::enable_if_t，要写多个函数声明，容易分散逻辑 - 如果用 SFINAE 在单个函数内写一堆
decltype推导，可读性差，错误信息也难懂 -
if constexpr把判断和动作写在一起，结构清晰，且只对当前作用域生效，不污染重载集
常见错误：把非字面量或非 constexpr 表达式当条件
最典型的错误是把运行时变量、非常量的模板参数（如未加 constexpr 修饰的非类型模板参数）、或调用了非常量函数的结果，塞进 if constexpr 条件里，导致编译失败，报错类似：Error: non-type template argument is not a constant expression 或 error: 'xxx' is not a constant expression。
- 模板参数本身是
constexpr的（如template中的N），但若来自用户传入的非常量值（比如函数参数），就不能直接用 - 类模板参数如果是类型，不能直接用于
if constexpr判断；要用std::is_same_v这类constexprtrait - 调用自定义函数作条件？该函数必须显式标记为
constexpr，且所有路径都满足 constexpr 约束
示例错误写法：if constexpr (x > 0)（x 是函数形参）；正确写法：if constexpr (N > 0)（N 是模板非类型参数）或 if constexpr (std::is_pointer_v。
立即学习“C++免费学习笔记（深入）”；
性能与兼容性要注意的点
if constexpr 不产生任何运行时开销——它纯粹是编译器在实例化模板时的“剪枝”工具。但它不是万能的：C++17 才开始支持，旧项目若需兼容 C++14 或更早，就得退回到 SFINAE 或 tag dispatch；另外，某些老版本编译器（如 GCC 7.2 之前、MSVC 15.3 之前）对嵌套模板中 if constexpr 的支持有 bug，可能漏删死代码或误报错。
- Clang 5+、GCC 7+、MSVC 15.3+ 基本可靠，但建议在 CI 中固定最低编译器版本测试
- 不要指望它优化掉带副作用的 constexpr 函数调用——即使分支被剪掉，只要该函数出现在死分支里且未被实例化，副作用就不会发生；但如果函数被意外实例化（比如条件写错），副作用就真会执行
- 注意和
static_assert配合：在死分支里放static_assert(false)不会触发，这是验证“是否真的被剪掉”的常用技巧
真正难的不是写对语法，而是想清楚哪些逻辑必须在编译期切分、哪些类型组合会导致成员访问非法——这得靠对模板实参空间和类型契约的准确预判。