unique_lock详解

本文详细介绍了C++中多线程的应用及互斥锁的多种使用方式,包括lock_guard和unique_lock的区别与应用场景,展示了如何通过互斥锁保护共享资源,避免线程冲突。
// 多线程4.cpp : 此文件包含 "main" 函数。程序执行将在此处开始并结束。
//

#include "pch.h"
#include <iostream>
#include <thread>
#include <vector>
#include <list>
#include <mutex>
using namespace std;
class A_Mutex {
public:

	void inMsgRecvQueue()  //把收到的消息(玩家命令)到一个队列的线程。100000次便于观察
	{
		for (int i = 0; i < 100000; i++)
		{
			cout << "inMsgRecvQueue()执行,插入一个元素" << i << endl;

			{   //加上大括号可以让lock_guard提前(在处理其他代码前)解锁(超出作用域时(大括号)析构)
				//lock_guard <mutex> guard(my_mutex);
				//unique_lock <mutex> u_lock(my_mutex);  //unique_lock

				/*
				//try_to_lock
				unique_lock <mutex> u_lock_try(my_mutex,try_to_lock);
				if (u_lock_try.owns_lock())
				{
					//拿到了锁
					msgRecvQueue.push_back(i);
					//....处理其他代码
				}
				else
				{
					//没拿到锁
					cout << "inMsgRecvQueue()执行,但没拿到锁,只能干别的事" << i << endl;
				}
				*/

				unique_lock <mutex> u_lock_defer(my_mutex, defer_lock);   //没有加锁的my_mutex


				/* 
				//lock与unlock的使用
				u_lock_defer.lock();    //调用u_lock_defer的成员函数lock(),自带解锁,自己手工解锁也不会有问题(但画蛇添足)
				
				
				u_lock_defer.unlock(); //因为有一些非共享代码要处理,手工暂时解锁,体现灵活性

				//处理一些非共享代码

				u_lock_defer.lock(); //处理完后,再重新加锁

				//再次加锁后,再处理共享代码
				*/

				//成员函数try_lock
				if (u_lock_defer.try_lock() == true)
				{

					//拿到了锁
					msgRecvQueue.push_back(i);
					//....处理其他代码
				}
				else
				{
					//没拿到锁
					cout << "inMsgRecvQueue()执行,但没拿到锁,只能干别的事" << i << endl;
				}

				msgRecvQueue.push_back(i);

				//...处理代码
				//msgRecvQueue.push_back(i); //假设这个数字i就是我收到的命令,直接送到消息队列里去
				
			}
			//....处理其他代码
		}
		return;
	}

	bool outMsgLULProc(int &command)
	{
		//lock_guard <mutex> guard(my_mutex);   //guard为对象名,使用lock_guard时,lock与unlock不能再使用
		unique_lock <mutex> u_lock(my_mutex);  
		//std::chrono::milliseconds dura(20000); //20000毫秒==20秒
		//std::this_thread::sleep_for(dura);  //sleep 20s
		if (!msgRecvQueue.empty()) //消息不为空
		{
			command = msgRecvQueue.front();//返回第一个元素
			msgRecvQueue.pop_front();//弹出第一个元素(移除)
			
			return true;
		}
		return false;

	}
	void outMsgRecvQueue()//把数据从消息队列中取出的线程
	{
		int command = 0;
		for (int i = 0; i < 100000; i++)
		{
			if (outMsgLULProc(command) == true)
			{
				cout << "outMsgRecvQueue()执行" << i << endl;
				//可以对command进行数据处理
			}
			else
			{
				//消息队列为空
				cout << "outMsgRecvQueue()执行,但目前消息队列为空" << i << endl;
			}
		}
		cout << "end" << endl;
		return;
	}
private:
	list <int> msgRecvQueue; //容器(消息队列),专门用于代表玩家发送过来的命令
	mutex my_mutex; //创建了一个互斥量(一个锁)

};

