C++编译器：虚基类及其派生类的构造函数

 

C++编译器：虚基类及其派生类的构造函数

     如果虚基类中声明了非默认形式的构造函数，并且没有声明默认形式的构造函数，那么在整个继承关系中，直接或间接继承虚基类的所有派生类，都必须在构造函数的成员初始化类表中列出对虚基类的初始化。

#include <iostream>using namespace std;struct A1{ A1(int i):ia1(i){} //A1(int i=0):ia1(i){} int ia1; void display(){cout <<"A1::display()"<<"..."<<ia1<<endl;}};struct B1 : virtual public A1{ B1(int i):A1(i){} //B1(int i=0):A1(i){} int ib1; void display(){cout <<"B1::display()"<<endl;}};struct B2 : virtual public A1{B2(int i):A1(i){}int ib2;void display(){cout <<"B2::display()"<<endl;}};struct C1:public B1,public B2{C1(int i):B1(i),B2(i),A1(i){} //C1(int i1,int i2):B1(i1),B2(i2){} int ic1;void display()const {cout <<"C1::display()"<<endl;}};main(){C1 c1(1); //C1 c1(1,2);c1.A1::display();} 

输出：A1::display()...1

      看起来在建立C1的对象时有三次初始化A1的ia1数据成员，但编译器采取了也个策略是上述问题不会发生：

     上例建立对象c1时，D1就是最远派生类。

      建立一个对象时，如果这个对象中含有从虚基类继承来的成员，则虚基类的成员由最远派生类的构造函数通过条用虚基类的构造函数进行初始化，该类的其他派生类对虚基类构造函数的调用自动被忽略。（上列中B1,B2）

      可将上述4个注释行前后内容对换测试。

      输出 A1::display()...0

      可是编译器为什么要使用这种策略？在上述例子中假如编译器不使用这种策略

 21行语句 ：C1(int i):B1(i),B2(i),A1(i){}  能否能其他方式实现虚基类的初始化？假如能实现会带来什么问题？