Item 29 异常安全

● 所谓“异常安全”，指的是当抛出异常时，要做到：
1> 资源无泄漏。申请的资源都释放掉。
2> 数据无破坏。数据都处于合法状态，不会出现无法解释的数据。

满足这两点，就做到了基本的“异常安全”。
如果能在异常发生时把程序返回到调用前的状态，那就做到了高级的“异常安全”。
如果能保证绝不抛出异常，那就是完美的“异常安全”。

● 如果某函数的异常列表是空的，表明它一旦出现异常，将是极严重的错误。比如：
int doSomething() throw();
此时，系统会自动调用unexpected_handler来处理异常。

● 一个用于多线程的菜单类：

class PrettyMenu { public: void changeBackground(std::istream& imgSrc); // change background ... // image private: Mutex mutex; // mutex for this object Image *bgImage; // current background image int imageChanges; // # of times image has been changed }; // 换背景时要执行互斥访问 void PrettyMenu::changeBackground(std::istream& imgSrc) { lock(&mutex); // acquire mutex (as in Item 14) delete bgImage; // get rid of old background ++imageChanges; // update image change count bgImage = new Image(imgSrc); // install new background unlock(&mutex); // release mutex }

 

上面的成员函数没做到那两点要求。如果new抛出bad_alloc异常，则：
1> 互斥锁就永远打不开了；
2> bgImage则指向了已经销毁的对象；
3> imageChanges非法地自增了。
所以，该函数不是异常安全的。

Item 13讲了如何用对象管理资源；Item 14讲了锁的释放。所以，函数可以改成：

void PrettyMenu::changeBackground(std::istream& imgSrc) { Lock ml(&mutex); // from Item 14: acquire mutex and // ensure its later release delete bgImage; ++imageChanges; bgImage = new Image(imgSrc); }

 

这样，就解决了锁的问题。

bgImage要靠“资源管理类”才行：

class PrettyMenu { std::tr1::shared_ptr<Image> bgImage; ... }; void PrettyMenu::changeBackground(std::istream& imgSrc) { Lock ml(&mutex); bgImage.reset(new Image(imgSrc)); ++imageChanges; }

 

1> 无需手动delete旧有的图像
2> 删除操作发生成新图像成功创建之后。因为reset要等new正常返回才能进入的。

这样，该函数达到了基本的“异常安全”。
为什么没有达到高级“异常安全”呢？因为在Image的构造中出现异常时，istream的状态还是无法恢复到以前。

copy and swap一般认为是达到高级“异常安全”的策略：

struct PMImpl { // PMImpl = "PrettyMenuImpl std::tr1::shared_ptr<Image> bgImage; int imageChanges; }; class PrettyMenu { ... private: Mutex mutex; std::tr1::shared_ptr<PMImpl> pImpl; }; void PrettyMenu::changeBackground(std::istream& imgSrc) { using std::swap; // see Item 25 Lock ml(&mutex); std::tr1::shared_ptr<PMImpl> pNew(new PMImpl(*pImpl)); pNew->bgImage.reset(new Image(imgSrc)); ++pNew->imageChanges; swap(pImpl, pNew); }