c++之虚基类初始化

C++虚基类构造函数
下面文章详细介绍C++虚基，所谓C++虚基类：是由最派生类的构造函数通过调用虚基类的构造函数进行初始化的，但前提是要深入理解到底什么是C++虚基类，及他是怎么运行的。

前面讲过，为了初始化基类的子对象，派生类的构造函数要调用基类的构造函数。对于虚基类来讲，由于派生类的对象中只有一个虚基类子对象。为保证虚基类子对象只被初始化一次，这个虚基类构造函数必须只被调用一次(考虑多重继承)。

由于继承结构的层次可能很深，规定将在建立对象时所指定的类称为最派生类。C++规定，虚基类子对象是由最派生类的构造函数通过调用虚基类的构造函数进行初始化的。如果一个派生类有一个直接或间接的C++虚基类，那么派生类的构造函数的成员初始列表中必须列出对虚基类构造函数的调用。如果未被列出，则表示使用该虚基类的缺省构造函数来初始化派生类对象中的虚基类子对象。

从虚基类直接或间接继承的派生类中的构造函数的成员初始化列表中都要列出这个虚基类构造函数的调用。但是，只有用于建立对象的那个最派生类的构造函数调用虚基类的构造函数。

而该派生类的基类中所列出的对这个虚基类的构造函数调用在执行中被忽略，这样便保证了对虚基类的对象只初始化一次。C++又规定，在一个成员初始化列表中出现对虚基类和非虚基类构造函数的调用，则C++虚基类的构造函数先于非虚基类的构造函数的执行。

class A
{
public:
    A(const char *s)
    {
        cout << s << endl;
    }
};
class B : virtual public A
{
public:
    B(const char *s1, const char *s2) :A(s1) { cout << s2 << endl; }
};

class C : virtual public A
{
public:  C(const char *s1, const char *s2) :A(s1) { cout << s2 << endl; }
};

class D : public B, public C
{
public:  D(const char *s1, const char *s2, const char *s3, const char *s4) :B(s1, s2), C(s1, s3), A(s1)
{
    cout << s4 << endl;
}
};

/*
输出:
class A
class B
class C
class D
*/

int main()
{
    D *ptr = new D("class A", "class B", "class C", "class D");
    delete ptr;
    ptr = NULL;

    system("pause");
    return 0;
}

 

在派生类B和C中使用了C++虚基类，使得建立的D类对象只有一个虚基类子对象。在派生类B，C，D的构造函数的成员初始化列表中都包含了虚基类A的构造函数。在建立类D对象时只有D的构造函数的成员初始化列表中列出的虚基类构造函数被调用，并且仅调用一次，而类D的基类(B、C)的构造函数的成员初始化列表中列出的虚基类构造函数不被执行。这一点将从该程序的输出结果可以看出。