程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C >> C語言基礎知識 >> 深入c++中臨時對象的析構時機的詳解

深入c++中臨時對象的析構時機的詳解

編輯: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

可以看到,與第一次不同的是,臨時對象構造完畢之後,並沒有立即調用析構函數,而是執行了逗號後面的賦值語句後,才調用的析構函數。

綜上所述:

臨時對象調用析構函數的時機是一條高級語言執行完畢的時候,而一條高級語言執行完畢的標志是分號。所以,臨時對象調用析構函數的時機是碰到分號的時候

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved