提示:文章
文章目录
前言
前期疑问:
本文目标:
一、背景
今天看编程规范还看到关于unique_ptr的用法,然后想起之前写多线程一直疑惑的一个点,但是今天查了下,发现当时疑惑的不是unique_ptr而是unique_lock。所以现在就迎来了这篇文章的主角。unique_lock
编程规范中首先表述了不要直接使用mutex线程锁。原话是:不要直接调用mutex的方法。
std::mutex以及std::shared_mutex等锁对象提供lock()和unlock()方法来进行加锁和解锁。但是,直接调用这两个方法很容易造成执行不到unlock的错误。
应该使用用std::lock_guard 、std::unique_lock 等机制,确保以任何形式(正常执行完、中途break、continue、返回、抛
异常等)离开作用域时都会自动调用unlock() 解锁。
至于这里的std::lock_guard 、std::unique_lock有啥区别以及std::mutex、std::shared_mutex有啥区别暂时搁置不议,先了解下为什么要使用std::lock_guard 、std::unique_lock而不要直接调用mutex的方法。
二、为什么不要直接使用mutex
2.1
下面举了两个例子
Data* data = nullptr;
std::mutex dataMutex;
Data& GetData()
{
dataMutex.lock();
if (data != nullptr) {
return *data; // 忘记unlock
}
data = CreateData(); // 如果这里抛异常,也无法unlock
dataMutex.unlock();
return *data;
}
上面的代码会存在互斥锁dataMutex没有释放的情况,下面是修正后的例子
Data* data = nullptr;
std::mutex dataMutex;
Data& GetData()
{
std::lock_guard<std::mutex> lock(dataMutex);
if (data != nullptr) {
return *data; // return时lock析构,自动unlock
}
data = CreateData(); // 如果这里抛异常(只要能被catch)也会使lock析构,自动unlock
return *data; // return时lock析构,自动unlock
}
上面解决了为什么不要直接使用互斥锁。下面就是几种对象之间的区别了。
三、
3.1
总结
未完待续