if constexpr是c++17的编译期分支机制，条件为false时分支被完全裁剪，不参与语法检查与实例化；它替代sfinae使类型分发更简洁，但要求false分支语法合法，且不支持逻辑短路。
if constexpr在C++17中的基本行为
if constexpr不是运行时分支，而是编译期裁剪：条件为false的分支会被完全丢弃，不参与语法检查、实例化或代码生成。这和传统if有本质区别——后者两个分支都必须能通过编译，哪怕永远不会执行。
典型误用是把它当普通if写，比如在false分支里放一个仅对某类型合法的表达式，结果编译失败。正确做法是确保false分支里的代码本身语法合法（哪怕不参与实例化），或者用它隔离掉根本不会被看到的类型操作。
替代SFINAE和std::enable_if的常见场景
过去要根据类型特征启用/禁用函数模板，得靠std::enable_if加SFINAE，写法冗长且错误信息难读。用if constexpr后逻辑更直白，也更容易调试。
- 判断是否为指针：
if constexpr (std::is_pointer_v<t>) { /* 处理指针 */ }</t> - 区分算术类型和自定义类：
if constexpr (std::is_arithmetic_v<t>) { return t + t; } else { return t.duplicate(); }</t> - 避免对void类型调用
.size()：if constexpr (!std::is_same_v<t void>) { std::cout </t>
和constexpr if混用时的陷阱
最常踩的坑是把运行时变量直接塞进if constexpr条件——它只接受字面量常量表达式（ICE），比如if constexpr (n > 0)中n必须是constexpr int，不能是函数参数或普通局部变量。
另一个容易忽略的是模板参数推导上下文：在函数模板内部，if constexpr可以访问所有模板参数，但若嵌套在lambda里，需确认lambda是否为constexpr，否则无法捕获模板参数用于编译期判断。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
还有就是短路问题：if constexpr不支持逻辑短路，比如if constexpr (A && B)中，即使A为false，B仍会被求值（只要它是常量表达式）；而运行时&&会跳过B。
性能与实例化开销的实际影响
if constexpr本身不产生运行时开销，但它会影响模板实例化数量。比如在一个泛型函数里用它分三路处理int、std::string、其余类型，编译器只会为实际传入的类型实例化对应分支的代码，其余分支不生成任何指令。
但要注意：如果分支里调用了另一个模板函数，而该函数又依赖当前类型的完整定义，那么即便分支被裁剪，也可能触发隐式实例化失败——因为编译器在解析阶段仍需确认整个if constexpr块语法合法，此时未定义的类型成员仍可能报错。
真正省事的地方在于，你不用再为每个特化写一堆template struct xxx<t> {}</t>，一个函数体里用几行if constexpr就能覆盖多数分支逻辑，尤其适合“小差异大共性”的场景。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
