c++ - C++ 多访问说明符和初始化顺序

Question

我们知道在下面的代码中

class Foo1 {
private:
    int i;
    bool b;
public:
    Foo1() : i(7), b(false) {} 
};

“i”将在“b”之前初始化。如果我尝试在“i”之前初始化“b”，我会收到警告。

这个案子怎么样：

class Foo2 {
private:
    int i;
private:
    bool b;
public:
    // what happens if b is first because compiler reordered?
    Foo2() : b(false),  i(7) {} 
};

?

我们知道编译器可以自由排序“i”和“b”，因为它们位于不同的访问说明符中。

那么在这种情况下初始化的顺序是什么？

像前面的简单案例一样有什么保证吗？

Answer 1

保证初始化的顺序；i总是在之前初始化b。非静态数据成员按照它们在类定义中的声明顺序进行初始化，而不管它们的访问说明符如何。

[class.base.init]/13.3

然后，非静态数据成员按照它们在类定义中声明的顺序进行初始化（同样不管 mem-initializers 的顺序）。