关于多线程unique_lock和guard_lock

提示：文章

文章目录

• 前言
• 一、背景
• 二、
  • 2.1
  • 2.2
• 总结

前言

前期疑问：
本文目标：

---

一、背景

今天看编程规范还看到关于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

---

总结

未完待续