if constexpr 是 C++17 特性，允许编译期条件判断，仅实例化满足条件的分支。1. 语法与普通 if 相同，但条件须为编译期常量；2. 在模板中可根据类型执行不同逻辑，如对整型加法、字符串拼接；3. 可替代 SFINAE，简化代码，如用 requires 检查成员函数存在性；4. 适用于递归模板终止条件，避免无效实例化错误。其核心优势在于未选中分支不参与编译，即使含非法代码也不报错，提升模板编程可读性与安全性。
if constexpr 是 C++17 引入的重要特性，它允许在编译期根据常量表达式决定执行哪段代码。与传统的 if 不同，if constexpr 的条件必须在编译期就能求值，且不满足条件的分支不会被实例化，这在模板编程中非常有用。
基本语法和特点
if constexpr 的语法与普通 if 一致，但条件必须是编译期常量表达式：
// 编译期为真时编译此分支
} else {
// 可选的 else 分支，也可用 if constexpr 进行多路判断
}
关键点在于：只有满足条件的分支会被编译，另一个分支即使包含非法代码（如调用不存在的成员函数），也不会报错，因为它根本不会被实例化。
在函数模板中实现类型分支
最常见的用途是在模板函数中根据不同类型执行不同逻辑。例如，我们想对整数类型做加法，对字符串类型做拼接：
立即学习“C++免费学习笔记（深入）”；
templateauto process(const T& a, const T& b) {
if constexpr (std::is_integral_v
return a + b;
} else if constexpr (std::is_same_v
return a + "-" + b;
} else {
static_assert(false, "Unsupported type");
}
}
当传入 int 时，只有第一个分支参与编译；传入 std::string 时，只编译第二个分支。第三个分支使用 static_assert 捕获不支持的类型，但仅当实际使用该分支时才会触发。
避免 SFINAE 的复杂写法
在 C++17 之前，类似功能需依赖 SFINAE 或标签分发，代码冗长。比如判断容器是否有 size() 方法，传统方式需要写多个重载或特化。而用 if constexpr 可直接写：
void print_size_if_possible(const T& container) {
if constexpr (requires { container.size(); }) {
std::cout } else {
std::cout }
}
这里结合了 C++20 的 requires 表达式（在 C++17 中可用 decltype 和 SFINAE 技巧模拟），但思路一致：在编译期探测接口存在性，并选择性编译对应代码。
递归模板中的终止条件
if constexpr 特别适合用于递归模板的终止判断。例如实现一个编译期索引访问的变参模板：
auto get_at_index(Args&&... args) {
auto tuple = std::make_tuple(std::forward
if constexpr (Index == 0) {
return std::get(tuple);
} else {
// 只有 Index >= 1 时才尝试访问 std::get
return std::get
}
}
如果没有 if constexpr，std::get 在 Index==0 时也会被检查，可能导致错误。而现在，编译器只处理命中的分支。
基本上就这些。if constexpr 让模板代码更直观、易读，减少了对复杂元编程技巧的依赖。关键是理解“不被实例化的分支可以包含非法代码”这一特性，这是它强大之处。
