条款29:为“异常安全“而努力是值得的

考虑如下代码:

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

void PrettyMenu::changeBackground(std::istream& imgSrc){
	lock(&mutext);					// 取得互斥器
	delete bgImage;  				// 摆脱旧背景
	++imageChanges;					// 修改图像变更次数
	bgImage = new Image(imgSrc);	// 安装新背景
	unlock(&mutext);
}

上述代码有一下后果:

1. 一旦new Image(imagSrc)导致异常,对unlock调用就不会执行,于是互斥器就永远把持住了;没有达到不泄露任何资源目的
2. 一旦new Image(imagSrc)抛出异常 ,bgImage指向一个已经被删除的对象,imagesChanges也被累加,而并没有新的图像被安装起来;没有达到不允许数据败坏的目的
   解决资源泄露的问题容易,参考条款13:以对象管理资源

void PrettyMenu::changeBackground(std::istream& imgSrc){
	Lock ml(&mutext);			// 引入Lock类来管理资源,确保获得互斥器并且稍后被释放
	delete bgImage;  				
	++imageChanges;					
	bgImage = new Image(imgSrc);	
	unlock(&mutext);
}

后面待续…