constexpr if 到底解决了什么问题
写模板代码的时候，你可能遇到过这种情况：想根据类型的不同走不同的逻辑。以前常用的方法是特化模板、用SFINAE或者写一堆enable_if，代码绕来绕去，看起来像解谜。
比如你想写一个通用打印函数，对字符串类型加引号，其他数字类型直接输出。老办法得拆好几个模板，还得搞偏特化。现在有了 constexpr if，这些问题变得直观多了。
什么是 constexpr if
C++17 引入了 constexpr if，它允许在编译期根据条件剔除不满足的分支。注意，不是运行时跳过，而是压根不参与编译。这就避免了类型错误和冗余代码。
它的语法很简单，在 if 前加上 constexpr 就行：
template <typename T>
void process(T value) {
if constexpr (std::is_integral_v<T>) {
std::cout << "整数类型：" << value << std::endl;
} else if constexpr (std::is_floating_point_v<T>) {
std::cout << "浮点类型：" << std::setprecision(2) << value << std::endl;
} else {
std::cout << "其他类型：" << value << std::endl;
}
}这段代码会根据传入的类型自动选择分支。比如传 int 走第一个，double 走第二个，string 就走最后那个。
实际场景：配置解析器
假设你在写一个配置加载器，支持 int、double 和 string 三种类型。以前你可能得写三个重载函数，现在一个模板搞定：
template <typename T>
T parse_config(const std::string& key) {
auto str_value = get_raw_string(key);
if constexpr (std::is_same_v<T, int>) {
return std::stoi(str_value);
} else if constexpr (std::is_same_v<T, double>) {
return std::stod(str_value);
} else {
return str_value; // string 直接返回
}
}调用 parse_config<int>("port") 自动走 stoi，而 parse_config<double>("rate") 走 stod。代码清晰，维护也方便。
注意事项
constexpr if 只能在模板中使用。如果你尝试在普通函数里写 constexpr if，编译器会报错。因为它依赖模板参数推导来做编译期判断。
另外，被“剔除”的分支不会被实例化，所以你可以在 else 分支里写一些只适用于特定类型的代码，比如调用某个类型的成员函数，只要保证该类型确实存在就行。
这种机制让模板编程变得更接近我们平时写逻辑的方式——看情况做事，而不是绕着语法打转。