int main()
{
	A_Mutex myobj_mutex;
	thread myOutnMsgObj(&A_Mutex::outMsgRecvQueue, &myobj_mutex);  //第二参数是引用(就无需拷贝),才能保证线程里用的是同一对象
	thread myInMsgobj(&A_Mutex::inMsgRecvQueue, &myobj_mutex);
	myOutnMsgObj.join();
	myInMsgobj.join();

	//一:unique_lock取代lock_guard :  unique_lock <mutex> u_lock(my_mutex); 取代  lock_guard <mutex> guard(my_mutex);
	//unique_lock是个类模板。工作中,一般lock_guard()足够了,推荐使用。
	//unique_lock比lock_guard灵活很多;效率上差一点,内存占用多一点

	//二:unique_lock的第二个参数
	
	//(2.1)std::adopt_lock
	//用adopt_lock的前提是互斥量已被lock,通知lock_guard的构造函数无需再lock
	//lock_guard的第二个参数:lock_guard <mutex> guard(my_mutex,std::adopt_lock);   //adopt_lock 起标记作用
	//unique_lock也可以带std::adopt_lock参数,含义相同
	
	//(2.2)std::try_to_lock
	//会尝试用mutex的lock去锁定这个mutex,但如果没有锁定成功,也会立即返回,并不会一直阻塞
	//用try_to_lock的前提是不能自己手动去lock

	//(2.3)std::defer_lock
	//用defer_lock的前提是不能自己手动去lock(同try_to_lock)
	//使用它并不会给mutex加锁,作用是初始化了一个没有加锁的mutex

	//三:unique_lock的成员函数
	//(3.1)lock(),加锁
	//(3.2)unlock(),解锁,虽然成员函数lock()自带解锁,但unlock可以更加灵活(比如有一些非共享代码要处理:可以暂时解锁再加锁)
	//(3.3)try_lock(),尝试给互斥量加锁,如果拿不到锁,则返回false(不阻塞),如果拿到了锁,返回true。
	//(3.4)release(),返回它所管理的mutex对象指针,并释放所有权;也就是说,这个unique_lock和mutex不再有关系
	//如果原来mutex对象处于加锁状态,需接管过来并负责解锁

	//lock锁住的代码段越少,执行越快,整个程序运行效率越高
	//锁住的代码的多少称为锁的 粒度。粒度一般用粗细来描述
	//选择合适的粒度,是高级程序员的能力和实力的体现

	//四:unique_lock所有权的传递 
	//unique_lock <mutex> u_lock_defer(my_mutex);    所有权概念: u_lock_defer拥有my_mutex的所有权
	//u_lock_defer可以把自己对my_mutex的所有权 转移 给其他的unique_lock对象,但是不能 复制
	//转移:unique_lock <mutex> u_lock_defer2(std::move(u_lock_defer));    //移动语义,相当于u_lock_defer2与my_mutex绑定在一起了。u_lock_defer则指向空,u_lock_defer2指向空 


	cout << "主线程执行完毕" << endl; //执行完这句,主线程退出
	return 0; 
}

 

