std::unique_lock (3) Linux Manual Page
std::unique_lock – std::unique_lock
Synopsis
Defined in header <mutex>
template< class Mutex > (since C++11)
class unique_lock;
The class unique_lock is a general-purpose mutex ownership wrapper allowing deferred locking, time-constrained attempts at locking, recursive locking, transfer of lock ownership, and use with condition variables.
The class unique_lock is movable, but not copyable — it meets the requirements of MoveConstructible and MoveAssignable but not of CopyConstructible or CopyAssignable.
The class unique_lock meets the BasicLockable requirements. If Mutex meets the Lockable requirements, unique_lock also meets the Lockable requirements (ex.: can be used in std::lock); if Mutex meets the TimedLockable requirements, unique_lock also meets the TimedLockable requirements.
Template parameters
Mutex – the type of the mutex to lock. The type must meet the BasicLockable requirements
Member types
Type Definition
mutex_type Mutex
Member functions
constructor (public member function)
destructor (public member function)
operator= (public member function)
Locking
lock (public member function)
try_lock (public member function)
try_lock_for (public member function)
try_lock_until (public member function)
unlock (public member function)
Modifiers
swap (public member function)
release (public member function)
Observers
mutex (public member function)
owns_lock (public member function)
operator_bool (public member function)
Non-member functions
std::swap(std::unique_lock) specialization of std::swap for unique_lock
(C++11)
Example
// Run this code
#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)
{
// don't actually take the locks yet
std::unique_lock<std::mutex> lock1(from.m, std::defer_lock);
std::unique_lock<std::mutex> lock2(to.m, std::defer_lock);
// lock both unique_locks without deadlock
std::lock(lock1, lock2);
from.num_things -= num;
to.num_things += num;
// 'from.m' and 'to.m' mutexes unlocked in 'unique_lock' dtors
}
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();
}
Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR Applied to Behavior as published Correct behavior
LWG_2981 C++17 redundant deduction guide from unique_lock<Mutex> was provided removed
See also
lock_guard implements a strictly scope-based mutex ownership wrapper
(C++11)
scoped_lock deadlock-avoiding RAII wrapper for multiple mutexes
(C++17)
