if constexpr 是编译期分支机制，仅实例化满足条件的代码分支；普通 if 是运行期跳过，但所有分支均需通过编译检查。
if constexpr 不是普通 if 的升级版，它是完全不同的机制：一个在编译期剔除代码，一个在运行期跳过执行。 用错地方不仅没效果，还会直接编译失败。
模板里写普通 if 会炸，因为所有分支都得能编译
普通 if 在模板中是“假跳过”——编译器不管逻辑上走不走得通，函数体里每一行都得语法合法、类型可解析。比如：
template<typename T>
auto get_value(T t) {
if (std::is_pointer_v<T>) { // 运行时判断？但 T 是模板参数，std::is_pointer_v<T> 是 constexpr，这里其实不能直接用！
return *t; // 非指针类型实例化时，*t 根本不合法
} else {
return t + 1;
}
}
这段代码根本过不了编译：*t 对 int 类型非法，t + 1 对 std::string* 也非法。错误提示通常是类似 invalid operands to binary expression 的类型错误。
- 普通
if的每个分支都参与语义分析，哪怕你只打算传int* - 模板实例化时，编译器必须能为所有可能的
T构造出合法函数体 - 这不是“执行路径问题”，是“代码存在即需检查”
if constexpr 只实例化选中的分支
if constexpr 的条件必须是常量表达式（如 std::is_integral_v<T>、sizeof(T) > 4），编译器在实例化时直接决定哪段代码进最终产物，另一段被彻底丢弃：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
auto get_value(T t) {
if constexpr (std::is_pointer_v<T>) {
return *t; // 仅当 T 是指针时，这行才存在
} else {
return t + 1; // 仅当 T 不是指针时，这行才存在
}
}
调用 get_value(42) 时，*t 分支不会出现在 AST 中，连语法检查都不做；调用 get_value(new int{5}) 时，t + 1 分支同理消失。
- 未选中分支里的非法操作（如不存在的成员、错误的运算符）完全不影响编译
- 生成的目标代码只含一个分支，无运行时判断开销
- 不能写
int x = 42; if constexpr (x == 42)——x不是constexpr，报错non-type template argument is not a constant expression
嵌套 if constexpr 和 else if constexpr 的写法差异
多个条件判断时，else if constexpr 是合法且推荐的写法，但注意：每个 else if constexpr 的条件仍需独立为常量表达式，且顺序影响匹配结果：
template<typename T>
void log_type(T) {
if constexpr (std::is_integral_v<T>) {
std::cout << "integral\n";
} else if constexpr (std::is_floating_point_v<T>) {
std::cout << "floating\n";
} else if constexpr (std::is_pointer_v<T>) {
std::cout << "pointer\n";
} else {
std::cout << "other\n";
}
}
- 分支之间是互斥的，第一个为
true的if constexpr就终止后续判断 - 最后一个
else不带constexpr，它兜底所有未被前面分支捕获的情况 - 不要写成多个独立的
if constexpr，否则可能多个分支都被实例化（如果条件不互斥）
什么时候坚决不能用 if constexpr
if constexpr 的边界非常清晰：它只适用于编译期已知的条件。一旦涉及运行时值，就必须退回普通 if：
-
int x = read_from_file(); if constexpr (x > 0)→ 错误，x不是常量表达式 -
if constexpr (std::cin.get() == 'y')→ 错误，I/O 是运行时行为 - 需要根据用户输入、网络响应、容器 size() 结果做分支 → 只能用普通
if - 想在函数内部根据局部变量做编译期分支？不行——变量生命周期和求值时机不满足 constexpr 要求
最容易忽略的一点是：if constexpr 的“编译期剔除”只发生在模板实例化阶段。如果你在一个非模板函数里写 if constexpr (true)，它就退化成普通 if（C++20 允许，但失去意义），此时分支仍全部参与编译检查。真正发挥价值的地方，永远是模板 + 类型特征的组合。
