Инициализировать родительский класс с пустым конструктором в списке инициализаторов?

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