C++类继承中的构造与析构

对于以下两个类
在这里插入图片描述
执行以下操作:

A* p = new B;
delete p;
p->test();
return 0;

根据我以前知道的知识,在new子类时,会先调用基类构造,再调用子类构造;在delete子类时,会先调用子类析构,再调用基类析构;

而奇怪的是,在调用子类的虚函数test时,并不会在调用前或调用后自动调用基类的test函数。

为什么构造函数和析构函数如此特殊?自动调用过程是如何实现的呢?

首先纠正一个错误:在执行new时我们可以观察到,程序会先执行基类A构造函数中的操作,再执行子类B构造函数中的操作,但这不代表先调用了A的构造,其后才调用的B的构造。

如果仔细观察汇编代码,可以发现main确确实实的call了 B::B()
在这里插入图片描述

问题就出在编译器在编译存在继承关系的类的构造与析构时的特殊对待:
在编译B的构造函数时,在处理完栈指针和参数后(参数可能是B对象的地址),会调用A的构造(如图4012a1),此后再执行B构造中的操作。
在这里插入图片描述

同样的,在编译B的析构函数时,在执行完整个函数准备ret前,会调用A的析构函数(如图4012e2)。
在这里插入图片描述

总结:子类的构造与析构如此特殊在于编译器对它们的特殊处理,子类的构造函数在执行第一行语句前,会调用基类的构造函数;而子类的析构函数在执行完所有操作准备ret前,会调用基类的析构函数。这也就导致我们能够观察到多重继承中的层层构造和层层析构,因为父类的构造(析构)已经被编译到子类的构造(析构)中,自然会有这样的调用顺序!甚至就算在子类的析构中插入return语句,都只会jmp到调用父类析构前的语句,而不是像普通函数一样直接ret。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值