Порядок вызова конструкторов при наследовании?

Question

[Sazoks]

Здравствуйте.
Мне не совсем понятно, в каком ПОРЯДКЕ происходят вызовы конструкторов при наследовании?
Пример:

#include <iostream>
using namespace std;

class Parent
{
public:
	int m_Id;

	Parent(int Id = 0)
		: m_Id(Id) 
	{
		cout << "Parent\n";
	}

	int GetId() const { return m_Id; }
};

class Child : public Parent
{
public:
	double m_Value;

	Child(double Value = 0.0)
		: m_Value(Value)
	{
		cout << "Child\n";
	}

	double GetValue() const { return m_Value; }
};

int main()
{
	Parent p;
	Child c;
	return 0;
}

Я понимаю, что при создании Child c сначала создается часть Parent, а потом часть Child.
Но в каком порядке? Сначала вызывается конструктор Child, потом конструктор Parent, а потом уже продолжается выполнение конструктора Child? Или при создании Child c СРАЗУ вызывается Parent(), а уже после вызывается Child()?
Надеюсь, понятно выразился)
Всем спасибо.

Answer 1

[Mercury13]

Вызов конструктора Parent считается частью вызова конструктора Child. И он происходит раньше, чем конструирование всех полей, добавленных в Child — и уж тем более до тела Child::Child.

Comments

[Sazoks]

Вот! Я примерно так же и думал.
Но смущает один момент... Вызов Parent() происходит даже раньше, чем список инициализации Child'a?

[res2001]

Sazoks, Вы можете указать в списке инициализации потомка вызов конструктора родителя явно. Тогда он вызовется в указанном порядке. Думаю, что по умолчанию (без явного указания в списке инициализации) конструктор базового класса вызывается перед всеми другими операциями в списке инициализации конструктора потомка.

PS: не ясно зачем вам нужны такие подробности. Т.к. конкретная реализация будет зависеть от компилятора, версии и опций оптимизации. Можете посмотреть в отладчике ассемблерный код.

[Sazoks]

res2001, я просто с наследованием мало знаком, изучаю по-тихоньку.
Для полноты картины важно знать как можно больше, чтобы пробелов и неопределенности не было.

[res2001]

Sazoks, В этом случае уже можно остановиться. Дальнейшее погружение в глубь принесет мало практической пользы, а времени уйдет много. Разве что немного продвинетесь в ассемблере и компиляторах, но это уже не С++.

[Mercury13]

Sazoks, Да, вызов Parent() происходит раньше, чем всё, что добавлено в Child.
Кстати, по этой причине вызовы методов из конструктора невиртуальные — ну не является ещё объект Child’ом в Parent::Parent!

[jcmvbkbc]

Вы можете указать в списке инициализации потомка вызов конструктора родителя явно. Тогда он вызовется в указанном порядке.

res2001, ...но при явном указании его нужно поставить на правильное место -- до всех полей потомка. Потому что порядок вызова конструкторов фиксирован. Я не вижу в стандарте санкций за нарушение порядка конструкторов в списке инициализации, но gcc выдаст предупреждение, если порядок в списке инициализации не будет соответствовать реальному порядку их вызова.

[Sazoks]

jcmvbkbc, ну оно в принципе и логично)