Effective C++ Item 29 为”异常安全”而努力是值得的

本文为senlie原创，转载请保留此地址：http://blog.csdn.net/zhengsenlie

经验：异常安全函数即使发生异常也不会泄漏资源或允许任何数据结构败坏。这样的函数区分为三种

可能的保证：
基本型-->发生异常，程序处于某个合法状态
强烈型-->发生异常，程序处于原先状态
不抛异常型-->承诺绝不抛出殿堂


示例：

class PrettyMenu{
public:
	//...
	void changeBackground(std::istream &imgSrc); //改变背景图像
	//...
private：
	Mutex mutex;     //互斥器
	Image *bgImage;  //目前的背景图像
	int imageChanges;//背景图像被改变的次数
};


void PrettyMenu::changeBackground(std::istream &imgSrc){
	lock(&mutex);
	delte bgImage;
	++imageChanges;
	bgImage = new Image(imgSrc);
	unlock(&mutex);
}

解析：
泄漏资源：new Image(imgSrc) 导致异常的话，互斥器就不会 unlock
数据败坏：new Image(imgSrc) 导致异常的话，bgImage指向一个已删除的对象，imageChanges 也已被累加

纠正：

class PrettyMenu{
	//...
	std::tr1::shared_ptr<Image> bgImage; //以对象管理资源
	//...
};


void PrettyMenu::changeBackground(std::istream &imgSrc){
	Lock ml(&mutex); // 以对象管理资源
	bgImage.reset(new Image(imgSrc)); // 以"new Image" 的执行结果设定 bgImage 内部指针
	++imageChanges;
}

解析：
delte 只有 reset 函数内被使用， 而 shared_ptr::reset 函数只有在其参数被成功生成之后才会被调用。


//todo