虚基类构造函数调用顺序.doc

class Base1 {
public:
    Base1(void) {
    cout << "class Base1" << endl;
    }
};
class Base2 {
public:
    Base2(void) {
    cout << "class Base2" << endl;
    }
};
class Level1:virtual public Base2,public Base1 {
public:
    Level1(void) {
    cout << "class Level1" << endl;
    }
};
class Level2:public Base2,virtual public Base1 {
public:
    Level2(void) {
    cout << "class Level2" << endl;
    }
};
class Leaf:public Level1,virtual public Level2 {
public:
    Leaf(void) {
    cout << "class Leaf" << endl;
    }
};

int main(void) {
    Leaf obj;
    return 0;
}

不看下面的分析，大家觉得输出结果应该是怎么样的？如果没有虚拟继承，也许能很快说出答案。

现在来分析一下在多继承和虚拟继承的情况下，构造函数的调用顺序是怎么样的。

编译器按照直接基类在声明中的顺序，来检查虚拟基类的出现情况。在我们的例子中，Level1首先被检查，然后是Level2。每个继承子树按照深度优先的顺序被检查。即，查找从树根类开始，然后向下移动。如对子树Level1而言，先检查Base2,然后是Base1，再到Level1。但是在虚拟继承中，基类构造函数的查找顺序只是为了知道虚拟继承的情况而已，基类构造函数的调用顺序和查找顺序是不一样的，那应该遵循什么样的一个原则呢?

遵循两个原则，而且按顺序优先满足：1 先调用完所以基类，再调用子类；2 先调用虚拟基类，再调用非虚拟基类。

一旦调用了虚拟基类的构造函数，则非虚拟基类构造函数就按照声明的顺序被调用。

所以针对我们这个例子，因为声明类Leaf的顺序是先Level1后Level2，所以先看看Level1这棵子树吧。
由于Level1虚拟继承Base2，非虚拟继承Base1，所以应该先调用Base2,但是这之后不能接着调用Level1这棵子树的Base1，因为其他子树还有虚拟继承。
现在来看看Level2这棵子树吧，由于Level2虚拟继承Base1,非虚拟继承Base2,所以先调用Base1,后Base2。既然Level2的两个基类都调用了，并且Level2也是一个虚拟基类，所以现在应该调用Level2的构造函数了。
这样，Level2这棵子树的构造函数都调用完了，又回到Level1这棵子树了。接着刚才，由于Level1的Base2已经调用了，接着应该调用Base1了，之后是Level1。
当Leaf的所有直接和间接的基类都调用之后，最后是Leaf构造函数了。

经过以上分析，大家应该知道构造函数的调用顺序了吧，所以该程序的输出应该是
Base2
Base1
Base2
Level2
Base1
Level1
Leaf