Cpp 对象模型探索 / 带有虚继承类的构造函数的调用顺序

栗子

#include <iostream>
class A
{
public:
    A() { std::cout << "A" << std::endl; }
};
class B : public A
{
public:
    B() { std::cout << "B" << std::endl; }
};
class C : public A
{
public:
    C() { std::cout << "C" << std::endl; }
};
class D : public B, public C
{
public:
    D() { std::cout << "D" << std::endl; }
};
int main()
{
    D dobj;
    return 0;
}

---

一、

class B : public A{}
class C : public A{}

结果

A B A C D

汇编代码如下：

根据上述结果，说明了构造函数的调用顺序是按照 B 和 C 的继承顺序依次调用的，在调用 B 的构造函数的时候，发现 B 有父类 A ，所以又开始调用 A 的构造函数。依次执行，从而完成整个类 D 的构造函数的调用。执行流程图如下图所示：

---

二、修改，如下：

class B : virtual public A{}
class C : virtual public A{}

结果

A B C D

汇编代码如下：

---

三、修改，如下：

class B : virtual public A{}
class C : public A{}

结果

A B A C D

汇编代码如下：

---

四、修改，如下：

class B : public A{}
class C : virtual public A{}

结果

A A B C D

汇编代码如下：

---

总结

由上述 4 个栗子可以知道如下内容：

1、对于父类存在虚基类继承的情况（A），虚基类（A类）会在最下层的类（D类）对象的构造函数之前优先执行，然后再按照 D 类的继承顺序依次执行各自的构造函数。

2、当执行 B、C 二类的构造函数时，存在虚继承 A 类的类，构造函数跳过执行 A 的构造函数，即：直接执行 B 或者 C 的构造函数。栗子：

class B : public A{}
class C : virtual public A{}

执行 B 类的构造函数时，由于 B 是普通继承 A 的，所以会执行 A 的构造函数再执行 B 的构造函数。

执行 C 类的构造函数时，由于 C 是虚继承 A 的，所以会跳过 A 的构造函数，直接执行 B 的构造函数。

3、对于 B 和 C 都是虚继承 A 的情况，D 构造函数之前就调用 A 的构造函数，然后在执行 B 和 C 的构造函数之前，全部跳过各自的 A 的构造函数的代码，直接执行 B 和 C 的构造函数。

 

（SAW：Game Over！）