c++ - "function call must have a constant value in a constant expression"

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行对应return函数所在行，33行对应constexpr定义行

Answer 1

在 gcc 和 clang 编译器中，constexpr 的递归限制为 512。因为编译器将 constexpr 函数解释为内联函数(C++ 标准 7.1.5 第 2 节)，所以它们必须在编译时解析。如果在 512 次迭代后编译器无法将表达式解析为常量，它会停止编译并引发错误。标准建议递归 constexpr 函数调用的最小值是 512，但并不要求它(参见标准中的附件 B [implimits] 2.38 ).

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