解析c++中参数对象与局部对象的析构顺序的详解

时间:2021-05-19

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

从上面的代码可以看出,参数对象和局部对象都是在函数退出之前调用析构函数。并且参数对象在局部对象调用析构函数之后再调用自己的析构函数。

声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。

相关文章