if constexpr是C++17引入的编译期分支机制，仅使满足条件的分支参与编译，用于安全高效实现泛型逻辑分支，必须在函数模板或constexpr函数中使用常量表达式条件。

if constexpr 是 C++17 引入的关键特性，用于在编译期根据常量表达式做分支判断，只让满足条件的分支参与编译，不满足的分支会被完全丢弃（不检查语法、不实例化模板、不触发 SFINAE 错误）。它不是运行时 if，而是“编译期 if”，核心价值在于安全、高效地实现泛型逻辑分支。

什么时候必须用 if constexpr

当分支中包含仅对特定类型合法的操作时，普通 if 会因编译器尝试实例化所有分支而报错；而 if constexpr 可避免此问题：

• 调用某个类型才有的成员函数（如 T::size() 只对容器有效）
• 访问只有部分特化才定义的嵌套类型（如 T::value_type）
• 实例化仅对某些类型有意义的模板（如 std::to_string(x) 对自定义类型可能未定义）
• 避免在不支持的类型上触发 static_assert 或未定义行为

基本语法与使用规则

形式和普通 if 几乎一样，但条件必须是常量表达式（编译期可求值），且只能出现在函数模板（或 constexpr 函数）体内：

注意：
– 每个 constexpr 分支的条件必须是字面量常量表达式（如 std::is_integral_v）；
– 非 constexpr 分支（即 else 后无 constexpr 的那个）是可选的，但最多只能有一个；
– 编译器会逐个检查 if constexpr 分支，一旦命中就忽略后续所有分支（包括 else）。

和模板特化、SFINAE 的对比

过去常用模板特化或 enable_if 实现类似效果，但代码分散、维护成本高。if constexpr 更直观、集中、易读：

• 无需声明多个函数重载或特化版本，逻辑写在一个函数里
• 不会因“被丢弃分支中的错误”导致编译失败（普通 if 会检查所有分支）
• 不依赖参数推导上下文，适用范围更广（比如可用于非模板函数内的 constexpr 值判断）
• 配合 constexpr if 可自然实现递归展开、元编程循环等高级技巧

典型实用场景示例

1. 安全访问容器 size（避免对非容器类型调用 .size()）

2. 根据类型选择序列化方式

其中 has_size_method_v 可用检测 TS 或简单的 void_t 检测器实现，确保判断本身也是编译期完成。