cpp17的constexpr if

C++17引入了constexpr if语句，它是一种编译时条件语句，可以在编译时选择不同的代码路径。它的语法如下：

if constexpr (条件) {
  // 编译时只有满足条件才会执行这里的代码，否则这里的代码不会被编译
} else {
  // 编译时只有不满足条件才会执行这里的代码，否则这里的代码不会被编译
}

constexpr if语句在模板编程中非常有用，可以根据模板参数的值选择不同的代码路径，从而优化编译时的代码。例如：

template <typename T>
void print(const T& t) {
  if constexpr (std::is_same_v<T, int>) {
    std::cout << "int: " << t << std::endl;
  } else if constexpr (std::is_same_v<T, double>) {
    std::cout << "double: " << t << std::endl;
  } else {
    std::cout << "other type" << std::endl;
  }
}

int main() {
  print(42);
  print(3.14);
  print("hello world"); // 编译时错误，因为print函数没有处理字符串类型
  return 0;
}

在上面的例子中，print函数根据模板参数T的类型选择不同的代码路径，从而避免在运行时进行类型判断，提高了代码的效率。