if constexpr 是 C++17 引入的编译期条件分支，条件必须为常量表达式，仅保留 true 分支参与编译，被丢弃分支无需语法合法，专用于模板中避免非法代码。
if constexpr 是 C++17 引入的编译期条件分支，它和普通 if 的核心区别在于：前者在编译期求值并直接丢弃不满足分支的代码，后者在运行期执行、所有分支都必须语法正确且可实例化。
编译期 vs 运行期执行
普通 if 的条件在程序运行时才判断，两个分支都会参与编译（即使永远不会执行），所以要求所有分支内的代码都必须能通过编译。而 if constexpr 的条件必须是常量表达式，编译器在编译阶段就计算出结果，并**只保留为 true 的分支进行后续处理**，被丢弃的分支甚至不需要语法合法（比如调用不存在的成员函数、使用未定义类型等）。
模板中避免非法代码的关键工具
这是 if constexpr 最典型的应用场景。例如写一个泛型函数，想对整数类型做算术操作，对字符串类型调用 size()：
- 用普通 if：编译器会尝试检查两个分支，如果传入
int，那么t.size()就报错——哪怕这个分支根本不会执行。 - 用 if constexpr：当
T是int时，t.size()所在分支被完全忽略，不参与编译，不会报错。
要求条件必须是常量表达式
if constexpr 的条件不能是变量或运行时才能确定的值。例如：
立即学习“C++免费学习笔记（深入）”；
- ✅ 合法：
if constexpr (std::is_integral_v、) if constexpr (N > 0) - ❌ 非法：
int x = 42; if constexpr (x > 0)（x 不是常量表达式） - ❌ 非法：
if constexpr (some_runtime_func())
被丢弃分支的限制与注意事项
被丢弃的分支虽不参与编译，但仍需满足基本语法结构（比如括号匹配、分号完整），但其中的类型、函数、表达式无需存在或有效。不过要注意：
- 模板参数若在丢弃分支中被引用，仍需在当前作用域可见（但不必具名或可访问）；
- 若丢弃分支中有
return，不会影响函数的返回类型推导（因为该分支不算作函数的可能路径）； - 无法在丢弃分支里定义局部变量并期望在另一分支中使用——它们彼此隔离。
基本上就这些。if constexpr 不是“更高级的 if”，而是解决模板元编程中“分支导致非法代码”这一痛点的专用机制，用对了能让泛型代码更干净、更易读。
