条款29:为"异常安全"而努力是值得的-优快云博客

本文探讨了如何通过使用智能指针、锁和copy-and-swap策略等手段来确保函数的异常安全性，防止资源泄露和数据结构恶化。展示了具体的代码示例，并讨论了不同级别的异常安全保证。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1. 即使当异常被抛出时，异常安全的函数不会泄露资源，也不允许数据结构被恶化。这样的函数提供基本的，强力的，或者不抛出保证。

问题代码：

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 }

修改后：

class PrettyMenu { ... std::tr1::shared_ptr<Image> bgImage; ... }; void PrettyMenu::changeBackground(std::istream& imgSrc) { Lock ml(&mutex); bgImage.reset(new Image(imgSrc)); // replace bgImage’s internal // pointer with the result of the "new Image" expression ++imageChanges; }

2. 强力保证经常可以通过 copy-and-swap 被实现，但是强力保证并非对所有函数都可用。

"copy and swap"策略：它的原理很简单。先做出一个你要改变的对象的拷贝，然后在这个拷贝上做出全部所需的改变。如果改变过程中的某些操作抛出了异常，最初的对象保持不变。在所有的改变完全成功之后，将被改变的对象和最初的对象在一个不会抛出异常的操作中进行交换。

struct PMImpl { // PMImpl = "PrettyMenu std::tr1::shared_ptr<Image> bgImage; // Impl."; see below for int imageChanges; // why it’s a struct }; 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); // acquire the mutex std::tr1::shared_ptr<PMImpl> pNew(new PMImpl(*pImpl)); // copy obj. data pNew->bgImage.reset(new Image(imgSrc)); // modify the copy ++pNew->imageChanges; swap(pImpl, pNew); // swap the new data into place } // release the mutex

3. 一个函数通常能提供的保证不会强于他所调用的函数中最弱的保证。