考慮下面的代碼:
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)就不會執行了。