关于C++派生类中构造函数调用顺序的问题

来源:互联网 发布:遇到网络骗局怎么办 编辑:程序博客网 时间:2024/05/23 01:56

    近期在网上搜寻了一下关于C++派生类构造函数的调用问题,大部分博文给出的顺序是:

1、基类构造

2、成员构造

3、派生构造。

这个顺序严格来讲是错误的,对新手极具误导性!


    依据侯捷翻译的Stanley B. Lippman的<<深度探索C++对象模型>>一书(主要是其中5.2节“继承体系下的对象构造”的叙述),对于一个派生类的构造函数,其中包含了基类构造、成员构造和自定义的代码等部分(忽略与本讨论不太相关的this指针、虚函数表指针等),其代码安排顺序为:

1、(虚继承的)基类构造

2、(普通继承的)基类构造

3、设定虚表指针

4、成员构造

5、自己写的代码


真正生成的派生类的构造函数的形式如下:(忽略关于this指针、虚函数表指针的代码)

//CDerive为派生类,CVBase为虚继承的基类,CBase为基类,member为CMember类型的成员

CDerive::CDerive()

{

    CVBase::CVBase();

    CBase::CBase();

    member.CMember::CMember();

    //自己的代码

}


由此可以看出,基类构造的调用是在派生构造之中而不是之后,派生构造的调用与基类构造的调用是包含关系而不是先后关系。对“函数调用”的理解通常是:跳转到函数入口地址并执行其后的代码,若以此说来,真正的调用顺序为:

1、派生构造

2、基类构造

3、成员构造


经调试,实际的代码执行结果符合Lippman的描述,函数调用的堆栈顺序:

1、派生构造进入

2、基类构造进入

3、基类构造返回

4、成员构造进入

5、成员构造返回

6、派生构造返回


下面贴几张调试时的图片:(OS: Win7x64  IDE: VS2010)


继承关系如图


1、首先进入派生类构造函数的断点


2、进入了虚继承的基类构造的断点。按照继承时的顺序,CVBase在CBase之后的,但因为是虚继承所以先执行它的构造


3、执行完CVBase的构造后接着执行CBase的构造


4、最后执行CInner的构造


5、后面将执行CDerive构造中自己写的代码了,但调试时忘了给这一步截图,这里也就没图可贴了 0.0~



0 0