可以在constexpr构造函数(C 14)中修改非静态成员变量吗？

Question

struct A {
    int a = 0;
    constexpr A() { a = 1; }
};

constexpr bool f() {
    constexpr A a;
    static_assert(a.a == 1, ""); // L1: OK
    return a.a == 1;
}
static_assert(f(), ""); // L2: Error, can not modify A::a in constexpr

• 联机编译器URL:http://goo.gl/jni6Em
• 编译器：clang 3.4（带有-std=c 1y）
• 系统：Linux 3.2

如果删除L2，则编译此代码。如果我添加L2，编译器会抱怨“常量表达式中不允许修改常量限定类型‘const int‘的对象”。我不是语言律师，所以我不确定这是否属实。然而，若确实如此，为什么编译器并没有抱怨L1，因为它也将A（）作为constexpr调用？这是叮当声吗？还是我错过了什么？

参考：http://en.cppreference.com/w/cpp/language/constexpr

顺便说一句，如果我将“配置文件A a；”更改为“配置文件A；”（删除配置文件关键字），L1编译失败，这是意料之中的。然而，编译器不再抱怨L2了。

关于此的在线编译器URL：http://goo.gl/AoTzYx

Answer 1

我认为这只是编译器没有赶上针对C 14提出的更改的情况。您的constexpr构造函数满足N3936的§7.1.5/4中列出的所有条件。gcc和clang都无法编译您的代码，但原因不同。

铿锵抱怨：

注意：常量表达式中不允许修改常量限定类型“const int”的对象

这没有多大意义，但让我想起了C 11的限制，即< code>constexpr成员函数是隐式< code>const(这是一个构造函数，这并不适用，但错误消息会让人想起这一点)。这一限制对C 14也取消了。

gcc的错误信息是：

错误：constexpr 构造函数没有空体

似乎很清楚，gcc 仍然为 constexpr 构造函数实现 C 11 规则。

此外，N3597 列出了此示例：

struct override_raii {
  constexpr override_raii(int &a, int v) : a(a), old(a) {
    a = v;
  }
  constexpr ~override_raii() {
    a = old;
  }
  int &a, old;
};

N3597被N3652取代，n 3652包含了当前草案中的措辞。不幸的是，前面的例子消失了，但是，再一次，在当前的措辞中，没有任何内容说您不能在< code>constexpr构造函数体中为数据成员赋值。

clang修复了这个问题，但是还没有新的版本:https://bugs.llvm.org/show_bug.cgi?id=19741(编译器资源管理器)