学步园

声明：

本例子描述了在构造函数抛出异常会导致资源泄露的过程。通过本例子，希望我们在编写自己的构造函数的时候，要小心一些可能的异常。如果代码对异常考虑的不够，那么出现异常很有可能导致我们的资源发生泄露。

例子说明一切：

主要是BookEntry类的构造函数中AudioClip成员初始化的时候出现了异常，这直接导致已经构造完成的Image对象的堆内存没有被正确的释放。仔细看一下代码，便可知。下一节，将给出通过智能指针对这个问题有一个比较完美的解决的例子。

#include <iostream>
#include <time.h>
#include <memory>
using namespace std;

/*
作者:lpstudy
日期:2013-3-16
内容:more effective C++异常一章第10节，在构造函数中防止资源泄露,这个是资源泄露的例子，可以通过打印的屏幕看到new Image的资源确实泄露了。
*/
#define TRACE_FUCTION_AND_LINE(fmt, ...) printf("[%30s:%4d] "fmt"\n",__FUNCTION__, __LINE__, ##__VA_ARGS__)


class Image
{
public:
	Image(const string& strImgName)
		:m_strImgName(strImgName)
	{
		TRACE_FUCTION_AND_LINE();
	}
	~Image(){TRACE_FUCTION_AND_LINE();}
private:
	const string& m_strImgName;
};


/*
AudioClip类是在image类构造完成之后才进行构造，下面的AudioClip抛出异常可用来观察image的析构函数实际上由于异常并没有被调用
导致image内存泄露。
*/
class AudioClip
{
public:
	AudioClip(const string& strAudioName)
		:m_strAudioName(strAudioName)
	{
		TRACE_FUCTION_AND_LINE();
		throw 1;//BookEntry抛出异常，导致Image析构没有被调用
	}
	~AudioClip(){TRACE_FUCTION_AND_LINE();}
private:
	const string& m_strAudioName;
};

/*
BookEntry构造函数负责初始化Image和AudioClip，这样如果Image和AudioClip的构造函数
出现异常的话，BookEntry构造函数会立刻返回，这样构造的对象就不是一个完整的对象。
*/
class BookEntry
{
public:
	BookEntry(const string& name, 
			  const string& address = "",
			  const string& imageFileName = "",
			  const string& audioclipName = "")
	: m_strName(name),
	  m_strAddress(address),
	  m_pImage(0),
	  m_pAudioClip(0)
	{
		TRACE_FUCTION_AND_LINE();
		if(!imageFileName.empty())
		{
			m_pImage = new Image(imageFileName);
		}
		if(!audioclipName.empty())
		{
			m_pAudioClip = new AudioClip(audioclipName);
		}
	}
	~BookEntry()
	{
		delete m_pImage;
		delete m_pAudioClip;
		TRACE_FUCTION_AND_LINE();
	}
	void Log () {TRACE_FUCTION_AND_LINE("My Log------"); throw 1;}
 
private:
	string m_strName;
	string m_strAddress;
	Image* m_pImage;
	AudioClip* m_pAudioClip;
};

/*
测试构造函数异常的时候，栈内存的析构函数不会被调用
导致Image内存泄露
*/
void TestStackMemory()
{
	try{
		TRACE_FUCTION_AND_LINE("");
		BookEntry bookEntry("lpstudy", "beijing", "imageFileName", "audioClipName");
	}
	catch(int e)
	{
		TRACE_FUCTION_AND_LINE("exception int = %d", e);
	}
}
/*
测试堆内存的时候，构造函数异常的时候
可以看出这个时候pBookEntry还没有完全构造出来，返回的指针实际上是NULL
导致Image内存泄露
*/
void TestHeapMemory()
{
	BookEntry *pBookEntry = 0;
	try{
		TRACE_FUCTION_AND_LINE("");
		pBookEntry = new BookEntry("lpstudy", "beijing", "imageFileName", "audioClipName");	
	}
	catch(int e)
	{
		TRACE_FUCTION_AND_LINE("exception int = %d", e);
		TRACE_FUCTION_AND_LINE("pBookEntry = %08p", pBookEntry);
		delete pBookEntry;//实际上delete null， 没有任何意义
	}
}
int main()
{
	TRACE_FUCTION_AND_LINE("Trace BookEntry.......");
	TestStackMemory();
	TestHeapMemory();

	return 0;
}
/*
以上代码清楚的反映了由于BookEntry构造函数异常导致已经分配的堆内存Image对象的析构函数不会被执行(由于BookEntry的析构函数没有执行)，
导致Image内存泄露。
解决方案：
1，构造函数的函数体中加入try，catch，在catch的时候调用cleanup函数。
2，方案1对如果指针是const pointer，不行。因为const pointer必须在成员初始化列表中被初始化，这个时候需要引用InitImage，InitAudioClip方法，
这两个方法中负责try，catch，并返回构造的image和audioclip对象指针，送给成员初始化列表初始化，这样导致成员函数增多，导致代码膨胀，维护很混乱
3，方案3采用智能指针auto_ptr,不管const还是non-const指针都可以有同样的处理结果，代码简单清晰，这个将代码实现，毕竟有很大的实用价值。
*/