在初始化变量之前是否调用了父类构造函数？

Question

是在初始化变量之前调用父类的构造函数，还是编译器会先初始化类的变量？

例如：

class parent {
  int a;
public:
  parent() : a(123) {};
};

class child : public parent {
  int b;
public:
            // question: is parent constructor done before init b?
  child() : b(456), parent() {};
}

Answer 1

是的，基类在派生类的成员之前和构造函数体执行之前被初始化。

12.6.2 初始化基和成员 [class.base.init]

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

——首先，并且仅适用于最 派生类（1.8），虚拟基类按顺序初始化 它们出现在定向的深度优先从左到右遍历 基类的无环图，其中“从左到右”是 派生类中基类的外观 基本说明符列表。

——然后​​，直接基类在 出现在基本说明符列表中的声明顺序 （不管 mem-initializers 的顺序如何）。

——那么，非静态的 数据成员按照它们在 类定义（同样不管 内存初始化器）。

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

Answer 2

是的，父构造函数总是在派生类之前调用​​。否则，派生类无法“更改”父类设置的内容。

Answer 3

正如一些建议，如果您不确定，通常可以自己测试这样的事情：

#include <iostream>
using namespace std;

class parent {
protected:
  int a;
public:
  parent() : a(123) { cout << "in parent(): a == " << a << endl; };
};

class child : public parent {
  int b;
public:
            // question: is parent constructor done before init b?
  child() : b(456), parent() { cout << "in child(): a == " << a << ", b == " << b << endl; };
};

int main() {
  child c;
  return 0;
}

打印

in parent(): a == 123
in child(): a == 123, b == 456

Answer 4

是的，对象的构造是从父类开始到子类的，所以构造函数的调用是按照这个顺序的。在破坏的情况下，情况正好相反。

Answer 5

将派生类视为其基类的额外添加或扩展，添加因此它添加到某些东西（这个东西必须已经存在）。 然后，另一个问题是成员的初始化。在这里，你提供了默认构造函数

public:
  parent() : a(123) {};

因此，即使您以这种方式创建父级，该成员也将默认初始化为 123：

parent p;

如果没有用值初始化对象的默认构造函数

class parent {
public:
  int a;
};

如果类是 P.O.D 则 int 将默认初始化为 0，但如果不是，即您提供更多成员，例如字符串或向量

class parent {
public:
  int a;
  std::string s;
  std::vector<int> v;
};

如果没有初始化它的默认构造函数，int 将具有随机值。