Clause 12 多线程中使用STL

Clause 12 多线程中使用STL

考虑下面的代码：

vector < int > v;

vector < int > ::iterator first5(find(v.begin(),v.end(), 5 ));  //  ..(1)
if (first5 != v.end())                                       //  ..(2)
   doSomething();

假如在多线程环境中，当语句执行到第(1)句时，另一个线程可能会夺取CPU的控制权并且改变v的值，比如往v里面插入一些元素。这样v的所有的迭代器都将失效，包括first5.

要做到线程安全，必须从第1句到第3句保持锁住状态。
可以定义一个Lock类

template < typename Container >
class  Lock
{
public :
    Lock( const  Container  &  container):c(container)
    {
        getMutexFor(c);
    }
     ~ Lock()
    {
        releaseMutexFor(c);
    }
private :
     const  Container  &  c;
};

使用时：

vector < int > v;

{
Lock <  vector < int >   >  Lock(v);
vector < int > ::iterator first5(find(v.begin(),v.end(), 5 ));  //  ..(1)
if (first5 != v.end())                                       //  ..(2)
   doSomething();
}

这样，当这个代码段结束时，Lock会调用析构函数，释放v的互斥锁。
这样实现比如下实现有很多优点：

vector < int > v;

getMutexFor(v);
vector < int > ::iterator first5(find(v.begin(),v.end(), 5 ));  //  ..(1)
if (first5 != v.end())                                       //  ..(2)
   doSomething();
releaseMutexFor(v);

1、更好的封装性
2、防止releaseMutexFor(v)忘记写，从而v的互斥锁没法释放
3、C++保证，如果有异常，局部变量会被析构。所以，即便在我们使用Lock对象时出现异常，互斥锁依然可以正常释放。但是如果用下面的实现方式，如果在执行完getMutexFor(v)后出现异常，releaseMutexFor(v)就不会执行了。