• 从汇编看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

    可以看到,与第一次不同的是,临时对象构造完毕之后,并没有立即调用析构函数,而是执行了逗号后面的赋值语句后,才调用的析构函数。

    综上所述:

    临时对象调用析构函数的时机是一条高级语言执行完毕的时候,而一条高级语言执行完毕的标志是分号。所以,临时对象调用析构函数的时机是碰到分号的时候

  • 相关阅读:
    BZOJ-4010 菜肴制作 贪心+堆+(拓扑图拓扑序)
    BZOJ-3670 动物园 KMP+奇怪的东西
    3172
    BZOJ-3668 起床困难综合症 位运算+贪心
    BZOJ-2257 瓶子和燃料 分解因数+数论方面乱搞(裴蜀定理)
    BZOJ-1013 球形空间产生器sphere 高斯消元+数论推公式
    BZOJ-2186 沙拉公主的困惑 线性筛(筛筛筛)+线性推逆元
    BZOJ-2326 数学作业 矩阵乘法快速幂+快速乘
    BZOJ-1705 Longge的问题 一维GCD SUM 乱搞+质因数分解+...
    BZOJ-2875 随机数生成器 矩阵乘法快速幂+快速乘
  • 原文地址:https://www.cnblogs.com/chaoguo1234/p/3074425.html
Copyright © 2020-2023  润新知