关于结构构造函数和析构函数的行为-C ++

未定义的行为

您通过foo在对象完全初始化之前进行调用来调用未定义的行为。引用C ++标准中的12.6.2：

可以为正在构造的对象调用成员函数（包括虚拟成员函数10.3）。同样，正在构造的对象可以是运算typeid符（5.2.8）或a dynamic_cast（5.2.7）的操作数。但是，如果在所有基类的mem初始化器完成之前，在ctor初始化器中（或直接或间接从ctor初始化器调用的函数中）执行了这些操作，则该操作的结果不确定。[示例：

class A {
public:
  A(int);
};

class B : public A {
  int j;
public:
  int f();
  B() : A(f()),       // undefined: calls member function
                      // but base A not yet initialized
          j(f()) { }  // well-defined: bases are all initialized
};

class C {
public:
  C(int);
};

class D : public B, C {
  int i;
public:
  D() : C(f()),       // undefined: calls member function
                      // but base C not yet initialized
          i(f()) { }  // well-defined: bases are all initialized
};

—结束示例]

换句话说，按照标准可以：

C(int i=0) : B(), A(i) {
    B::b = foo();
}

这将打印10而不是0您得到的（可能是其他任何东西，因为那是未定义的行为）。

初始化顺序

抛开未定义行为的问题，并解决您的问题，初始化发生的顺序是明确定义的：

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

—首先，并且仅对于最派生类（1.8）的构造函数，虚拟基类按照它们在基类有向无环图的深度优先从左到右遍历时出现的顺序进行初始化，其中“左“从右到右”是基类在派生类base-specifier-list中的出现顺序。

—然后，直接基类按照它们出现在base-specifier-list中的声明顺序进行初始化（与mem-initializers的顺序无关）。

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

—最后，执行构造函数主体的复合语句。

[注意：声明顺序是强制执行的，以确保以相反的初始化顺序销毁基础和成员子对象。—尾注]

因此，在您的代码中，初始化顺序为：B（B::b），A（A::a），C（）。

但是，如下面的注释中所述，但是更改此初始化顺序（例如，通过使用struct C : A, B而不是struct C : B, A）不会摆脱未定义的行为。即使零件已初始化A::foo，在B零件初始化之前的调用仍未定义A。