if constexpr 可在编译期根据常量表达式选择性编译代码块，常用于模板编程中替代 SFINAE；其语法类似普通 if，但条件必须为编译期常量；典型应用包括基于类型的不同处理逻辑分支和递归模板的终止条件控制；例如在函数模板中判断 T 是否为整型或浮点型并执行对应操作，或在编译期计算阶乘时以 N == 0 作为递归终止条件；需注意它仅适用于模板上下文，不满足条件的分支虽不被实例化但仍需语法正确，且不能用于运行时判断。
在C++17中，if constexpr 是一个强大的编译期分支工具，它允许你在编译时根据常量表达式的结果选择性地编译代码块。这在模板编程中特别有用，可以避免SFINAE（替换失败不是错误）的复杂写法，让代码更清晰、易读。
基本语法
if constexpr 的语法和普通 if 语句类似，只是前面加了 constexpr 关键字：
if constexpr (condition) {// 编译期为真时编译此块
} else {
// 可选：编译期为假时编译此块（也可再嵌套 if constexpr）
}
注意：condition 必须是编译期常量表达式，通常依赖模板参数推导的结果。
典型使用场景：模板中的类型分支
假设你写了一个函数模板，想根据不同类型执行不同逻辑：
立即学习“C++免费学习笔记（深入）”；
template
auto process(T value) {
if constexpr (std::is_integral_v
return value * 2; // 整型：翻倍
} else if constexpr (std::is_floating_point_v
return value * 0.5; // 浮点型：减半
} else {
static_assert(false, "不支持的类型");
}
}
这里，编译器会根据 T 的具体类型，只编译对应的分支。比如传入 int，就只编译第一个分支，其余分支即使语法不合法也不会报错（只要不实例化）。
递归模板终止条件
在编译期递归中，if constexpr 可以优雅地处理递归终止：
templateconstexpr size_t factorial() {
if constexpr (N == 0) {
return 1;
} else {
return N * factorial
}
}
没有 if constexpr，这种写法会导致无限实例化。而有了它，当 N 为 0 时，else 分支不会被实例化，递归自然终止。
注意事项
- 必须用于模板上下文：虽然 condition 是 constexpr，但 if constexpr 通常出现在函数模板或类模板成员中才能发挥最大作用。
- else 分支可选，也可以链式使用多个 if constexpr。
- 不能替代运行时判断：如果条件依赖运行时值，仍需普通 if。
- 不满足条件的分支虽然不编译，但必须语法正确（除了模板未实例化的部分）。
基本上就这些。用好 if constexpr 能大幅简化模板元编程，让编译期逻辑更直观。关键是理解“只编译命中分支”这一特性，避免冗余实例化和编译错误。
