当前位置：首页 > 资讯 > 技术文档

深入c++中临时对象的析构时机的详解

时间：2021-06-21 04:02 编辑：来源：阅读：
扫一扫，手机访问

摘要：深入c++中临时对象的析构时机的详解

c++中，临时对象一旦不需要，就会调用析构函数，释放其占有的资源；而具名对象则是与创建的顺序相反，依次调用析构函数。 [b]c++源码: [/b]

class X  {
public:
   int i;
   int j;
   ~X() {}
   X() {}

};
int main() {
    X x1;
    X();
    x1.i = 1;
    X x2;

   
}

[b]对应的汇编码: [/b]

[u]复制代码[/u] 代码如下:

_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析构函数调用顺序，是与他们构造函数的调用顺序相反。再看下面的情况: [b]c++中的源码: [/b]

[u]复制代码[/u] 代码如下:

class X  {
public:
  int i;
  int j;
  int k;
  X() {}
  ~X() {}
};
int main() {
    X x1;
    X(), x1.i = 1;//这里有一条逗号运算符
    X x2;
}

这里，改造临时对象之后，有一个逗号表达式，而不是分号。 [b]下面是汇编码: [/b]

[u]复制代码[/u] 代码如下:

; 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

可以看到，与第一次不同的是，临时对象构造完毕之后，并没有立即调用析构函数，而是执行了逗号后面的赋值语句后，才调用的析构函数。 [b]综上所述:[/b] 临时对象调用析构函数的时机是一条高级语言执行完毕的时候，而一条高级语言执行完毕的标志是分号。所以，临时对象调用析构函数的时机是碰到分号的时候

全部评论(0)

上一篇：PHP依赖倒置(Dependency Injection)代码实例
下一篇：C++ 中指针和引用有什么区别详解

资讯排行榜
更多>>