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></t></typename>
这段代码根本过不了编译：*t 对 int 类型非法，t + 1 对 std::string* 也非法。错误提示通常是类似 invalid operands to binary expression 的类型错误。
- 普通
if的每个分支都参与语义分析，哪怕你只打算传int* - 模板实例化时，编译器必须能为所有可能的
T构造出合法函数体 - 这不是“执行路径问题”，是“代码存在即需检查”
if constexpr 只实例化选中的分支
if constexpr 的条件必须是常量表达式（如 std::is_integral_v<t></t>、sizeof(T) > 4），编译器在实例化时直接决定哪段代码进最终产物，另一段被彻底丢弃：
template<typename t>
auto get_value(T t) {
if constexpr (std::is_pointer_v<t>) {
return *t; // 仅当 T 是指针时，这行才存在
} else {
return t + 1; // 仅当 T 不是指针时，这行才存在
}
}</t></typename>
调用 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 ) {
std::cout ) {
std::cout
<ul>
<li>分支之间是互斥的，第一个为 <code>true</code> 的 <code>if constexpr</code> 就终止后续判断</li>
<li>最后一个 <code>else</code> 不带 <code>constexpr</code>，它兜底所有未被前面分支捕获的情况</li>
<li>不要写成多个独立的 <code>if constexpr</code>，否则可能多个分支都被实例化（如果条件不互斥）</li>
</ul>
<h3>什么时候坚决不能用 if constexpr</h3>
<p><code>if constexpr</code> 的边界非常清晰：它只适用于编译期已知的条件。一旦涉及运行时值，就必须退回普通 <code>if</code>：</p>
<ul>
<li>
<code>int x = read_from_file(); if constexpr (x > 0)</code> → 错误，<code>x</code> 不是常量表达式</li>
<li>
<code>if constexpr (std::cin.get() == 'y')</code> → 错误，I/O 是运行时行为</li>
<li>需要根据用户输入、网络响应、容器 size() 结果做分支 → 只能用普通 <code>if</code>
</li>
<li>想在函数内部根据局部变量做编译期分支？不行——变量生命周期和求值时机不满足 constexpr 要求</li>
</ul>
<p>最容易忽略的一点是：<code>if constexpr</code> 的“编译期剔除”只发生在模板实例化阶段。如果你在一个非模板函数里写 <code>if constexpr (true)</code>，它就退化成普通 <code>if</code>（C++20 允许，但失去意义），此时分支仍全部参与编译检查。真正发挥价值的地方，永远是模板 + 类型特征的组合。</p></t></typename>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
