constexpr if 是 C++17 引入的编译期条件分支机制，根据常量表达式在编译时剔除无效分支，避免语法/语义检查和运行时开销，适用于模板中按类型特征差异化实现，语法为 if constexpr (expr)，仅限函数体内使用。
constexpr if 是 C++17 引入的编译期条件分支机制，它让编译器能在编译时根据常量表达式决定是否包含某段代码，从而实现真正的“零开销抽象”——不参与条件判断的分支不会生成任何目标代码，也不会被要求满足语义合法性（比如类型存在、函数可调用等）。
核心作用：剔除无效分支，避免编译错误
普通 if 在编译期无法跳过语法/语义检查；而 constexpr if 的条件必须是字面量常量表达式（如 std::is_integral_v<t></t>），编译器会直接丢弃为 false 的分支，连其中的错误代码都不会检查。
- 适合模板编程中按类型特征做差异化实现
- 替代繁琐的 SFINAE 或重载分发
- 避免为不支持的操作（如对非浮点类型调用
std::sqrt）触发编译失败
基本语法和使用限制
写法是 if constexpr (expr) { ... } else { ... }，注意：
-
expr必须在编译期可求值，否则编译报错 -
else分支可选；若无else且条件为false，该分支被静默忽略 - 不能出现在函数外（如命名空间作用域），只能在函数体内（含 lambda、成员函数）
- 分支内定义的变量只在该分支作用域内可见
典型应用场景示例
比如写一个泛型打印函数，对容器调用 size()，对原始指针则不支持：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void log_size(const T& x) {
if constexpr (has_size_v<T>) { // 假设 has_size_v 是检测 size() 的变量模板
std::cout << "size: " << x.size() << '\n';
} else {
std::cout << "no size() available\n";
}
}
传入 std::vector<int></int> 时，else 分支被完全剔除；传入 int* 时，if 分支被剔除，不会尝试调用 x.size() 导致错误。
和传统模板特化/重载的区别
constexpr if 更轻量、更集中：
- 不用拆成多个函数声明或特化定义，逻辑写在一个函数里，可读性高
- 共享同一套参数、局部变量和作用域，避免重复推导
- 适合细粒度分支（比如只差一行代码），而特化通常用于整体行为差异
但它不能替代所有重载场景——比如需要不同参数列表、或要参与重载决议时，仍需函数重载或类模板特化。
基本上就这些。用好 constexpr if 能让模板代码更简洁、健壮，也更贴近“写什么就是什么”的直觉。
