深入c++中临时对象的析构时机的详解_C语言教程-查字典教程网
深入c++中临时对象的析构时机的详解
深入c++中临时对象的析构时机的详解
发布时间:2016-12-28 来源:查字典编辑
摘要: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

可以看到,与第一次不同的是,临时对象构造完毕之后,并没有立即调用析构函数,而是执行了逗号后面的赋值语句后,才调用的析构函数。

综上所述:

临时对象调用析构函数的时机是一条高级语言执行完毕的时候,而一条高级语言执行完毕的标志是分号。所以,临时对象调用析构函数的时机是碰到分号的时候

相关阅读
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读
  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  • 最新C语言学习
    热门C语言学习
    编程开发子分类