C++ 参考手册
- C++11
- C++14
- C++17
- C++20
- C++ 编译器支持情况表
- 独立与宿主实现
- C++ 语言
- C++ 关键词
- 预处理器
- C++ 标准库头文件
- 具名要求
- 功能特性测试 (C++20)
- 工具库
- 类型支持(基本类型、RTTI、类型特性)
- 概念库 (C++20)
- 错误处理
- 动态内存管理
- 日期和时间工具
- 字符串库
- 容器库
- 迭代器库
- 范围库 (C++20)
- 算法库
- 数值库
- 输入/输出库
- 文件系统库
- 本地化库
- 正则表达式库
- 原子操作库
- 线程支持库
- std::thread
- std::stop_token
- std::stop_source
- std::stop_callback
- std::this_thread::get_id
- std::shared_timed_mutex
- std::shared_lock
- std::lock_guard
- std::hardware_destructive_interference_size, std::hardware_constructive_interference_size
- std::counting_semaphore, std::binary_semaphore
- std::jthread
- cpp/thread/barrier
- std::future
- std::this_thread::yield
- std::this_thread::sleep_for
- std::this_thread::sleep_until
- std::mutex
- std::recursive_mutex
- std::shared_mutex
- std::timed_mutex
- std::recursive_timed_mutex
- std::scoped_lock
- std::unique_lock
- std::swap(std::unique_lock)
- std::defer_lock_t, std::try_to_lock_t, std::adopt_lock_t
- std::lock
- std::try_lock
- std::defer_lock, std::try_to_lock, std::adopt_lock
- std::once_flag
- std::call_once
- std::condition_variable
- std::condition_variable_any
- std::notify_all_at_thread_exit
- std::cv_status
- std::latch
- std::promise
- std::shared_future
- std::packaged_task
- std::async
- std::launch
- std::future_status
- std::future_error
- std::future_category
- std::future_errc
- 注释
- 实验性 C++ 特性
- 有用的资源
- 索引
- std 符号索引
- 协程支持 (C++20)
- C++ 关键词
std::unique_lock
定义于头文件 <mutex>
|
||
template< class Mutex > class unique_lock; |
(C++11 起) | |
类 unique_lock 是通用互斥包装器,允许延迟锁定、锁定的有时限尝试、递归锁定、所有权转移和与条件变量一同使用。
类 unique_lock 可移动,但不可复制——它满足可移动构造 (MoveConstructible) 和可移动赋值 (MoveAssignable) 但不满足可复制构造 (CopyConstructible) 或可复制赋值 (CopyAssignable) 。
类 unique_lock 满足基本可锁定 (BasicLockable) 要求。若 Mutex 满足可锁定 (Lockable) 要求,则 unique_lock 亦满足可锁定 (Lockable) 要求(例如:能用于 std::lock ) ;若 Mutex 满足可定时锁定 (TimedLockable) 要求,则 unique_lock 亦满足可定时锁定 (TimedLockable) 要求。
模板形参
Mutex | - | 要锁定的互斥类型。类型必须满足基本可锁定 (BasicLockable) 要求 |
成员类型
类型 | 定义 |
mutex_type
|
Mutex |
成员函数
构造 unique_lock ,可选地锁定提供的互斥 (公开成员函数) | |
若占有关联互斥,则解锁之 (公开成员函数) | |
若占有则解锁互斥,并取得另一者的所有权 (公开成员函数) | |
锁定 | |
锁定关联互斥 (公开成员函数) | |
尝试锁定关联互斥,若互斥不可用则返回 (公开成员函数) | |
试图锁定关联的可定时锁定 (TimedLockable) 互斥,若互斥在给定时长中不可用则返回 (公开成员函数) | |
尝试锁定关联可定时锁定 (TimedLockable) 互斥,若抵达指定时间点互斥仍不可用则返回 (公开成员函数) | |
解锁关联互斥 (公开成员函数) | |
修改器 | |
与另一 std::unique_lock 交换状态 (公开成员函数) | |
将关联互斥解关联而不解锁它 (公开成员函数) | |
观察器 | |
返回指向关联互斥的指针 (公开成员函数) | |
测试锁是否占有其关联互斥 (公开成员函数) | |
测试锁是否占有其关联互斥 (公开成员函数) |
非成员函数
(C++11) |
std::swap 对 unique_lock 的特化 (函数模板) |
示例
运行此代码
#include <mutex> #include <thread> #include <chrono> struct Box { explicit Box(int num) : num_things{num} {} int num_things; std::mutex m; }; void transfer(Box &from, Box &to, int num) { // 仍未实际取锁 std::unique_lock<std::mutex> lock1(from.m, std::defer_lock); std::unique_lock<std::mutex> lock2(to.m, std::defer_lock); // 锁两个 unique_lock 而不死锁 std::lock(lock1, lock2); from.num_things -= num; to.num_things += num; // 'from.m' 与 'to.m' 互斥解锁于 'unique_lock' 析构函数 } int main() { Box acc1(100); Box acc2(50); std::thread t1(transfer, std::ref(acc1), std::ref(acc2), 10); std::thread t2(transfer, std::ref(acc2), std::ref(acc1), 5); t1.join(); t2.join(); }
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 2981 | C++17 | 曾提供来自 unique_lock<Mutex> 的冗余推导指引
|
已移除 |
参阅
(C++11) |
实现严格基于作用域的互斥体所有权包装器 (类模板) |
(C++17) |
用于多个互斥体的免死锁 RAII 封装器 (类模板) |