c++中,臨時對象一旦不需要,就會調(diào)用析構(gòu)函數(shù),釋放其占有的資源;而具名對象則是與創(chuàng)建的順序相反,依次調(diào)用析構(gòu)函數(shù)。
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對象的首地址,作為隱含參數(shù)傳入構(gòu)造函數(shù)
call ??0X@@QAE@XZ ; 為x1調(diào)用構(gòu)造函數(shù)
; 13 : X();
lea ecx, DWORD PTR $T2559[ebp];獲取臨時對象首地址,作為隱含參數(shù)傳入構(gòu)造函數(shù)
call ??0X@@QAE@XZ ; 為臨時對象調(diào)用構(gòu)造函數(shù)
lea ecx, DWORD PTR $T2559[ebp];獲取臨時對象首地址,作為隱含參數(shù)傳入析構(gòu)函數(shù)
call ??1X@@QAE@XZ ; 為臨時對象調(diào)用析構(gòu)函數(shù)
; 14 : x1.i = 1;
mov DWORD PTR _x1$[ebp], 1;將1寫給x1首地址處內(nèi)存,即將1寫入x1中的成員變量i中
; 15 : X x2;
lea ecx, DWORD PTR _x2$[ebp];獲取x2的首地址,作為隱含參數(shù)傳入構(gòu)造函數(shù)
call ??0X@@QAE@XZ ; 為x2調(diào)用構(gòu)造函數(shù)
; 16 :
; 17 :
; 18 : }
lea ecx, DWORD PTR _x2$[ebp];獲取x2的首地址,作為隱含參數(shù)傳入析構(gòu)函數(shù)
call ??1X@@QAE@XZ ; 為x2調(diào)用析構(gòu)函數(shù)
lea ecx, DWORD PTR _x1$[ebp];獲取x1的首地址,作為隱含參數(shù)傳入析構(gòu)函數(shù)
call ??1X@@QAE@XZ ; 為x1調(diào)用析構(gòu)函數(shù)
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
從上面的匯編碼可以看出,臨時對象確實是在不需要之后就調(diào)用了析構(gòu)函數(shù),盡管它在x2對象之前被創(chuàng)建,但依然在x2對象之前被析構(gòu)。而x1 x2析構(gòu)函數(shù)調(diào)用順序,是與他們構(gòu)造函數(shù)的調(diào)用順序相反。
再看下面的情況:
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字節(jié)的空間
; 13 : X x1;
lea ecx, DWORD PTR _x1$[ebp];獲取x1的的首地址,作為隱含參數(shù)傳遞給構(gòu)造函數(shù)
call ??0X@@QAE@XZ ; 為x1調(diào)用構(gòu)造函數(shù)
; 14 : X(), x1.i = 1;//這里有一條逗號運算符
lea ecx, DWORD PTR $T2560[ebp];獲取臨時對象的首地址,作為隱含參數(shù)傳遞給構(gòu)造函數(shù)
call ??0X@@QAE@XZ ; 為臨時對象調(diào)用構(gòu)造函數(shù)
mov DWORD PTR _x1$[ebp], 1;將1賦給x1首地址處的內(nèi)存,即給x1的成員變量i賦值1
lea ecx, DWORD PTR $T2560[ebp];獲取臨時變量的首地址,作為隱含參數(shù)傳遞給析構(gòu)函數(shù)
call ??1X@@QAE@XZ ; 為臨時對象調(diào)用析構(gòu)函數(shù)
; 15 : X x2;
lea ecx, DWORD PTR _x2$[ebp];獲取x2的首地址,作為隱含參數(shù)傳遞給構(gòu)造函數(shù)
call ??0X@@QAE@XZ ; 為x2調(diào)用構(gòu)造函數(shù)
; 16 : }
lea ecx, DWORD PTR _x2$[ebp];獲取x2的首地址,作為隱含參數(shù)傳遞給析構(gòu)函數(shù)
call ??1X@@QAE@XZ ; 為x2調(diào)用析構(gòu)函數(shù)
lea ecx, DWORD PTR _x1$[ebp];獲取x1的首地址,作為隱含參數(shù)傳遞給析構(gòu)函數(shù)
call ??1X@@QAE@XZ ; 為x1調(diào)用析構(gòu)函數(shù)
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
可以看到,與第一次不同的是,臨時對象構(gòu)造完畢之后,并沒有立即調(diào)用析構(gòu)函數(shù),而是執(zhí)行了逗號后面的賦值語句后,才調(diào)用的析構(gòu)函數(shù)。
綜上所述:
臨時對象調(diào)用析構(gòu)函數(shù)的時機是一條高級語言執(zhí)行完畢的時候,而一條高級語言執(zhí)行完畢的標志是分號。所以,臨時對象調(diào)用析構(gòu)函數(shù)的時機是碰到分號的時候