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 ) ; (что создаёт переменную unique_lock с именем mtx по умолчанию) или std :: unique_lock { mtx } ; (что создаёт prvalue-объект, который немедленно уничтожается), тем самым фактически не создавая блокировку, удерживающую мьютекс до конца области видимости.

Пример

#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};
    // захватываем обе блокировки без взаимной блокировки
    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++.

Смотрите также