深入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

可以看到，與第一次不同的是，臨時物件建構完畢之後，並沒有立即調用解構函式，而是執行了逗號後面的指派陳述式後，才調用的解構函式。

綜上所述:

臨時對象調用解構函式的時機是一條進階語言執行完畢的時候，而一條進階語言執行完畢的標誌是分號。所以，臨時對象調用解構函式的時機是碰到分號的時候