可以使用成员变量在初始化列表中初始化其他成员吗？

Question

考虑以下（简化的）情况：

class Foo
{
private:
    int evenA;
    int evenB;
    int evenSum;
public:
    Foo(int a, int b) : evenA(a-(a%2)), evenB(b-(b%2)), evenSum(evenA+evenB)
    {
    }
};

当我这样实施foo时：

Foo foo(1,3);

然后偶数为0，偶数为2，但是evensum是否会初始化为2？

我在当前平台（iOS）上尝试了此操作，但它似乎有效，但是我不确定此代码是否可移植。

感谢您的帮助！

Answer 1

此是 良好的便携式， ¹ ，但可能容易出错。

成员按在班级正文中声明的顺序初始化，而不是初始化列表中列出的顺序。因此，如果您更改班级主体，则此代码可能会默默失败（尽管许多编译器会发现这一点并发出警告）。

---

1. From [class.base.init] in the C++ standard(s):

在非规定的构造函数中，初始化按以下顺序进行：

• 首先，仅对于最派生类（1.8）的构造函数，虚拟基类都在
  它们出现在对基类的定向无环图的深度最深处的横向遍历上，
  其中“从左到右”是派生的类基准列表中基类的外观顺序。
• 然后，直接基类以声明顺序初始化，因为它们出现在基本列表中
  （不管Mem-Initializer的顺序如何）。
• 然后，非静态数据成员以类别定义中声明的顺序初始化初始化
  （再次不论MEM-Initializer的顺序）。
• 最后，执行了构造体的复合态。

（突出显示是我的。）

随后，标准的这一部分继续提供一个使用成员变量来初始化其他成员变量的示例。

Answer 2

是的，提供它们已经建成。只是不要忘记
施工顺序是声明的顺序
班级定义，不是在
构造函数。而且编译器通常不会告诉您是否使用
在构造它之前。例如，在您的情况下，
如果您将evensum移动到班级的顶部，则您的未定义
行为（因为其初始化器使用非初始化的成员），甚至
尽管在构造函数中，您可以初始化evena和evenb词汇
evensum之前。

Answer 3

成员按在类定义中声明的顺序初始化。只要您的初始化列表遵循此订单，就可以了。

Answer 4

调用初始化器的顺序：
初始化顺序

列表中成员初始化器的顺序无关紧要：初始化的实际顺序如下：

1. 如果构造函数适用于最衍生的类，则以其在基类声明的深度左右横向遍历的顺序中初始化虚拟基础（从左到右是指外观在基本分类器列表中）
2. 然后，直接基地以从左到右的顺序初始化，因为它们出现在该班级的基本指定列表中
3. 然后，非静态数据成员按班级定义中的声明顺序初始化。
4. 最后，执行构造函数的主体

，所以是的，只要evena and evenb在evensum之前声明 evenb

Answer 5

这也在G ++ 4.0.3（现在6岁）上进行了编译。

我有信心在任何合理的编译器上都可以纠正。