虚继承中有这样一个规定:如果虚基类中没有可用的默认构造函数,那么在虚继承体系中,虚基类必须由最低层的派生类显示的初始化。见下例:A是虚基类,B和C都虚继承了A,最低层的类D同时继承B和C。
class A{ //虚基类
public:
//A():amem(0){ } 不提供可使用的默认构造函数
A(int x):amem(x){ }
int amem;
};
class B:public virtual A{
public:
B(int x1,int x2):A(x1),bmem(x2){ } //虚继承
int bmem;
};
class C:public virtual A{
public:
C(int x1,int x2):A(x1),cmem(x2){ } //虚继承
int cmem;
};
class D:public B,public C{
public:
D(int x1,int x2,int x3):A(x3),B(x1,x1),C(x2,x2){ } /低层派生类D直接调用虚基类A的构造函数,并且使得其上层的类(B,C)对虚基类的构造失效
};
int main(){
D obj(1,2,3);
cout<<obj.amem<<" "<<obj.bmem<<" "<<obj.cmem<<endl;
}
程序运行结果为:3 1 2
下面利用虚继承的这个特性来实现不允许继承的类。需要说明的是,在C++11中提供了关键字final将一个类声明为不允许继承的类,这种简洁有效的方法在实际值得提倡,这里借助虚继承的手法来实现不允许继承的类只是为了展现C++之父Bjarne Stroustrup在新标准出来之前的鬼斧神工。见下例:
class vir_base{ //虚基类
friend class derived; //将derived类声明为友元,否则derived的构造函数中无法调用vir_base的构造函数完成vir_base的初始化
private:
vir_base(int x):mem(x){ } //构造函数声明为private的
int mem;
};
class derived : public virtual vir_base { //虚继承至base类,这个类就是我们需要的,不允许其他类继承的类
public:
derived(int x1,int x2):vir_base(x1),m(x2){ }
private:
int m;
};
class dd : public derived{ //dd试图继承derived类,但是不允许的
public:
dd(int x1,int x2):vir_base(x1),derived(x2,x2){ } //编译器报错,无法调用vir_base的构造函数,因为它是private的
};