C++ 栈展开如何防止内存泄露

在栈展开(stack unwinding)是指,如果在一个函数内部抛出异常,而此异常并未在该函数内部被捕捉,就将导致该函数的运行在抛出异常处结束,所有已经分配在栈上的局部变量都要被释放。如果被释放的变量中有指针,而该指针在此前已经用new运算申请了空间,就有可能导致内存泄露。因为栈展开的时候并不会自动对指针变量执行delete(或delete[])操作。

因此,在有可能发生异常的函数中,可以利用“智能指针”unique_ptr来防止内存泄露。参考如下程序。

#include <iostream>
#include <memory>

using namespace std;

class A 
{
	int num;
public:
	A(int i):num(i)
	{
		cout<<"this is A's constructor, num="<<num<<endl;
	}
	~A()
	{
		cout<<"this is A's destructor, num="<<num<<endl;
	}
	void show()
	{
		cout<<num<<endl;
	}
};

void uniqueptrtest1()
{
	A* pa=new A(1);
	throw 1;
	delete pa;
}

void uniqueptrtest2()
{
	unique_ptr<A> pa(new A(2));
	pa->show();
	throw 2;
}

int main()
{
	try
	{
		uniqueptrtest1();
	}	
	catch(int)
	{
		cout<<"there is no destructor invoked"<<endl;
	}
	cout<<endl;
	try
	{
		uniqueptrtest2();
	}
	catch(int)
	{
		cout<<"A's destructor does be invoked"<<endl;
	}
}

程序的输出结果:

this is A's constructor, num=1
there is no destructor invoked

this is A's constructor, num=2
2
this is A's destructor, num=2
A's destructor does be invoked

在解读上面的这段程序的时候,要注意以下几点。
(1)在函数uniqueptrtest1()中,由于异常的发生,导致delete pa;无法执行,从而导致内存泄露。
(2)unique_ptr实际上是一个类模板,在名称空间std中定义,要使用该类模板,必须包含头文件memory。unique_ptr的构造函数可以接受任何类型的指针,实际上是利用指针类型将该类模板实例化,并将传入的指针保存在unique_ptr< T>对象中。
(3)在栈展开的过程中,unique_ptr< T>对象会被释放,从而导致unique_ptr< T>对象的析构函数被调用。在该析构函数中,将使用delete运算符将保存在该对象内的指针所指向的动态对象被销毁。这样,就不会发生内存泄露了。
(4)由于已经对*和->操作符进行了重载,所以可以像使用普通的指针变量那样使用unique_ptr< T>对象,如上面程序中的pa->show()。这样可以保留使用指针的编程习惯,方便程序猿编写和维护。


参考文献

[1] 陈刚.C++高级进阶教程[M].武汉:武汉大学出版社,2008.P371-373

©️2020 CSDN 皮肤主题: 编程工作室 设计师:CSDN官方博客 返回首页