考虑下面的代码:
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)就不会执行了。