constexpr if 必须用于模板函数或类内部，是专为模板元编程设计的编译期分支机制；非模板上下文中使用会报错，未选中分支不参与语义分析，且各分支类型可不同。
constexpr if 必须用在模板函数或类内部
它不是普通 if 的编译期加速版，而是专为模板元编程设计的分支机制。离开模板上下文直接写 constexpr if 会报错，比如在普通函数里用就触发 error: 'if' with constexpr condition must be used inside a template。
典型场景是根据类型特征做不同实现，比如对 std::is_integral_v<t></t> 分支处理整数和浮点数：
template<typename T>
auto get_value(T t) {
if constexpr (std::is_integral_v<T>) {
return t * 2; // 编译期只保留这一支
} else {
return t + 0.5; // 非整数类型才参与编译
}
}- 分支中未被选中的代码**不参与语义分析**：哪怕写了
std::string::nonexistent()，只要没进那条分支，就不会报错 - 所有分支的类型不必一致，返回类型由实际走通的分支决定（C++17 要求同一函数所有
constexpr if分支返回类型可统一推导） - 不能单独拎出来当“编译期断言”用——想检查条件是否成立，该用
static_assert
else if 和嵌套 constexpr if 的写法要小心
constexpr if 支持 else if 链，但每个 else if 都必须带 constexpr，漏写一个就会变成运行时分支，破坏编译期逻辑。
比如下面这段看似连续的判断，第二行少了 constexpr 就出问题：
立即学习“C++免费学习笔记（深入）”；
if constexpr (std::is_same_v<T, int>) {
// ...
} else if (std::is_same_v<T, long>) { // ❌ 这里不是 constexpr if！编译器不会跳过后续分支的实例化
// ...
}- 嵌套时，内层
constexpr if依然只在模板实例化时展开，不会提前求值 - 多个并列的
if constexpr不构成“互斥”，它们各自独立判断，不像传统 if-else 那样短路 - 推荐把最具体的条件放前面，避免因类型匹配顺序导致意外走通低优先级分支
和 SFINAE、enable_if 比起来省事在哪
以前要按类型分发行为，得靠函数重载 + std::enable_if，模板参数列表又长又容易写错；现在用 constexpr if 把逻辑压平到一个函数体里，可读性高很多。
比如实现一个安全的 to_string：对字符串类型直接返回，对数值类型调用 std::to_string，其它类型静态断言：
template<typename T>
std::string safe_to_string(const T& t) {
if constexpr (std::is_same_v<T, std::string>) {
return t;
} else if constexpr (std::is_arithmetic_v<T>) {
return std::to_string(t);
} else {
static_assert(std::is_arithmetic_v<T> || std::is_same_v<T, std::string>,
"safe_to_string only supports arithmetic types and std::string");
return {}; // unreachable, but needed for compilation
}
}- 不用再为每种类型写一个重载函数，也不用担心 ADL 或重载解析失败
- 错误信息更直接：
static_assert在分支里，失败时能准确定位到哪一行 - 注意：
std::to_string不支持long double，如果模板实参是它，即使进了 arithmetic 分支也会编译失败——constexpr if不解决底层函数的限制
常见误用：当成编译期 if constexpr(true) 来屏蔽代码
有人试图用 if constexpr (false) 包裹一段暂时不想编译的代码，以为能像注释一样“隐身”。这其实危险：只要里面语法合法，编译器仍会进行名字查找和基础语义检查（比如模板参数是否存在），只是不深入实例化。
- 如果被包裹的代码引用了当前作用域外的未声明变量，照样报错
- 若包含依赖模板参数的类型，而该参数在当前实例化中不可见，也会失败
- 真想临时禁用，用
#if 0更稳妥；想做条件编译，该用预处理器宏配合__cpp_constexpr_if - 真正适合
if constexpr (false)的，是那些“语法正确但逻辑上不该执行”的补丁式分支，比如为未来标准预留接口
它的价值不在绕过编译，而在让模板分支逻辑变得线性、局部、易维护——但前提是理解它只活在模板实例化的那一瞬间。
