为了异常安全(swap，share_ptr)——Effecive C++

互斥锁：

假设我们要在多线程中实现背景图片的控制：

class PrettyMenu{
public:
    ……
    void changeBackground(std::istream& imgSrc);//改变背景图片
    ……
private:
    Mutex mutex;    //互斥量
    Image* bgImage; //当前背景图片
    int imageChanges;   //背景图片改变次数
};

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

但是上面这些会遇到两个问题：

• 如果 new Image(imgSrc)发生了异常，那么unlock就不会被执行，会被一直锁住
• 发生上面异常，imageChanges也被累加，但实际上新的图片没有被安装

---

对于第一个问题：

被及时释放的互斥锁：

share_ptr我们可以指定它的删除器，所以可以在删除器中释放互斥锁.

如此即使是发生了异常，互斥锁也能够被及时的释放。

class Lock{
public:
    explicit Lock(Mutex* mu):mutexPtr(mu,unlock)//以某个Mutex初始化，unlock作为删除其
    {
        lock(mutexPtr);
    }
private:
    shared_prt<Mutex> mutexPtr;
};

如果通过一个Lock类，然后在析构函数阶段进行 unlock也可以避免这个问题。但是这样的类进行复制的时候

可能存在很多不合理的问题。

如果希望保存资源直到最后一个对象消失，并且在复制的时候是引用计数，可以使用上面这种情况。

---

对于第二个问题：

swap的 全or无：

struct PMImpl{
    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;//**条款**25
    Lock m1(&mutex);
    std::tr1::shared_ptr<PMImpl> pNew(new PMImpl(*pImpl));
    pNew->bgImage.reset(new Image(imgSrc));;//修改副本
    ++pNew->imageChanges;
    swap(pImpl,pNew);
}

我们可以先弄一个副本，在进行完所有的操作之后，再与目标对象进行交换。

从而实现： 要不然就不处理，不然就全部处理完。

所以我们需要一个 不会抛出异常的swap操作。

---

参考：

《Effective C++》