解析c++中參數對象與局部對象的析構順序的詳解

下面是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

從上面的代碼可以看出，參數對象和局部對象都是在函數退出之前調用解構函式。並且參數對象在局部對象調用解構函式之後再調用自己的解構函式。