要求

我想要一个constexpr值（即编译时常量）计算自constexpr功能。我希望这两个范围都限定在类的命名空间内，即类的静态方法和静态成员。

第一次尝试

我首先以（对我来说）显而易见的方式写下这个：

class C1 {
  constexpr static int foo(int x) { return x + 1; }
  constexpr static int bar = foo(sizeof(int));
};

g++-4.5.3 -std=gnu++0x对此说：

error: ‘static int C1::foo(int)’ cannot appear in a constant-expression
error: a function call cannot appear in a constant-expression

g++-4.6.3 -std=gnu++0x抱怨：

error: field initializer is not constant

第二次尝试

好吧，我想，也许我必须将一些东西移出班级主体。所以我尝试了以下方法：

class C2 {
  constexpr static int foo(int x) { return x + 1; }
  constexpr static int bar;
};
constexpr int C2::bar = C2::foo(sizeof(int));

g++-4.5.3将毫无怨言地编译它。不幸的是，我的其他代码使用了一些基于范围的for循环，所以我必须至少有 4.6。现在我仔细观察支持名单， 看起来constexpr也需要 4.6。与g++-4.6.3 I get

3:24: error: constexpr static data member ‘bar’ must have an initializer
5:19: error: redeclaration ‘C2::bar’ differs in ‘constexpr’
3:24: error: from previous declaration ‘C2::bar’
5:19: error: ‘C2::bar’ declared ‘constexpr’ outside its class
5:19: error: declaration of ‘const int C2::bar’ outside of class is not definition [-fpermissive]

这对我来说真的很奇怪。事物如何“不同”constexpr“ 这里？我不想添加-fpermissive因为我更喜欢严格检查我的其他代码。移动foo在类体之外的实现没有明显的效果。

预期答案

有人可以解释一下这是怎么回事吗？我怎样才能实现我想要做的事情？我主要对以下类型的答案感兴趣：

• 在 gcc-4.6 中实现此功能的方法
• 观察到更高版本的 gcc 可以正确处理其中一个版本
• 指向规范的指针，至少我的一个构造根据该规范should工作，这样我就可以向 gcc 开发人员发出关于实际让它工作的问题
• 根据规范，我想要的信息是不可能的，最好对这个限制背后的基本原理有一些了解

其他有用的答案也受到欢迎，但可能不会那么容易被接受。

该标准要求（第 9.4.2 节）：

A static文字类型的数据成员可以在类定义中声明constexpr说明符；如果是这样，其声明应指定大括号或等于初始化器其中每个初始化子句那是一个赋值表达式是一个常量表达式。

在你的“第二次尝试”和伊利亚答案中的代码中，声明没有大括号或等于初始化器.

您的第一个代码是正确的。不幸的是 gcc 4.6 不接受它，而且我不知道在哪里可以方便地尝试 4.7.x（例如 ideone.com 仍然停留在 gcc 4.5 上）。

这是不可能的，因为不幸的是标准不允许初始化静态constexpr类完整的任何上下文中的数据成员。特殊规则为大括号或等号初始化器9.2p2中仅适用于非静态数据成员，但这一个是静态的。

最可能的原因是constexpr变量必须可用作成员函数体内的编译时常量表达式，因此变量初始值设定项在函数体之前完全定义 - 这意味着该函数在初始值设定项的上下文中仍然不完整（未定义），并且然后这条规则生效，使表达式不是常量表达式：

未定义的调用constexpr函数或未定义的constexpra 定义之外的构造函数constexpr函数或constexpr构造函数；

考虑：

class C1
{
  constexpr static int foo(int x) { return x + bar; }
  constexpr static int bar = foo(sizeof(int));
};