if constexpr 是 C++17 引入的编译期分支机制，条件为字面量常量表达式时，不满足的分支被完全丢弃，不参与语法检查、类型解析和模板实例化，适用于替代 SFINAE、类型分发与优化等场景。
if constexpr 是 C++17 引入的关键特性，用于在编译期对常量表达式做分支判断。它不是运行时的 if 语句，而是一种“模板元编程的简化语法”——编译器会直接丢弃不满足条件的分支代码，不参与后续编译（包括语法检查、类型解析、实例化等），从而避免非法代码导致的编译错误。
核心机制：分支代码真正被“删除”
普通 if 在编译期无法跳过语法错误；而 if constexpr 的 false 分支会被完全忽略：
- 不检查其中的语法是否合法（比如调用不存在的成员函数）
- 不触发模板参数推导或特化实例化
- 不计算其中的 constexpr 表达式（即使有副作用，也无影响）
例如：
templateauto get_value(T t) {
if constexpr (std::is_pointer_v
return *t; // 只有 T 是指针时才要求支持 * 操作
} else {
return t + 1; // T 非指针时才要求支持 +
}
}
适用场景：替代繁琐的 SFINAE 和重载
过去需用 enable_if 或多个函数重载实现的编译期分发，现在可统一写在一个函数内：
立即学习“C++免费学习笔记（深入）”；
- 根据类型特征（如是否为容器、是否支持迭代器、是否有某个成员）选择不同逻辑
- 处理不同整数宽度（int32_t vs int64_t）的序列化路径
- 在泛型算法中为 trivially_copyable 类型启用 memcpy 优化
使用限制与注意事项
if constexpr 的条件必须是字面量常量表达式（literal constant expression），且只能出现在函数模板（或 constexpr 函数）体内：
- 不能用于命名空间作用域或类定义体外的非模板函数
- 条件中不能依赖非 constexpr 变量（哪怕该变量实际值是常量）
- else 分支可选；若无 else 且条件为 false，该分支直接消失（不报错）
- 嵌套 if constexpr 是合法的，各层独立裁剪
和 static_assert 的配合使用
当需要确保至少一个分支成立，又不想让所有分支都“悬空”，可在末尾加 static_assert：
if constexpr (A) { ... }else if constexpr (B) { ... }
else { static_assert(sizeof(T) == 0, "T 不支持的类型"); }
这样既利用了分支裁剪，又保证了未覆盖情况有清晰报错。
