if constexpr 不能替代运行时 if，因为它仅在编译期求值且要求条件为常量表达式；false 分支代码需语法正确但不必语义可达，若其中含非法操作（如对 int 调用 size()）且未被恰当隔离，则导致编译错误。
if constexpr 为什么不能替代运行时 if
它只在编译期求值，且要求条件必须是常量表达式；一旦条件为 false，对应分支的代码必须语法正确，但**不必语义可达**——比如里面调用了仅对某类型存在的成员函数，只要该分支不被选中，编译器就直接丢弃它，不报错。
常见错误现象：error: no member named 'size' in 'int'，发生在你写了 if constexpr (std::is_same_v，但忘了加 else 分支里对 int 的处理逻辑——其实不用写，但如果你在 else 里也写了 x.size()，而 T 是 int，那就炸了。
- 使用场景：模板函数内根据类型特征启用/禁用某段逻辑，比如序列化时对
std::vector调用data()，对std::array直接取地址 - 参数差异：
if constexpr后面的条件必须能被编译器在实例化时判定为true或false，constexpr bool b = some_runtime_value;不行，constexpr bool b = std::is_pointer_v可以; - 性能影响：零开销——被丢弃的分支不生成任何指令，也不参与 SFINAE，比
std::enable_if更干净
怎么写才不会触发“分支内代码不可实例化”错误
核心原则：每个分支内部，所有表达式都得对当前模板参数“看起来合法”，哪怕实际上不会执行。编译器会尝试解析整个分支体，只是跳过代码生成。
典型翻车点：std::declval 放在 false 分支里，但 T 根本没有这个方法——编译失败，不是运行时报错。
立即学习“C++免费学习笔记（深入）”；
- 安全写法：用
decltype+std::declval检查成员是否存在，再套一层if constexpr，例如：if constexpr (has_size_v) { x.size(); } - 更简单做法：把敏感操作包进另一个 constexpr 函数里，让函数体延迟到实例化时才检查，比如封装成
get_data_if_contiguous(x) - 别在
if constexpr分支里写static_assert(false, "...")，这会让整个分支变无效；真要断言，放在分支开头、且条件明确为false时再触发
和 SFINAE、std::enable_if 比有什么实际区别
if constexpr 是控制语句，SFINAE 是模板匹配机制——前者管“代码走不走”，后者管“这个模板实参能不能匹配上”。它们解决的问题层面不同，但经常被拿来对比，因为都能实现“按类型分路径”。
容易踩的坑：试图用 if constexpr 替代 std::enable_if 做重载决议，结果发现函数签名一样，编译器根本分不清该调哪个。
- 使用场景选型：要做函数重载选型（比如
foo(T)和foo(std::vector），用) std::enable_if或 C++20requires；要在单个函数体内切逻辑，用if constexpr - 兼容性影响：C++17 起支持
if constexpr，老项目如果还在用 C++14，就得退回到std::enable_if+ 偏特化 - 可读性差异：一个函数里嵌套三层
if constexpr，比拆成三个带requires约束的函数更难 debug——因为所有分支都在同一个符号里，堆栈和断点行为不直观
constexpr if 在模板递归里怎么避免无限展开
它本身不展开递归，但人容易误用：比如写了个 if constexpr (N > 0) 然后调用自身 process，却忘了给 N == 0 写终止分支，或者终止分支没用 if constexpr 包住，导致编译器继续实例化 process()。
错误信息通常是：fatal error: template instantiation depth exceeds maximum of 900（clang/gcc 默认限制）。
- 必须确保至少一个分支是“非模板递归”的终点，且该分支由
if constexpr明确覆盖，例如：if constexpr (N == 0) { return; }，而不是靠else模糊兜底 - 别依赖运行时值做递归终止判断，比如
if constexpr (some_global_flag)—— 它不是常量表达式，编译不过 - 调试技巧：在递归调用前加
static_assert(N >= 0, "N must not be negative");，比等爆栈更快定位问题
