关于 constexpr 的疑问

[paparika]

class TestClass1{ public:

static constexpr int getInt(){return 0;};

static constexpr int y = getInt();//why it's wrong?

TestClass1(){}

};

编译失败了，why?

[enenaaa]

constexpr 也要遵守基本法。c++类成员声明不接受赋值啊。

[paparika]

@enenaaa static constexpr int y = 0; 能过，这个算初始化不算赋值？

[enenaaa]

不好意思， 我忘了 static 变量是可以的

[wens07]

getInt 是一个 expresion，这样不行的吧

[paparika]

编译器报的 error: ‘ static constexpr int TestClass1::getInt()’ called in a constant expression

[wwqgtxx]

GCC 的提示说的挺清楚的了吧
error: 'static constexpr int TestClass1::getInt()' called in a constant expression before its definition is complete

[wwqgtxx]

也就是说这样写是可行的
class TestClass1{ public:

static constexpr int getInt(){return 0;};

TestClass1(){}
};

class TestClass2{ public:

static constexpr int y = TestClass1::getInt();//why it's wrong?

TestClass2(){}
};

[paparika]

@wwqgtxx 不太理解，信息给足了啊，怎么还不算 complete，有反例吗

[wwqgtxx]

@paparika 他的意思是只能在类的定义完成之后才能以 constexpr 的形式调用，至于为什么，你可能需要翻翻 C++的标准了

[paparika]

@wwqgtxx 暂时这么强行理解了，thx

[vsomeone]

自 https://stackoverflow.com/questions/11522399/constexpr-initializing-static-member-using-static-function：

The most likely reason for this is that constexpr variables have to be available as compile-time constant expressions from inside the bodies of member functions, so the variable initializers are completely defined before the function bodies -- which means the function is still incomplete (undefined) in the context of the initializer, and then this rule kicks in, making the expression not be a constant expression.

大致意思就是，由于 constexpr 必须是 compile-time known 的，所以它们的 initializer 定义位于它们所在的 function/class 之外。因此，你的代码等价于：

```c++

constexpr int TestClass1::y = initializer_for_y();

class TestClass1{ public:

static constexpr int getInt(){return 0;};
static constexpr int y;//why it's wrong?
TestClass1(){}
};
```

但是在 initializer_for_y() 试着调用 getInt() 的时候 TestClass1 尚未定义。这也就是为什么编译器会报告：
note: undefined function 'getInt' cannot be used in a constant expression

[gnaggnoyil]

@paparika 然而你现在只能这样强行理解……因为事实上标准中没有任何字句显式要求成员函数的类内定义一定不能在类的内部起效,而只是要求在类内部的时候类是一个不完全类型……换句话说标准没有要求你这种写法一定是错的.事实上你会发现在 Clang 和 GCC 下只要给 TestClass1 加一个模板参数编译错误就嗷的一声不见了…… https://wandbox.org/permlink/MiclIS7tSl4qR91C

我搜了一下发现 CWG1626( http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1626)提到了这个问题,然而很明显 WG21 至今仍在无视这个 2013 年就提出来的 CWG...

[gnaggnoyil]

@gnaggnoyil 干……发错.演示地址是这个: https://wandbox.org/permlink/hDmeC12PUHPRmoPp

[paparika]

@vsomeone
@gnaggnoyil

厉害厉害!

[alqaz]

@gnaggnoyil 是不是可以理解成编译器处理模板在处理 constexpr 之前，加了模板参数之后，先扫描一边 TestClass1,此时编译器对 TestClass1::getInt() constexpr 函数已经知道了。然后处理 constper 相关的计算也就可以了。

[gnaggnoyil]

没仔细读 GCC 和 Clang 的源码.不过它们都是支持 two-phase lookup 的而你理解的这种行为按照 two-phase lookup 的要求是 ill-formed,虽然没要求有 diagnostics...