当前位置:主页 > c/c++教程 > 参数对象 局部对象

解析c++中参数对象与局部对象的析构顺序的详解

发布:2022-04-15 14:45:54 59


给网友们整理c++相关的编程文章,网友卓彩萱根据主题投稿了本篇教程内容,涉及到参数对象、局部对象、顺序、参数对象 局部对象相关内容,已被561网友关注,内容中涉及的知识点可以在下方直接下载获取。

参数对象 局部对象

下面是c++的源码:

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

};
void f(X x) {
  X x1;
  x.i = 1;
  x.j = 2;

}
int main() {
    f(X());
}

下面是main函数的汇编码:

_main    PROC
; 15   : int main() {

    push    ebp     mov    ebp, esp     sub    esp, 8;为临时对象预留8byte空间,由于没有显示定义构造函数,               ;而且这种情况下编译器提供无用的默认构造函数,因此看不到构造函数的调用

; 16   :     f(X());

    mov    eax, DWORD PTR $T2560[ebp+4];将偏移临时变量的首地址4byte处内存中内容给eax,即将临时变量的成员变量j值给eax     push    eax;将eax压栈     mov    ecx, DWORD PTR $T2560[ebp];将临时变量首地址中的内容给ecx,即将临时变量中的成员变量i值给ecx     push    ecx;将ecx压栈                ;上面四句创建了临时变量的一份拷贝,作为参数调用f     call    ?f@@YAXVX@@@Z                ; 调用函数f     add    esp, 8;将栈顶指针下移8byte,释放为参数对象的提供的栈空间     lea    ecx, DWORD PTR $T2560[ebp];将临时对象的首地址给ecx     call    ??1X@@QAE@XZ                ; 为临时对象调用析构函数

; 17   : }

    xor    eax, eax     mov    esp, ebp     pop    ebp     ret    0 _main    ENDP

从上面可以看出,产生的临时对象在函数调用完成退出后才调用析构函数。

下面是f函数的汇编码:

?f@@YAXVX@@@Z PROC                    ; f


; 9    : void f(X x) {

    push    ebp     mov    ebp, esp     sub    esp, 8;为局部对象x1预留8byte的空间

; 10   :   X x1; ; 11   :   x.i = 1;

    mov    DWORD PTR _x$[ebp], 1;把1写给参数对象首地址处,即把1写入参数对象的成员变量i

; 12   :   x.j = 2;

    mov    DWORD PTR _x$[ebp+4], 2;把2写入偏移参数对象首地址4byte处的内存,即把2写入参数对象的成员变量j

; 13   :     ; 14   : }

    lea    ecx, DWORD PTR _x1$[ebp];将局部变量x1的首地址给ecx     call    ??1X@@QAE@XZ                ; 为x1调用析构函数     lea    ecx, DWORD PTR _x$[ebp];将参数对象的首地址给ecx     call    ??1X@@QAE@XZ                ; 为参数对象调用析构函数     mov    esp, ebp     pop    ebp     ret    0 ?f@@YAXVX@@@Z ENDP                    ; f ; Function compile flags: /Odtp _TEXT    ENDS ;    COMDAT ??1X@@QAE@XZ _TEXT    SEGMENT _this$ = -4                        ; size = 4 ??1X@@QAE@XZ PROC                    ; X::~X, COMDAT ; _this$ = ecx

; 6    :    ~X() {}

    push    ebp     mov    ebp, esp     push    ecx     mov    DWORD PTR _this$[ebp], ecx     mov    esp, ebp     pop    ebp     ret    0 ??1X@@QAE@XZ ENDP

从上面的代码可以看出,参数对象和局部对象都是在函数退出之前调用析构函数。并且参数对象在局部对象调用析构函数之后再调用自己的析构函数。


参考资料

相关文章

网友讨论