Последовательность вызовов конструктора в множественном наследовании

Question

Я пытался найти много, что Что делать, если только один класс создается виртуальным в множественном наследовании? Поведение вызова конструктора мне непонятно в этом случае. Пусть говорят, например code-

#include<iostream> 
using namespace std; 
class grand{ 
public: 
    grand(){cout<<"grandfather"<<endl;} 
}; 
class parent1:virtual public grand{ //virtual used only here 
public: 
    parent1(){cout<<"parent1 "<<endl;} 
}; 
class parent2: public grand{ 
public: 
    parent2(){cout<<"parent2"<<endl;} 
}; 
class child:public parent1,public parent2{ 
public: 
    child(){cout<<"child"<<endl;} 
}; 
int main() { 
    child s; 
    return 0; 
} 

Выходной сигнал этого кода приходит в

grandfather 
parent1 
grandfather 
parent2 
child 

, но в коде выше, если мы изменим этот

class parent1:virtual public grand{ 
public: 
    parent1(){cout<<"parent1 "<<endl;} 
}; 
class parent2: public grand{ 
public: 
    parent2(){cout<<"parent2"<<endl;} 
}; 

к этому

class parent1:public grand{ //virtual removed from here 
public: 
    parent1(){cout<<"parent1 "<<endl;} 
}; 
class parent2:virtual public grand{ //virtual is added here 
public: 
    parent2(){cout<<"parent2"<<endl;} 
}; 

выход показан как

grandfather 
grandfather //why parent1 constructor is not called here? 
parent1 
parent2 
child 

Моя забота почему родительский конструктор не вызван после деда?

Answer 1

Стандарт говорит [C++ 11 раздел 12.6.2/10], что:

В не делегировании конструктор, инициализации переходит в следующем порядке:

- Во-первых, и только для конструктора самого производного класса, виртуальные базовые классы инициализируются в том порядке, в каком они появляются на первом этапе слева направо, на уровне пересечения направленного ациклического графа базовых классов, где «слева направо» "- порядок появления базовых классов i n список-спецификатор производного класса.

- Затем прямые базовые классы инициализируются в порядке декларации, так как отображаются в списке-спецификаторе-базе (независимо от порядка памяти-инициализаторов ).

- Затем нестатические элементы данных инициализируются в том порядке, в каком они были , объявленные в определении класса (опять же независимо от порядка памяти-инициализаторов ).

- Наконец, выполняется составная инструкция тела конструктора.

Итак, ваши виртуальные базовые классы всегда создаются первыми ... Это действительно важно в случае совместного использования виртуального базового класса.