constexpr 函数何时在编译时进行求值？

既然声明为 constexpr 的函数有可能在运行时被调用，那么编译器根据什么标准决定是在编译时还是在运行时计算它呢？

template<typename base_t, typename expo_t>
constexpr base_t POW(base_t base, expo_t expo)
{
    return (expo != 0 )? base * POW(base, expo -1) : 1;
}

int main(int argc, char** argv)
{
    int i = 0;
    std::cin >> i;

    std::cout << POW(i, 2) << std::endl;
    return 0;
}

在这种情况下， i 在编译时是未知的，这可能就是编译器将 POW() 视为在运行时调用的常规函数​​的原因。然而，这种动态虽然看起来很方便，但却具有一些不切实际的含义。例如，是否可能存在这样的情况：我希望编译器在编译时计算 constexpr 函数，而编译器决定将其视为普通函数，而它也可以在编译时运行？是否有任何已知的常见陷阱？

constexpr功能will当它的所有参数都是常量表达式时，在编译时求值，并且结果也用在常量表达式中。常量表达式可以是文字（例如42），一个非类型模板参数（比如N in template<class T, size_t N> class array;), an enum元素声明（如Blue in enum Color { Red, Blue, Green };，声明另一个变量常量表达式， 等等。

They might当所有参数都是常量表达式时进行求值，结果为not在常量表达式中使用，但这取决于实现。