＆＃34;函数调用必须在常量表达式中具有常量值＆＃34;

Question

我有以下代码：

constexpr unsigned long long power_function(const unsigned long long prime, const unsigned long long iterations) {
    return iterations > 0 ? prime * power_function(prime, iterations - 1) : prime;
}

/* Inside my Class Definition*/

private:
    static constexpr unsigned long long prime = power_function(-363, 1'000'000); //Error occurs here

IntelliSense抱怨power_function使用不正确。但对于我的生活，我无法解决问题所在。我正在使用Visual Studio 2015，仅供参考。

错误讯息：

Error   C2131   expression did not evaluate to a constant   Basic Server    c:\<snip>   28  
Error   C2131   expression did not evaluate to a constant   Basic Server    c:\<snip>   33  

第28行对应于返回函数所在的行，第33行对应于constexpr定义的行。

Answer 1

gcc和clang编译器中constexpr的递归限制为512。因为编译器将constexpr函数解释为内联函数（C ++ Standard 7.1.5 subsec.2），所以必须在编译时解析它们。如果在512次迭代后编译器无法将表达式解析为常量，则会停止编译并引发错误。对于递归constexpr函数调用，标准建议至少为512，但不要求（参见标准中的附录B [implimits] 2.38）。 / p>

此限制可能适用于Visual Studio，但我不确定。