虚继承/虚基类

如果一个派生类D有多个直接基类B、C，而这些直接基类又有一个共同的基类A
代码 1：

class A{public:    A(){cout<<"A构造函数！"<<endl;}    void out(){cout<<"A out"<<endl;}    int flag;};class B : public A{public:    B(){cout<<"B构造函数！"<<endl;}    void outB(){cout<<"B out"<<endl;}    int flagB;};class C : public A{public:    C(){cout<<"C构造函数！"<<endl;}    void outC(){cout<<"C out"<<endl;}    int flagC;};class D : public B, public C{public:    D(){cout<<"D构造函数！"<<endl;}};

则在最终的派生类D中保留该间接共同基类数据成员的多份同名成员。在引用这些同名成员时必须在派生类对象名后增加直接基类名，以避免二义性，如 d1.B::out()。

保留多份数据成员的拷贝，不仅占用较多的存储空间，还增加了访问这些成员的困难，容易出错。实际上，并不需要多份拷贝。

C++提供虚基类的方法，使得在继承间接共同基类时只保留一份成员。
代码 2：

class A{...};class B : virtual public A{...};class C : virtual public A{...};

虚基类并不是在声明基类时声明的，而是在声明派生类时，指定继承方式时声明的。
如果在虚基类中定义了带参数的构造函数，而且没有定义默认构造函数，则在其所有派生类中（包括直接和间接派生类），通过构造函数的初始化表对虚基类进行初始化。
代码 3：

class A{A(int i){}...};class B : virtual public A{B(int n):A(n){}...};class C : virtual public A{C(int n):A(n){}...};class D : public B, public C{D(int n):A(n),B(n),C(n){}...};

代码 1中

main    D d;

运行结果：

A构造函数！B构造函数！A构造函数！C构造函数！D构造函数！

代码 4：

class A{public:    A(){cout<<"A构造函数！"<<endl;}    void out(){cout<<"A out"<<endl;}    int flag;};class B : virtual public A{public:    B(){cout<<"B构造函数！"<<endl;}    void outB(){cout<<"B out"<<endl;}    int flagB;};class C : virtual public A{public:    C(){cout<<"C构造函数！"<<endl;}    void outC(){cout<<"C out"<<endl;}    int flagC;};class D : public B, public C{public:    D(){cout<<"D构造函数！"<<endl;}};

运行结果：

A构造函数！B构造函数！C构造函数！D构造函数！

编译器只执行最后派生类D对虚基类构造函数的调用，忽略虚基类的其他派生类（B，C）对虚基类构造函数的调用，这样保证了虚基类的数据成员不会被多次初始化。