if constexpr 是 C++17 引入的编译期条件分支，被丢弃分支不参与任何编译（含语法检查），适用于泛型代码中依赖类型特征、NTTP 或 constexpr 函数的分支逻辑，且各分支可含对当前类型不合法的表达式。
if constexpr 是 C++17 引入的编译期条件分支机制，它只在模板实例化时对常量表达式求值，**被丢弃的分支（即条件为 false 的分支）完全不参与编译，连语法检查都不做**。这意味着你可以安全地写只有某一分支才合法的代码，比如调用仅在特定类型上存在的成员函数。
什么时候必须用 if constexpr 而不是普通 if
普通 if 是运行期分支，所有分支都必须语法正确、能通过编译。而 if constexpr 的价值在于：当你写泛型代码，且不同类型的逻辑路径涉及不兼容的操作时——比如对 std::string 调用 .c_str()，但对 int 就不能调；又比如想对 std::array 用 data()，但对 std::vector 可能要先检查是否非空。
- 你正在写函数模板或类模板的成员函数
- 分支逻辑依赖于类型特征（如
std::is_integral_v<t></t>）、字面量值（如模板非类型参数N）或constexpr函数返回值 - 某个分支里会出现对当前
T不合法的表达式（比如访问不存在的成员、隐式转换失败、除零等）
if constexpr 的基本写法和常见错误
语法和普通 if 一样，但条件必须是字面量常量表达式（constexpr context 下可求值）。最常配合 std::is_* 类型特质或自定义 constexpr 函数使用。
容易踩的坑：
立即学习“C++免费学习笔记（深入）”；
-
if constexpr (true)没问题，但if constexpr (some_non_constexpr_bool)会编译失败 —— 条件必须在编译期确定 - 分支内不能出现「未声明的标识符」，哪怕它在另一分支里被声明了（作用域不共享），比如不能在
then分支里声明变量x，然后在else分支里用x - 不要试图在
if constexpr外部“捕获”分支内的局部变量，它们生命周期只在各自分支块内
示例：
template<typename T>
auto get_data(T&& t) {
if constexpr (std::is_pointer_v<std::decay_t<T>>) {
return t; // 返回裸指针
} else if constexpr (has_data_member_v<T>) {
return t.data(); // 假设 has_data_member_v 是自定义 constexpr trait
} else {
return &t; // 返回地址
}
}
和 std::enable_if / SFINAE 相比有什么区别？
if constexpr 是语句级控制，写在函数体内；std::enable_if 是声明级控制，靠重载或特化让某些模板根本不出现在候选集中。前者更直观、易读、调试友好；后者在需要完全屏蔽某个重载（比如避免歧义）时仍不可替代。
- 如果你只是想“同一函数里根据类型走不同逻辑”，优先用
if constexpr—— 它不增加函数重载数量，也不要求你把逻辑拆成多个函数模板 - 如果你需要让某个模板对某类型“彻底不可见”（例如避免和已有重载冲突），就得用
enable_if或 C++20 的requires -
if constexpr分支中可以包含return、throw、甚至static_assert，但注意：被丢弃分支里的static_assert**不会触发**（这是设计使然）
一个容易被忽略的细节：if constexpr 不展开模板参数包
它本身不解决参数包展开问题。如果你想对每个参数分别做编译期判断，得结合折叠表达式或递归模板。比如下面这段是错的：
template<typename... Ts>
void process(Ts&&... args) {
if constexpr (sizeof...(Ts) > 0) {
// 这里不能直接写 args[0] —— 参数包未展开
// 必须用 fold expression 或 unpacking lambda
}
}
真正可行的是：
((std::cout << args << ' '), ...); // 折叠
// 或
([&](auto&& x) {
if constexpr (std::is_floating_point_v<std::decay_t<decltype(x)>>) {
std::cout << "float: " << x;
} else {
std::cout << "other: " << x;
}
}(args), ...);
也就是说，if constexpr 管“分支”，不管“展开”——这两个能力要组合用，不能默认混为一谈。
