用初始化器列表中的空构造函数初始化父类？

Question

在初始化子初始化列表中的空构造父类时是否存在任何危险？

例子：

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

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

原因的问题：我经常看到那里有一个空的构造函数“父”类不符合儿童构造函数初始化列表初始化代码。

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