<think>好的,用户想了解C++中unique_lock的使用方法及示例。首先,我需要回顾一下相关的知识,确保信息准确。根据提供的引用内容,unique_lock是C++11引入的互斥量管理类,属于RAII机制,能够自动处理锁的获取和释放。 首先,用户可能已经知道lock_guard,但unique_lock更灵活。需要对比两者,说明unique_lock的优势,比如支持延迟锁定、条件变量配合使用等。根据引用[1]和[2],unique_lock允许defer_lock,这样可以在构造时不立即锁定,而是稍后手动锁定。这在某些情况下非常有用,比如需要同时锁定多个互斥量而避免死锁的时候,引用[4]提到的std::lock函数可以配合使用。 接下来,用户需要详细的用法和示例。我应该分点说明不同的使用场景,比如基本用法、延迟锁定、条件变量配合、超时锁定和递归锁定。每个点都要给出具体的代码示例,并解释其作用。例如,在基本用法中,构造unique_lock时会自动锁定,析构时自动解锁,这和lock_guard类似,但unique_lock还允许手动解锁,这样可以在不需要锁的时候提前释放,提高效率。 另外,条件变量部分需要强调unique_lock是必须的,因为wait函数需要可移动的锁,而lock_guard无法满足。引用[3]提到条件变量需要unique_lock,这一点很重要,应该详细说明。超时锁定部分需要展示try_lock_for或try_lock_until的使用方法,这在实时系统中可能很有用。 还要注意代码的正确性,确保示例代码符合C++标准,比如使用正确的命名空间和头文件。例如,条件变量的示例中需要包含<condition_variable>,并且使用std::unique_lock<std::mutex>。此外,递归锁的部分需要说明互斥量类型应为std::recursive_mutex,这样才能支持多次锁定。 用户可能的问题包括如何选择lock_guard和unique_lock,这时候需要根据是否需要灵活性来决定。如果只是简单的临界区保护,lock_guard足够;如果需要更复杂的操作,如延迟锁定或配合条件变量,则选择unique_lock。 最后,生成相关问题时要覆盖unique_lock的特性、与lock_guard的区别、应用场景以及错误处理等方面,帮助用户进一步学习。例如,如何处理锁超时的情况,或者在多线程中如何安全地传递unique_lock对象。</think>### C++ unique_lock 使用详解 `std::unique_lock` 是 C++11 引入的互斥量管理工具,属于 RAII(资源获取即初始化)机制,能够自动处理互斥锁的加锁与解锁。相比 `std::lock_guard`,`unique_lock` 提供更灵活的锁控制功能,支持延迟锁定、手动解锁、条件变量配合等场景[^1][^2]。 #### 1. **基本用法** ```cpp #include <iostream> #include <mutex> #include <thread> std::mutex mtx; void thread_function() { std::unique_lock<std::mutex> lock(mtx); // 构造时自动加锁 std::cout << "线程ID: " << std::this_thread::get_id() << " 进入临界区\n"; // 临界区操作... } // 析构时自动解锁 ``` #### 2. **延迟锁定(Deferred Locking)** 通过 `std::defer_lock` 参数延迟加锁,后续需手动调用 `lock()`: ```cpp void deferred_example() { std::unique_lock<std::mutex> lock(mtx, std::defer_lock); // 不立即加锁 // 其他非临界区操作... lock.lock(); // 手动加锁 // 临界区操作... lock.unlock(); // 可提前解锁 } ``` #### 3. **配合条件变量** `unique_lock` 必须与条件变量 `std::condition_variable` 配合使用: ```cpp #include <condition_variable> std::condition_variable cv; bool data_ready = false; void wait_for_data() { std::unique_lock<std::mutex> lock(mtx); cv.wait(lock, []{ return data_ready; }); // 自动解锁并等待通知 // 数据就绪后重新加锁 } void notify_data() { std::unique_lock<std::mutex> lock(mtx); data_ready = true; cv.notify_one(); // 通知等待线程 } ``` #### 4. **超时锁定** 支持尝试锁定或超时等待: ```cpp void timeout_example() { std::unique_lock<std::mutex> lock(mtx, std::defer_lock); if (lock.try_lock_for(std::chrono::milliseconds(100))) { // 尝试锁定100ms // 锁定成功 } else { // 超时处理 } } ``` #### 5. **递归锁支持** 通过 `std::recursive_mutex` 实现递归锁定: ```cpp std::recursive_mutex rec_mtx; void recursive_example() { std::unique_lock<std::recursive_mutex> lock1(rec_mtx); { std::unique_lock<std::recursive_mutex> lock2(rec_mtx); // 同一线程可重复加锁 } } ``` #### 6. **多锁协同** 使用 `std::lock` 同时锁定多个互斥量,避免死锁: ```cpp std::mutex mtx1, mtx2; void multi_lock_example() { std::unique_lock<std::mutex> lock1(mtx1, std::defer_lock); std::unique_lock<std::mutex> lock2(mtx2, std::defer_lock); std::lock(lock1, lock2); // 原子化锁定多个互斥量[^4] } ``` --- ### 选择 `unique_lock` vs `lock_guard` - **`lock_guard`**:轻量级,仅支持构造时加锁、析构时解锁。 - **`unique_lock`**:支持手动控制、延迟锁定、条件变量等复杂场景,但性能稍低[^1][^3]。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值