if constexpr 用于编译期分支选择，仅实例化满足条件的代码分支，避免模板特化与 enable_if 的复杂性；条件必须为字面量常量表达式，且不匹配分支需语法合法。
能用 if constexpr 的地方，就别用模板特化或 enable_if——它更直白、更易读、更少出错。
什么时候必须写 if constexpr 而不是普通 if
普通 if 在编译期无法丢弃分支，所有分支代码都得能通过语法和语义检查；if constexpr 则只实例化满足条件的分支，另一支直接被编译器“无视”。典型场景是：对不同类型的模板参数做差异化逻辑，且某些分支里调用了该类型才有的成员函数或操作符。
- 比如你写一个泛型打印函数，想对
std::string调用.c_str()，但对int直接输出——不用if constexpr，int分支里写.c_str()会编译失败 - 再比如在
constexpr函数里做类型判断，普通if不允许出现非constexpr表达式（如typeid或运行时dynamic_cast），而if constexpr允许你在编译期分支中写任意代码（只要该分支不被选中）
if constexpr 的条件表达式必须是字面量常量表达式
也就是说，条件里不能出现非常量变量、运行时输入、未初始化的 constexpr 变量，甚至不能是依赖于模板参数但尚未推导完成的表达式。编译器得在实例化那一刻就能算出 true/false。
- ✅ 正确：
if constexpr (std::is_same_v<t int>)</t>、if constexpr (N > 0)（N是非类型模板参数） - ❌ 错误：
if constexpr (x > 0)（x是函数参数）、if constexpr (sizeof(T) == 4)（虽然sizeof是常量表达式，但某些旧编译器可能报错，建议改用std::is_same_v等标准 trait） - ⚠️ 容易忽略：如果条件表达式本身不合法（比如访问了未定义的别名），即使分支没被选中，有些编译器（尤其是 MSVC 早期版本）仍可能报错——这不是标准行为，但实际开发中得防着点
嵌套 if constexpr 和 else if constexpr 的写法差异
多个编译期分支推荐用链式 else if constexpr，而不是嵌套。前者更扁平、可读性更好，也避免因括号或作用域引发的歧义。
立即学习“C++免费学习笔记（深入）”；
template<typename T>
auto get_value(T t) {
if constexpr (std::is_pointer_v<T>) {
return *t;
} else if constexpr (std::is_integral_v<T>) {
return static_cast<long long>(t);
} else {
return t;
}
}
- 注意：没有
else constexpr，只有else；else分支也会参与编译，所以里面写的代码必须对所有未覆盖的T都合法 - 如果漏写
else，且所有constexpr分支都不匹配，编译器会报错：“control reaches end of constexpr function”——这是常见疏忽 - 不要在
if constexpr外层再套一层普通if去“兜底”，那会破坏编译期决策意图，还可能引入运行时开销
和 SFINAE、std::enable_if 比，if constexpr 的实际限制
它解决的是“分支内代码合法性”，不是“函数是否参与重载决议”。所以如果你需要根据类型是否存在某个成员来决定整个函数要不要参与重载（比如实现 has_begin trait），if constexpr 无能为力，还得靠 SFINAE 或 C++20 的 requires。
- ✅ 适合：
if constexpr用于同一函数体内按类型分路径执行 - ❌ 不适合：用它替代
std::enable_if_t<...> = 0</...>来控制函数模板是否生成重载候选 - ⚠️ 性能上无区别：两者都零运行时成本；但
if constexpr更易调试——编译错误定位更准，IDE 也更容易高亮当前活跃分支
真正容易卡住人的，往往不是语法怎么写，而是没想清楚：这个判断，到底该发生在编译期（选 if constexpr 或 requires），还是该交给运行时（用 if + typeid 或虚函数）。混用或错估阶段，比写错括号麻烦得多。
