std:: unique_lock

类 unique_lock 是一个通用互斥量所有权包装器，支持延迟锁定、限时锁定尝试、递归锁定、锁所有权转移以及与条件变量配合使用。

类 unique_lock 是可移动的，但不可复制——它满足 MoveConstructible 与 MoveAssignable 的要求，但不满足 CopyConstructible 或 CopyAssignable 的要求。

unique_lock 类满足 BasicLockable 要求。若 Mutex 满足 Lockable 要求，则 unique_lock 亦满足 Lockable 要求（例如：可用于 std::lock ）；若 Mutex 满足 TimedLockable 要求，则 unique_lock 亦满足 TimedLockable 要求。

模板参数

嵌套类型

成员函数

非成员函数

注释

一个常见的初学者错误是“忘记”给 unique_lock 变量命名，例如 std :: unique_lock ( mtx ) ; （这会默认构造一个名为 mtx 的 unique_lock 变量）或 std :: unique_lock { mtx } ; （这会构造一个立即被销毁的纯右值对象），从而导致实际上并未构造一个能在整个作用域内持有互斥锁的锁对象。

示例

#include <iostream>
#include <mutex>
#include <thread>
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 lock1{from.m, std::defer_lock};
    std::unique_lock 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();
    std::cout << "acc1: " << acc1.num_things << "\n"
                 "acc2: " << acc2.num_things << '\n';
}

acc1: 95
acc2: 55

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见