虚继承/虚基类

如果一个派生类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）对虚基类构造函数的调用，这样保证了虚基类的数据成员不会被多次初始化。