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{}結(jié)果
A B A C D匯編代碼如下:
根據(jù)上述結(jié)果,說(shuō)明了構(gòu)造函數(shù)的調(diào)用順序是按照 B 和 C 的繼承順序依次調(diào)用的,在調(diào)用 B 的構(gòu)造函數(shù)的時(shí)候,發(fā)現(xiàn) B 有父類(lèi) A ,所以又開(kāi)始調(diào)用 A 的構(gòu)造函數(shù)。依次執(zhí)行,從而完成整個(gè)類(lèi) D 的構(gòu)造函數(shù)的調(diào)用。執(zhí)行流程圖如下圖所示:
二、修改,如下:
class B : virtual public A{} class C : virtual public A{}結(jié)果
A B C D匯編代碼如下:
三、修改,如下:
class B : virtual public A{} class C : public A{}結(jié)果
A B A C D匯編代碼如下:
四、修改,如下:
class B : public A{} class C : virtual public A{}結(jié)果
A A B C D匯編代碼如下:
總結(jié)
由上述 4 個(gè)栗子可以知道如下內(nèi)容:
1、對(duì)于父類(lèi)存在虛基類(lèi)繼承的情況(A),虛基類(lèi)(A類(lèi))會(huì)在最下層的類(lèi)(D類(lèi))對(duì)象的構(gòu)造函數(shù)之前優(yōu)先執(zhí)行,然后再按照 D 類(lèi)的繼承順序依次執(zhí)行各自的構(gòu)造函數(shù)。
2、當(dāng)執(zhí)行 B、C 二類(lèi)的構(gòu)造函數(shù)時(shí),存在虛繼承 A 類(lèi)的類(lèi),構(gòu)造函數(shù)跳過(guò)執(zhí)行 A 的構(gòu)造函數(shù),即:直接執(zhí)行 B 或者 C 的構(gòu)造函數(shù)。栗子:
class B : public A{} class C : virtual public A{}執(zhí)行 B 類(lèi)的構(gòu)造函數(shù)時(shí),由于 B 是普通繼承 A 的,所以會(huì)執(zhí)行 A 的構(gòu)造函數(shù)再執(zhí)行 B 的構(gòu)造函數(shù)。
執(zhí)行 C 類(lèi)的構(gòu)造函數(shù)時(shí),由于 C 是虛繼承 A 的,所以會(huì)跳過(guò) A 的構(gòu)造函數(shù),直接執(zhí)行 B 的構(gòu)造函數(shù)。
3、對(duì)于 B 和 C 都是虛繼承 A 的情況,D 構(gòu)造函數(shù)之前就調(diào)用 A 的構(gòu)造函數(shù),然后在執(zhí)行 B 和 C 的構(gòu)造函數(shù)之前,全部跳過(guò)各自的 A 的構(gòu)造函數(shù)的代碼,直接執(zhí)行 B 和 C 的構(gòu)造函數(shù)。
?
(SAW:Game Over!)
總結(jié)
以上是生活随笔為你收集整理的Cpp 对象模型探索 / 带有虚继承类的构造函数的调用顺序的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問(wèn)題。
- 上一篇: Cpp 对象模型探索 / 外部调用私有的
- 下一篇: Cpp 对象模型探索 / 不能被继承的类