名前空間
変種
操作

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

提供: cppreference.com
< cpp‎ | thread
 
 
スレッドサポートライブラリ
スレッド
(C++11)
(C++20)
(C++20)
this_thread 名前空間
(C++11)
(C++11)
(C++11)
相互排他
(C++11)
汎用ロック管理
(C++11)
defer_lock_ttry_to_lock_tadopt_lock_t
(C++11)(C++11)(C++11)
(C++11)
(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
条件変数
(C++11)
セマフォ
ラッチとバリア
(C++20)
(C++20)
フューチャー
(C++11)
(C++11)
(C++11)
(C++11)
 
ヘッダ <mutex> で定義
struct defer_lock_t { };

struct try_to_lock_t { };

struct adopt_lock_t { };
(C++11以上)
(C++17未満)
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++17以上)

std::defer_lock_t, std::try_to_lock_t, std::adopt_lock_tstd::lock_guard, std::scoped_lock, std::unique_lock, std::shared_lock に対してロック戦略を指定するために使用される空の構造体タグ型です。

効果
defer_lock_t ミューテックスの所有権を取得しません
try_to_lock_t ブロックせずにミューテックスの所有権の取得を試みます
adopt_lock_t 呼び出し元スレッドがミューテックスの所有権をすでに持っていると仮定します

[編集]

#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)
{
    // 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<std::mutex> lock1(from.m, std::adopt_lock);
    std::lock_guard<std::mutex> 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();
}


[編集] 関連項目

ロック戦略を指定するために使われるタグ定数
(定数) [edit]
lock_guard を構築し、オプションで指定されたミューテックスをロックします
(std::lock_guard<Mutex>のパブリックメンバ関数) [edit]
unique_lock を構築し、オプションで指定されたミューテックスをロックします
(std::unique_lock<Mutex>のパブリックメンバ関数) [edit]