Если я все правильно помню, то при ромбовидном наследовании класс Multi будет иметь две копии Base. Но если сделать наследование виртуальным, то копия будет одна.
Именно по этой причине то два раза выводится, то один.
UPD:
Странный, синтетический пример, но может кому то он сэкономит время.
#include <iostream>
class Base {
public:
int k;
Base() {
std::cout<<"Create!"<<std::endl;
k = 0;
}
~Base() {
std::cout << "Delete " << k << std::endl;
}
};
class Sub1 : public virtual Base {};
class Sub2 : public Base {};
class Sub3 : public virtual Base {};
class Sub4 : public Base {};
class Multi : public Sub1, public Sub2, public Sub3, public Sub4 {
public:
Multi() {
if (Sub1::k == 0)
Sub1::k = 1;
else
std::cout << " try init 1, but was init by " << Sub1::k << std::endl;
if (Sub2::k == 0)
Sub2::k = 2;
else
std::cout << " try init 2, but was init by " << Sub2::k << std::endl;
if (Sub3::k == 0)
Sub3::k = 3;
else
std::cout << " try init 3, but was init by " << Sub3::k << std::endl;
if (Sub4::k == 0)
Sub4::k = 4;
else
std::cout << " try init 4, but was init by " << Sub4::k << std::endl;
}
};
int main()
{
Multi m;
return 0;
}
Вывод:
Create!
Create!
Create!
try init 3, but was init by 1
Delete 4
Delete 2
Delete 1
Для понимания, нужно знать, что Sub1::k
это специальная форма, что бы обратиться к правильной ветке в ромбовидном наследовании (со словом специально я конечно погорячился - оно работает и в других наследованиях:) ).
Как видно, в выводе деструктора нет нулей, поэтому инициализировались точно все копии Base
. Но как видно, одна копия (номер 3) не была инициализирована повторно.
Деструкторы обычно вызываются в обратном порядке.