从汇编看c++中临时对象的析构时机
2023-09-11 14:18:46 时间
http://www.cnblogs.com/chaoguo1234/archive/2013/05/12/3074425.html
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++ 字符串
- [c++菜鸟]《Accelerate C++》读书笔记
- 【转】C++右值引用和std::move
- 【转】C++ stringstream介绍,使用方法与例子
- C++第11周项目3(6)——万以内可逆素数
- c++ 如何获取系统时间
- C++类、对象
- vim中c/c++源码跳转
- 《C++覆辙录》——2.7:“函数还是对象”的多义性
- 《C++面向对象高效编程(第2版)》——1.14 对象模型的优点
- 《C++面向对象高效编程(第2版)》——2.16 识别成员函数的目标对象
- 《像计算机科学家一样思考C++》——1.5 第一个程序
- 《数字图像处理与机器视觉——Visual C++与Matlab实现》——0.3 数字图像处理的预备知识
- 基于C++ OpenGL 绘制太阳系【100010740】
- C++编译器符号表有哪些内容?
- 纪念逝去的岁月——C/C++选择排序
- 【C++初阶】类和对象(二)