虚基类的构造函数

#include <iostream>

using namespace std;

class base
{
private:
    int a ;
public:
    base(int sa)
    {
        a = sa;
        cout << "基类构造函数"<< endl;
    }


};
class base1: virtual public base
{
private:
    int b;
public:
    base1 (int sa, int sb) : base(sa)
    {
        b = sb;
        cout <<  "派生类1构造函数"<< endl;
    }
};
class base2: virtual public base
{
private:
    int c;
public:
    base2 (int sa,int sc) : base(sa)
    {
        c = sc ;
        cout << "派生类2构造函数"<< endl;
    }
};

class derived: public base1, public base2{
    int d;
public:
 derived(int sa,int sb,int sc,int sd ):base(sa),base1(sa,sb),base2(sa,sc)
{
    d = sd;
    cout << "派生类3构造函数"<< endl;
}
};
int main ()
{
derived obj(2, 4, 6, 8 ) ;
return 0 ;
}

结果：

在上述程序中 , base 是一个虚基类 , 它只有一个带参数的构造函数 , 因此要求在派生类 base1、 base2 和 derived 的构造函数的初始化表中 , 都必须带有对 base 构造函数的调用。
如果 base 不是虚基类 , 在派生类 derived 的构造函数的初始化表中调用 base 的构造函数是错误的 ,

但是当 base 是虚基类且只有带参数的构造函数时 , 就必须在类 derived 的构造函数的初始化表中调用类 base 的构造函数。因此 , 在 derived 构造函数的初始化表中 , 不仅含有对 base1 和 base2 构造函数的调用 , 还有对虚基类 base 构造函数的调用。上
述程序运行的结果为 :

不难看出 , 上述程序中虚基类 base 的构造函数只执行了一次。显然 , 当 derived 的构
造函数调用了虚基类 base 的构造函数之后 , 类 base1 和类 base2 对 base 构造函数的调用
被忽略了。这也是初始化虚基类和初始化非虚基类不同的地方。
说明 :
(1 ) 关键字 virtual 与派生方式关键字 ( public 或 private) 的先后顺序无关紧要 , 它只
说明是 “ 虚拟派生”。例如以下两个虚拟派生的声明是等价的。
class derived: virtual public base{
/ / …
};
class derived: public virtual base{
/ / …
};
(2 ) 一个基类在作为某些派生类虚基类的同时 , 又作为另一些派生类的非虚基类 , 这
种情况是允许存在的 , 例如 :
class B{
/ / …
};
class X∶virtual public B{
· 116 ·/ / …
};
class Y ∶virtual public B{
/ / …
};

class Z∶public B{
/ / …
};
class AA ∶public X, public Y , public Z{
/ / …
};

虚基类的构造函数

猜你喜欢