深入c++中临时对象的析构时机的详解
c++中，临时对象一旦不需要，就会调用析构函数，释放其占有的资源；而具名对象则是与创建的顺序相反，依次调用析构函数。
c++源码:
class X {
public:
int i;
int j;
~X() {}
X() {}
};
int main() {
X x1;
X();
x1.i = 1;
X x2;
}
对应的汇编码:
_main PROC
; 11 : int main() {
push ebp
mov ebp, esp
sub esp, 24 ; 为x1 临时对象 x2预留24byte空间
; 12 : X x1;
lea ecx, DWORD PTR _x1$[ebp];获取x1对象的首地址，作为隐含参数传入构造函数
call ??0X@@QAE@XZ ; 为x1调用构造函数
; 13 : X();
lea ecx, DWORD PTR $T2559[ebp];获取临时对象首地址，作为隐含参数传入构造函数
call ??0X@@QAE@XZ ; 为临时对象调用构造函数
lea ecx, DWORD PTR $T2559[ebp];获取临时对象首地址，作为隐含参数传入析构函数
call ??1X@@QAE@XZ ; 为临时对象调用析构函数
; 14 : x1.i = 1;
mov DWORD PTR _x1$[ebp], 1;将1写给x1首地址处内存，即将1写入x1中的成员变量i中
; 15 : X x2;
lea ecx, DWORD PTR _x2$[ebp];获取x2的首地址，作为隐含参数传入构造函数
call ??0X@@QAE@XZ ; 为x2调用构造函数
; 16 :
; 17 :
; 18 : }
lea ecx, DWORD PTR _x2$[ebp];获取x2的首地址，作为隐含参数传入析构函数
call ??1X@@QAE@XZ ; 为x2调用析构函数
lea ecx, DWORD PTR _x1$[ebp];获取x1的首地址，作为隐含参数传入析构函数
call ??1X@@QAE@XZ ; 为x1调用析构函数
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
从上面的汇编码可以看出，临时对象确实是在不需要之后就调用了析构函数，尽管它在x2对象之前被创建，但依然在x2对象之前被析构。而x1 x2析构函数调用顺序，是与他们构造函数的调用顺序相反。
再看下面的情况:
c++中的源码:
class X {
public:
int i;
int j;
int k;
X() {}
~X() {}
};
int main() {
X x1;
X(), x1.i = 1;//这里有一条逗号运算符
X x2;
}
这里，改造临时对象之后，有一个逗号表达式，而不是分号。
下面是汇编码:
; 12 : int main() {
push ebp
mov ebp, esp
sub esp, 36 ; 为x1 临时对象 x2预留36字节的空间
; 13 : X x1;
lea ecx, DWORD PTR _x1$[ebp];获取x1的的首地址，作为隐含参数传递给构造函数
call ??0X@@QAE@XZ ; 为x1调用构造函数
; 14 : X(), x1.i = 1;//这里有一条逗号运算符
lea ecx, DWORD PTR $T2560[ebp];获取临时对象的首地址，作为隐含参数传递给构造函数
call ??0X@@QAE@XZ ; 为临时对象调用构造函数
mov DWORD PTR _x1$[ebp], 1;将1赋给x1首地址处的内存，即给x1的成员变量i赋值1
lea ecx, DWORD PTR $T2560[ebp];获取临时变量的首地址，作为隐含参数传递给析构函数
call ??1X@@QAE@XZ ; 为临时对象调用析构函数
; 15 : X x2;
lea ecx, DWORD PTR _x2$[ebp];获取x2的首地址，作为隐含参数传递给构造函数
call ??0X@@QAE@XZ ; 为x2调用构造函数
; 16 : }
lea ecx, DWORD PTR _x2$[ebp];获取x2的首地址，作为隐含参数传递给析构函数
call ??1X@@QAE@XZ ; 为x2调用析构函数
lea ecx, DWORD PTR _x1$[ebp];获取x1的首地址，作为隐含参数传递给析构函数
call ??1X@@QAE@XZ ; 为x1调用析构函数
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
可以看到，与第一次不同的是，临时对象构造完毕之后，并没有立即调用析构函数，而是执行了逗号后面的赋值语句后，才调用的析构函数。
综上所述:
临时对象调用析构函数的时机是一条高级语言执行完毕的时候，而一条高级语言执行完毕的标志是分号。所以，临时对象调用析构函数的时机是碰到分号的时候
相关文章
这篇文章主要介绍了使用C语言操作文件的基本函数整理,包括创建和打开以及关闭文件的操作方法,需要的朋友可以参考下2015-08-08
我们知道声明的所有变量在内存中都有一个特定的地址。声明一个指针变量来指向内存中的这些地址，这篇文章主要介绍了C++中指针和内存分配，需要的朋友参考下吧2021-06-06
这篇文章主要介绍了C语言中指针数组与数组指针的区别,是C语言入门学习中的基础知识,需要的朋友可以参考下2015-11-11
学习过C语言的小伙伴知道：C语言是面向过程的，关注的是过程，分析出求解问题的步骤，通过函数调用逐步解决问题，这篇文章主要介绍了C++面向对象中构造函数使用2022-10-10
用C++做业务发开的同学是否还在不厌其烦的编写大量if-else模块来做接口参数校验呢？今天，我们就模拟Java里面通过注解实现参数校验的方式来针对C++ protobuf接口实现一个更加方便、快捷的参数校验自动工具，希望对大家有所帮助2023-04-04
本篇文章是对正确使用语句块进行了详细的分析介绍，需要的朋友参考下2013-05-05
这篇文章主要介绍了c++实现LinkBlockedQueue的问题,本文给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下2020-10-10
道路交通标志用以禁止、警告、指示和限制道路使用者有秩序地使用道路, 保障出行安全.若能自动识别道路交通标志, 则将极大减少道路交通事故的发生。本文将介绍基于Matlab实现BP神经网络交通标志识别，感兴趣的可以学习一下2022-01-01
这篇文章主要介绍了C++检查某个文件或目录是否存在的函数,是Windows应用程序设计中非常常见的实用技巧,需要的朋友可以参考下2014-10-10
这篇文章主要介绍了详解C语言中的常量指针和指针常量,包括其之间的区别是C语言入门学习中的基础知识,需要的朋友可以参考下2015-08-08
最新评论