什么时候非const成员可以用在constexpr成员函数中？

Question

我遇到了我不明白的情况。有人能很好地解释为什么第一个代码编译正确，而第二个代码出错：

错误:“TestClass::z”的值在常量表达式中不可用。}
- ^
注意:“int TestClass::z”不是const static int z；"

工作代码：

#include <iostream>

using namespace std;

class TestClass
{
    public:
        constexpr int sum() {return x+y+z;}

    private:
        static constexpr int x = 2;
        static const int y = 3;
        int z = 5;

};

int main()
{
    TestClass tc;
    cout << tc.sum() << endl;

    return 0;
}

但是当我尝试使 TestClass：：sum（） 静态时，我得到上述错误：

#include <iostream>

using namespace std;

class TestClass
{
    public:
        static constexpr int sum() {return x+y+z;}

    private:
        static constexpr int x = 2;
        static const int y = 3;
        static int z;

};

int TestClass::z = 5;

int main()
{
    TestClass tc;
    cout << tc.sum() << endl;

    return 0;
}

附言：我正在使用mingw32-g 4.8.1

Answer 1

在第一种情况下，结果仅取决于函数的参数，包括用于访问< code>z的隐式< code>this。这并没有取消它作为< code>constexpr的资格——如果所有的参数都是常量表达式，那么结果也是常量表达式。

在您的示例中，它不是一个常量表达式（因为tc不是），但这无关紧要，因为它没有在需要常量表达式的上下文中使用。下面是一个示例，显示它在常量表达式中的用法：

constexpr TestClass tc;
array<int, tc.sum()> a;
cout << a.size() << endl;

在第二种情况下，结果也依赖于一个静态变量，它的值可能在程序中改变。这使它失去了资格——即使所有的参数都是常量表达式，< code>z不是，因此函数调用的结果永远不会是常量表达式。