C++标准库提供了类模板std::lock_guard<>,针对互斥类融合实现了RATT手法;在构造时给互斥加锁,在析构时解锁,从而保证互斥总被正确解锁
注意事项:
一旦出现游离的指针或引用,这种保护就全部形同虚设。不管成员函数通过什么“形式”——无论是返回值,还是输出参数(out parameter)——向调用者返回指针或引用,指向受保护的共享数据,就会危及共享数据安全。
std::lock_guard<std::mutex>和std::unique_lock<std::mutex> 的区别:
std::lock_guard<std::mutex>
std::unique_lock<std::mutex>类具有成员函数lock(),unlock(),try_lock(),具有手动加、解锁功能。
比如下列情形:
1.延时加锁
2.需要从作用域转移锁的归属权到其他作用域
std::unique_lock属于可移动却不可复制的型别,好处是准许函数锁定互斥,然后把互斥的归属权转移给函数调用者,好让他在同一个锁的保护下执行其他操作
3.条件变量 std::condition_variable
在std::condition_variable wait的时候,必须使用std::unique_lock不然就会出现死锁的情况
std::unique_lock占用更多的空间,也比std::lock_guard略慢。如果std::lock_guard已经满足需求,可以优先使用
出自:《C++并发编程实战 (第2版)》