Начнем с фрагмента кода:
#include <iostream>
struct God{
God(){_test = 8;}
virtual ~God(){}
int _test;
};
struct Base1 : public virtual God{
//Base1(){std::cout << "Base1::Base1" << std::endl;} //enable this line to fix problem
virtual ~Base1(){}
};
struct Base2 : public virtual Base1{
virtual ~Base2(){}
};
struct A1 : public virtual Base2{
A1(){std::cout << "A1:A1()" << std::endl;}
virtual ~A1(){};
};
struct A2 : public virtual Base2{
A2(){std::cout << "A2:A2()" << std::endl;}
virtual ~A2(){};
};
struct Derived: public virtual A1, public virtual A2{
Derived():Base1(){std::cout << "Derived::Derived()" << std::endl;}
Derived(int i){std::cout << "Derived(i)::Derived(i)" << std::endl;}
virtual ~Derived(){}
};
int main(){
God* b1 = new Derived();
std::cout << b1->_test << std::endl; //why it prints 0?
God* b2 = new Derived(5);
std::cout << b2->_test << std::endl;
return 0;
}
Скомпилировано с GCC 4.5.1 и 4.6.1 Единственная разница между конструкторами класса Derived заключается в том, что первый явно указывает, какой конструктор Base1 должен быть вызван. Я ожидал, что оба cout в main () напечатают 8. К сожалению, первый напечатает 0 !.
Почему?
Если я включу явное определение конструктора Base1, это решит проблему. Если я удалю виртуальное наследование в определении производного класса (класс Derived: public A1, public A2), он также будет работать. Это ожидаемое поведение?
Проблема не наблюдается в GCC 3.4.4 или компиляторе Microsoft (VS)