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 函数）体内：
templateauto process(const T& x) {
if constexpr (std::is_integral_v
return x * 2;
} else if constexpr (std::is_floating_point_v
return x + 0.5;
} else {
return static_cast
}
}
注意：
– 每个 constexpr 分支的条件必须是字面量常量表达式（如 std::is_integral_v<t></t>）；
– 非 constexpr 分支（即 else 后无 constexpr 的那个）是可选的，但最多只能有一个；
– 编译器会逐个检查 if constexpr 分支，一旦命中就忽略后续所有分支（包括 else）。
立即学习“C++免费学习笔记（深入）”；
和模板特化、SFINAE 的对比
过去常用模板特化或 enable_if 实现类似效果，但代码分散、维护成本高。if constexpr 更直观、集中、易读：
- 无需声明多个函数重载或特化版本，逻辑写在一个函数里
- 不会因“被丢弃分支中的错误”导致编译失败（普通 if 会检查所有分支）
- 不依赖参数推导上下文，适用范围更广（比如可用于非模板函数内的 constexpr 值判断）
- 配合
constexpr if可自然实现递归展开、元编程循环等高级技巧
典型实用场景示例
1. 安全访问容器 size（避免对非容器类型调用 .size()）
templateauto get_size(const T& t) {
if constexpr (has_size_method_v
return t.size();
} else if constexpr (std::is_array_v
return std::extent_v
} else {
return static_cast
}
}
2. 根据类型选择序列化方式
templatevoid serialize(std::ostream& os, const T& val) {
if constexpr (std::is_arithmetic_v
os } else if constexpr (std::is_same_v
os } else {
os }
}
其中 has_size_method_v 可用检测 TS 或简单的 void_t 检测器实现，确保判断本身也是编译期完成。
