Добрый день!
1) Есть:
class A;
class B: virtual public A;
class C: virtual public A;
class D: public B, public C;
В общем классика, конструкторы вызываются как: А В С D.
2) Делаем так:
class A;
class B: public A;
class C: virtual public A;
class D: public B, public C;
Как я понимаю, воспринимает это класс D: A B (v)A C D. virtual A переносится на первое место и получаем вызов конструкторов: (v)A A C B D.
3) Теперь делаем так:
class A;
class D: public А, virtual public A;
Как я понимаю, воспринимает это класс D: A, (v)A. вызов конструкторов: (v)A A. - это по логике предыдущего примера, и так нельзя, я могу согласиться с этим, хорошо. Но вот вернемся к первой классике, как я понимаю видит это класс D: (v)A B (v)A C D. Пусть потом виртуалы пойдут на первое место и будет: (v)A (v)A B C D. По логике моего 2-oго примера. Такие дела, помогите разобраться с очередностью вызовов конструктора в виртуальном наследовании. Опишите хотя бы, почему в первой классике вызывается только один базовый конструктор и где у потомков прописано, что так и нужно. Спасибо.
B
вызывает (или там решает, вызывать или нет) конструкторы его виртуальных базовых классов, это most derived --A
. Потом вызываются как обычно рекурсивно конструкторы невиртуальных классов.