[c++17] --- constexpr if

1 constexpr if介绍和注意点

constexpr if是C++17引入的一个重要特性，可以使得编译器在编译时进行条件判断，并根据条件选择不同的代码路径。相比于传统的运行时条件判断，constexpr if可以提高代码的可读性和执行效率，特别是在模板编程中，可以避免因条件分支导致的代码膨胀问题。

在使用constexpr if时需要注意以下几点：

1. constexpr if必须在编译时能够确定条件表达式的值，因此条件表达式必须是一个编译时常量表达式，例如constexpr函数或变量，或者字面值类型的表达式。
2. constexpr if的条件表达式不能依赖于模板参数，因为模板参数的值只有在编译时才能确定。如果需要在模板中使用constexpr if，可以使用模板特化来实现。
3. constexpr if的分支代码必须是合法的C++代码，即使在条件分支不成立时也不能有语法错误。这一点对于模板编程尤其重要，因为模板的实例化不一定会包含所有的条件分支。
4. constexpr if可以嵌套使用，但需要注意代码的可读性，不要嵌套太多层次。
   下面是一个使用constexpr if的例子，演示了如何使用constexpr if来实现类型判断和类型转换：

template<typename T>
void foo