c++的if constexpr和普通if有什么本质区别？ (编译期分支)

if constexpr 的分支必须在编译期可判定，编译器在模板实例化时丢弃不满足条件的分支代码，且该分支不参与名称查找和语义分析；仅可用于模板或constexpr函数内部。

if constexpr 的分支必须在编译期可判定

普通 if 是运行时分支，条件表达式在程序执行时求值；if constexpr 要求条件必须是常量表达式（constexpr），编译器在模板实例化阶段就决定走哪个分支，并**彻底丢弃不满足条件的分支代码**。这意味着被丢弃分支里的语法错误、未定义行为、甚至不存在的类型或函数调用，都不会导致编译失败。

被丢弃分支里的代码不参与名称查找和语义分析

这是最易踩坑的一点：如果某个分支里引用了仅在特定模板参数下才存在的成员函数或类型，只要该分支被 if constexpr 丢弃，就不会报错。而普通 if 下，所有分支都参与编译，哪怕永远走不到，也会检查语法和符号可见性。

常见错误现象：

• 写 if constexpr (std::is_same_v) { x.foo(); }，但 T 是 double 时，x.foo() 不会被检查 —— 即使 x 根本没有 foo 成员
• 误以为 if constexpr 能“延迟解析”非模板上下文中的非法代码（不能，它只在模板中生效）

只能出现在模板（或 constexpr 函数）内部

if constexpr 不是万能的编译期开关。它只能用于依赖模板参数的上下文中，否则编译器会报错：

立即学习“C++免费学习笔记（深入）”；

template
void f() {
    if constexpr (true) { /* OK */ }
}
void g() {
    if constexpr (true) { /* error: not in a template */ }
}

使用场景限制：

• 替代部分 std::enable_if_t SFINAE 技巧，让分支逻辑更直观
• 在泛型容器中根据 T 是否支持 operator 决定是否启用日志输出路径
• 避免为 void* 或内置类型生成无意义的拷贝构造逻辑

和普通 if 混用时要注意作用域与求值时机

两者可以嵌套，但关键区别在于：普通 if 的条件仍会在运行时求值，即使它在 if constexpr 分支内；而 if constexpr 分支内的变量声明，只在该分支被选中时才存在。

template
void h() {
    if constexpr (std::is_integral_v) {
        T value = 42; // 这个变量只在 integral 分支中存在
        if (value > 10) { /* 运行时判断 */ }
    } else {
        // value 不可见
    }
    // value 在此处不可见，不管 T 是什么
}

容易忽略的点：一旦离开 if constexpr 分支，其内部定义的变量、using 声明、甚至 static_assert 都不再起作用 —— 它们不是被“跳过”，而是根本没被编译器看到。