快捷導(dǎo)航

解析c++中參數(shù)對(duì)象與局部對(duì)象的析構(gòu)順序的詳解

更新時(shí)間：2013年05月13日 09:03:54 作者：

本篇文章是對(duì)c++中參數(shù)對(duì)象與局部對(duì)象的析構(gòu)順序進(jìn)行了詳細(xì)的分析介紹，需要的朋友參考下

下面是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函數(shù)的匯編碼:

復(fù)制代碼代碼如下:

_main PROC

; 15 : int main() {

    push    ebp
    mov    ebp, esp
    sub    esp, 8;為臨時(shí)對(duì)象預(yù)留8byte空間，由于沒有顯示定義構(gòu)造函數(shù)，
              ;而且這種情況下編譯器提供無用的默認(rèn)構(gòu)造函數(shù)，因此看不到構(gòu)造函數(shù)的調(diào)用

; 16 : f(X());

    mov    eax, DWORD PTR $T2560[ebp+4];將偏移臨時(shí)變量的首地址4byte處內(nèi)存中內(nèi)容給eax，即將臨時(shí)變量的成員變量j值給eax
    push    eax;將eax壓棧
    mov    ecx, DWORD PTR $T2560[ebp];將臨時(shí)變量首地址中的內(nèi)容給ecx，即將臨時(shí)變量中的成員變量i值給ecx
    push    ecx;將ecx壓棧
               ;上面四句創(chuàng)建了臨時(shí)變量的一份拷貝，作為參數(shù)調(diào)用f
    call    ?f@@YAXVX@@@Z                ; 調(diào)用函數(shù)f
    add    esp, 8;將棧頂指針下移8byte，釋放為參數(shù)對(duì)象的提供的?？臻g
    lea    ecx, DWORD PTR $T2560[ebp];將臨時(shí)對(duì)象的首地址給ecx
    call    ??1X@@QAE@XZ                ; 為臨時(shí)對(duì)象調(diào)用析構(gòu)函數(shù)

; 17 : }

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

從上面可以看出，產(chǎn)生的臨時(shí)對(duì)象在函數(shù)調(diào)用完成退出后才調(diào)用析構(gòu)函數(shù)。

下面是f函數(shù)的匯編碼:

復(fù)制代碼代碼如下:

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

; 9 : void f(X x) {

    push    ebp
    mov    ebp, esp
    sub    esp, 8;為局部對(duì)象x1預(yù)留8byte的空間

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

mov DWORD PTR _x$[ebp], 1;把1寫給參數(shù)對(duì)象首地址處，即把1寫入?yún)?shù)對(duì)象的成員變量i

; 12 : x.j = 2;

mov DWORD PTR _x$[ebp+4], 2;把2寫入偏移參數(shù)對(duì)象首地址4byte處的內(nèi)存，即把2寫入?yún)?shù)對(duì)象的成員變量j

; 13 :
; 14 : }

    lea    ecx, DWORD PTR _x1$[ebp];將局部變量x1的首地址給ecx
    call    ??1X@@QAE@XZ                ; 為x1調(diào)用析構(gòu)函數(shù)
    lea    ecx, DWORD PTR _x$[ebp];將參數(shù)對(duì)象的首地址給ecx
    call    ??1X@@QAE@XZ                ; 為參數(shù)對(duì)象調(diào)用析構(gòu)函數(shù)
    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

從上面的代碼可以看出，參數(shù)對(duì)象和局部對(duì)象都是在函數(shù)退出之前調(diào)用析構(gòu)函數(shù)。并且參數(shù)對(duì)象在局部對(duì)象調(diào)用析構(gòu)函數(shù)之后再調(diào)用自己的析構(gòu)函數(shù)。

您可能感興趣的文章: