从派生类初始化列表调用基类构造函数的顺序

Question

struct B { 
  int b1, b2;  
  B(int, int);
};

struct D : B {
  int d1, d2;
// which is technically better ?
  D (int i, int j, int k, int l) : B(i,j), d1(k), d2(l) {} // 1st Base
// or
  D (int i, int j, int k, int l) : d1(k), d2(l), B(i,j) {} // last Base
};

上面只是一个伪代码。实际上，我想知道调用基本构造函数的顺序重要吗？

是否存在由以下原因引起的不良行为（尤其是极端情况）有任何案例吗？我的问题更多的是技术方面，而不是编码风格。

Answer 1

您在问题中引用的顺序不是“调用基本构造函数的顺序”。事实上，你不能调用构造函数。用户不能调用构造函数。只有编译器才能调用构造函数。

您可以做的是指定初始值设定项。在这种情况下（构造函数初始值设定项列表），您正在为某个较大对象的子对象指定初始值设定项。指定这些初始值设定项的顺序并不重要：编译器将按照语言规范定义的非常特定的顺序调用构造函数，而不管您指定初始值设定项的顺序如何。始终首先调用基类构造函数（按照基类在类定义中列出的顺序），然​​后调用成员子对象的构造函数（同样按照这些成员在类定义中列出的顺序）。

（当涉及到虚拟基类时，这条规则有一些特殊之处，但我决定不将它们包含在这里。）

至于不良行为......当然，这里存在潜在的“不良行为”。如果您假设初始化的顺序取决于您在构造函数初始值设定项列表中使用的顺序，那么当您发现编译器完全忽略该顺序并使用它自己的顺序（声明）代替。例如，此代码的作者

struct S {
  int b, a;
  S() : a(5), b(a) {}
};

可能期望首先初始化 a，然后 b 从 接收 5 的初始值a，但实际上这不会发生，因为 b 在 a 之前初始化。

Answer 2

顺序是明确定义的。它不取决于您在初始化时如何指定它们。
首先调用基类构造函数 B，然后按照声明顺序调用成员变量 (d1 & d2)。

解释@Andrey T 的回答中的评论。

class MyClass1: public MyClass2, public virtual MyClass3
{


};

标准明确定义了调用基类构造函数的顺序，如下所示：

MyClass3  
MyClass2
MyClass1

虚拟基类 MyClass3 优先于基类 MyClass2。

Answer 3

事物在初始化列表中出现的顺序并不重要。在您的情况下，基础对象将始终首先初始化，然后按顺序初始化 d1 和 d2。初始化是按照派生的顺序以及成员在类定义中出现的顺序执行的。

话虽如此，通常认为按照初始化顺序编写初始化列表是一种很好的风格，如果不这样做，一些编译器会发出警告。