来自另一个非静态的非静态成员初始化程序

Question

很简单的问题。 这是有效的C ++ 11吗？

struct Foo {
    int bar = 1;
    int baz = bar;
};

GCC（4.7.2）和Clang（3.1）都接受了迂腐的设置：

-std=c++11 -Wall -W -pedantic

英特尔C ++（13.0.1.117）没有。 它咆哮在int baz = bar; 有：

error: a nonstatic member reference must be relative to a specific object

谁是对的？

如果您想知道，我将此用于此类代码，它将初始化代码放在一起，而不是将最后一行移动到构造函数中：

uint8_t colorR = -1;
uint8_t colorG = -1;
uint8_t colorB = -1;
uint8_t colorA = -1;
GLubyte RGBAVec[4] = {colorR, colorG, colorB, colorA};

Answer 1

5.1p12只能使用表示非静态数据成员或类的非静态成员函数的id表达式 ：

• 作为类成员访问（5.2.5）的一部分，其中对象表达式引用成员的类或从该类派生的类，或者
• 形成指向成员（5.3.1）的指针，或
• 在mem-initializer中 ，用于该类的构造函数或从该类派生的类（12.6.2），或者
• 用于该类的非静态数据成员或从该类派生的类（12.6.2） 的大括号或等于初始化程序 ，或者
• 如果该id-expression表示非静态数据成员，则它出现在未评估的操作数中。

所以是的，这个：

struct Foo {
  int bar = 1;
  int baz = bar;
};

是有效的C ++ 11。

但要小心订单，因为：

12.6.2p10在非委托构造函数中，初始化按以下顺序进行：

• 首先，仅对于派生程度最高的类（1.8）的构造函数，虚拟基类按照它们出现在基类的有向无环图的深度优先从左到右遍历的顺序进行初始化，其中“左 - to-right“是派生类base-specifier-list中基类出现的顺序。
• 然后，直接基类按声明顺序初始化，因为它们出现在base-specifier-list中（无论mem-initializers的顺序如何）。
• 然后， 非静态数据成员按照它们在类定义中声明的顺序进行初始化 （同样不管mem-initializers的顺序如何）。
• 最后，执行构造函数体的复合语句

因此，在非静态数据成员初始化程序提议 （问题3）中指定：

第三个问题是类范围查找可能会将编译时错误转换为运行时错误：

 struct S { int i = j; // ill-formed without forward lookup, undefined behavior with int j = 3; }; 

（除非被编译器捕获，否则我可能会使用未定义的j值进行初始化。）