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