c++ - 在初始化列表中使用空构造函数初始化父类？

Question

不在子初始化列表中初始化一个空的构造函数父类有什么危险吗？

例子:

class Parent
{
  public:
    Parent(){}
    ~Parent(){}
};

class Child : public Parent
{
  public:
    Child(): Parent()
    {}
    ~Child(){}
};

问题原因:我经常看到代码中没有在子 ctor 初始化列表中初始化具有空 ctor 的“父”类。

Answer 1

假设 Parent 没有用户提供的构造函数，例如如果是聚合:

struct Parent
{
    int x;
    int get_value() const { return x; }
};

现在有区别(参见 [dcl.init]/(8.1))，因为 Parent 的值初始化将零初始化成员 x，而默认初始化不会:

struct GoodChild : Parent { GoodChild() : Parent() {} };

struct BadChild : Parent { BadChild() {} };

因此:

int n = GoodChild().get_value(); // OK, n == 0

int m = BadChild().get_value();  // Undefined behaviour