std::defer_lock_t, std::try_to_lock_t, std::adopt_lock_t

Определено в заголовке `<mutex>`
struct defer_lock_t { explicit defer_lock_t() = default; }; struct try_to_lock_t { explicit try_to_lock_t() = default; }; struct adopt_lock_t { explicit adopt_lock_t() = default; };		(с C++11)

std::defer_lock_t, std::try_to_lock_t и std::adopt_lock_t — это пустые классы-теги, используемые для указания стратегии блокировки для std::unique_lock и std::shared_lock.

Тип	Действие(я)
`defer_lock_t`	не приобретает владения мьютексом
`try_to_lock_t`	пытается приобрести владение мьютексом без блокировки
`adopt_lock_t`	предполагает, что у вызывающей нити уже есть владение мьютексом

Пример

#include <iostream>
#include <mutex>
#include <thread>
 
struct bank_account
{
    explicit bank_account(int balance) : balance{balance} {}
    int balance;
    std::mutex m;
};
 
void transfer(bank_account& from, bank_account& to, int amount)
{
    if (&from == &to) // avoid deadlock in case of self transfer
        return;
 
    // lock both mutexes without deadlock
    std::lock(from.m, to.m);
    // make sure both already-locked mutexes are unlocked at the end of scope
    std::lock_guard lock1{from.m, std::adopt_lock};
    std::lock_guard lock2{to.m, std::adopt_lock};
 
// equivalent approach:
//  std::unique_lock<std::mutex> lock1{from.m, std::defer_lock};
//  std::unique_lock<std::mutex> lock2{to.m, std::defer_lock};
//  std::lock(lock1, lock2);
 
    from.balance -= amount;
    to.balance += amount;
}
 
int main()
{
    bank_account my_account{100};
    bank_account your_account{50};
 
    std::thread t1{transfer, std::ref(my_account), std::ref(your_account), 10};
    std::thread t2{transfer, std::ref(your_account), std::ref(my_account), 5};
 
    t1.join();
    t2.join();
 
    std::cout << "my_account.balance = " << my_account.balance << "\n"
                 "your_account.balance = " << your_account.balance << '\n';
}

Вывод:

my_account.balance = 95
your_account.balance = 55

Отчеты об ошибках

Следующие отчеты об ошибках, меняющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применяется к	Поведение, опубликованное	Правильное поведение
LWG 2510	C++11	конструкторы по умолчанию были неявными, что могло привести к неоднозначности	сделано явными

См. также

defer_locktry_to_lockadopt_lock (C++11)(C++11)(C++11)	теги-константы, используемые для указания стратегии блокировки (константа)
(конструктор)	создаёт `lock_guard`, при необходимости блокируя заданный мьютекс (публичный член-функция `std::lock_guard<Mutex>`)
(конструктор)	создаёт `unique_lock`, при необходимости блокируя (т.е., принимая владение) предоставленный мьютекс (публичный член-функция `std::unique_lock<Mutex>`)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/thread/lock_tag_t