if constexpr 能消除模板分支开销，因其在编译期裁剪false分支，不生成代码、无运行时判断、避免未定义行为；条件必须是字面量常量表达式，否则退化为普通if。
if constexpr 为什么能消除模板分支开销
普通 if 在运行时求值，编译器必须为所有分支生成代码，即使某分支在逻辑上永不执行；而 if constexpr 要求条件必须是常量表达式，编译器在实例化模板时就决定只保留 true 分支（false 分支被彻底丢弃，不参与 SFINAE，也不生成任何指令）。这意味着：没有运行时判断、没有未使用分支的二进制膨胀、也没有潜在的未定义行为（比如对 T* 解引用空指针的分支，只要被 if constexpr 剪掉，就完全不检查）。
必须确保条件是字面量常量表达式，否则退化为普通 if
常见错误是把依赖模板参数但非字面量的表达式直接塞进 if constexpr 条件，比如 sizeof(T) > 4 没问题，但 T::value > 0 就可能失败——如果 T::value 不是 constexpr static 或未被定义，编译会报错；更隐蔽的是用函数调用（哪怕该函数是 constexpr），若其参数不是编译期已知，整个条件就不是常量表达式，此时编译器会静默降级为普通 if，分支代码全保留。
- ✅ 正确：
if constexpr (std::is_pointer_v<t>)</t>、if constexpr (N == 0) - ❌ 错误：
if constexpr (some_runtime_flag)（变量非 constexpr）、if constexpr (f(x))（x非编译期常量） - ⚠️ 注意：
if constexpr (std::is_same_v<t int>)</t>安全，但if constexpr (T::static_member)要求该成员存在且是constexpr
和 enable_if / SFINAE 相比，代码更线性，但语义不同
if constexpr 是分支裁剪，整个函数体仍是一个重载候选；而 std::enable_if 是让函数模板根本无法参与重载决议。这意味着：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 当需要完全排除某个函数（比如避免重载冲突或满足概念约束），仍得用
enable_if或 C++20requires - 当只是想在单个函数内根据类型做不同处理（如对
std::string调用.c_str()，对const char*直接转发），if constexpr更简洁，且不会增加重载集大小 - 性能上无差别——两者都消灭了无效代码；但
if constexpr的错误信息通常更清晰（失败分支不参与解析，不会触发“no matching function”类模糊提示）
嵌套 if constexpr 和 constexpr lambda 的组合要小心求值时机
多层 if constexpr 没问题，但一旦混入 constexpr lambda，要注意 lambda 本身是否被立即调用：只有被立即调用（[]() constexpr { return ... }()）才能保证结果是常量表达式；否则 lambda 对象只是类型，不能作为 if constexpr 条件。另外，if constexpr 内部声明的变量作用域仅限该分支，跨分支访问会编译失败——这不是 bug，是设计使然，强迫你明确每个分支的独立性。
立即学习“C++免费学习笔记（深入）”；
容易被忽略的一点：模板参数包展开中用 if constexpr（比如 fold expression + 分支逻辑）时，每个参数的分支判断是独立进行的，但整个表达式仍需满足常量上下文；若任一参数导致条件非字面量，整条语句失效。
