深入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
可以看到,与第一次不同的是,临时对象构造完毕之后,并没有立即调用析构函数,而是执行了逗号后面的赋值语句后,才调用的析构函数。
综上所述:
临时对象调用析构函数的时机是一条高级语言执行完毕的时候,而一条高级语言执行完毕的标志是分号。所以,临时对象调用析构函数的时机是碰到分号的时候
相关文章
- 这篇文章主要介绍了Python析构函数__del__定义原理解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下...2020-11-20
- 这篇文章主要介绍了C++ 临时量与临时对象及程序的相关优化,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 这篇文章主要介绍了C# 的析构以及垃圾回收实例分析的相关资料,需要的朋友可以参考下...2020-06-25
详解C++ 编写String 的构造函数、拷贝构造函数、析构函数和赋值函数
这篇文章主要介绍了详解C++ 编写String 的构造函数、拷贝构造函数、析构函数和赋值函数的相关资料,这里提供实例帮助大家理解掌握这部分内容,需要的朋友可以参考下...2020-04-25- 大家可能对这个临时对象这个概念还不是很清楚,那么首先我们花一些时间来理解临时对象...2020-04-25
- 本篇文章对c++中临时对象的析构时机进行了详细的分析介绍,需要的朋友参考下...2020-04-25
- 这篇文章主要介绍了C++的虚析构详解及实例代码的相关资料,需要的朋友可以参考下...2020-04-25
- 这篇文章主要为大家详细介绍了C++继承中的对象构造与析构和赋值重载,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助...2022-03-04
- 这篇文章主要为大家详细介绍了C++构造和析构,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助...2022-03-11