if constexpr 是编译期分支，条件必须为常量表达式，未选中分支被彻底丢弃；普通 if 是运行期分支，两分支均参与编译且需语法合法。
if constexpr 是编译期分支，普通 if 是运行期分支
根本区别在于：if constexpr 的条件必须是常量表达式，编译器会在编译阶段就决定走哪个分支，并**彻底丢弃未选中的分支代码**；而普通 if 的条件在运行时求值，两个分支的代码都会参与编译（即使逻辑上永远不会执行），只要语法/类型合法就得能通过编译。
未选中分支里的非法代码不会报错（仅限 if constexpr）
这是最典型的实操差异点。比如模板中根据类型做不同处理时：
template<typename T>
auto get_value(T&& t) {
if constexpr (std::is_pointer_v<T>) {
return *t; // 对指针解引用
} else {
return t + 1; // 对非指针加 1（比如 int）
}
}
若用普通 if 替换 if constexpr，当 T 是 int 时，*t 这一行会编译失败——因为 int 不支持解引用；而 if constexpr 下，该分支被完全剥离，不参与编译检查。
-
if constexpr分支内可以写依赖于模板参数的非法操作（只要该分支不被选中） - 普通
if要求所有分支都语法正确、类型可解析，哪怕永远不执行 - 这使得
if constexpr成为替代部分std::enable_if或重载的更简洁手段
constexpr 分支不能捕获运行时变量，且要求条件为字面量常量表达式
if constexpr 的条件必须在编译期可求值，因此不能含运行时信息：
立即学习“C++免费学习笔记（深入）”；
- 允许：
if constexpr (sizeof(T) > 4)、if constexpr (std::is_same_v<T, int>) - 禁止：
int x = 42; if constexpr (x == 42)（x非constexpr） - 禁止：
if constexpr (std::cin.get() == 'y')（I/O 是运行时行为） - 错误提示通常是：
non-type template argument is not a constant expression或类似
注意：C++20 起支持部分运行时上下文中的 if constexpr（如函数体内），但条件本身仍必须是常量表达式。
分支内定义的变量作用域与生命周期完全不同
if constexpr 的每个分支是独立的编译单元，变量不跨分支存在：
if constexpr (true) {
int x = 1;
} else {
int x = 2; // 合法：和上面的 x 无冲突
}
// 这里不能访问 x —— 两个 x 都只在各自分支作用域内，且已被编译器“删除”
而普通 if 的分支共享同一作用域（除非显式加 {}）：
if (true) {
int x = 1;
} else {
int x = 2; // 编译错误：redefinition of 'x'
}
更关键的是：普通 if 中声明的变量只要作用域可达就能访问；if constexpr 中声明的变量在分支外完全不可见——不是“没初始化”，而是“根本没生成符号”。
这个特性让 if constexpr 在元编程中能安全地构造类型别名、using 声明、甚至 static_assert，而不污染外层作用域或引发重复定义。
