std::defer_lock, std::try_to_lock, std::adopt_lock

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

スレッドサポートライブラリ

スレッド
thread (C++11)
jthread (C++20)
stop_token (C++20)
stop_source (C++20)
stop_callback (C++20)
hardware_destructive_interference_sizehardware_constructive_interference_size (C++17)(C++17)
this_thread 名前空間
get_id (C++11) yield (C++11)	sleep_for (C++11) sleep_until (C++11)
相互排他
mutex (C++11) recursive_mutex (C++11) shared_mutex (C++17)	timed_mutex (C++11) recursive_timed_mutex (C++11) shared_timed_mutex (C++14)
汎用ロック管理
lock_guard (C++11) scoped_lock (C++17) unique_lock (C++11) shared_lock (C++14) defer_lock_ttry_to_lock_tadopt_lock_t (C++11)(C++11)(C++11)	lock (C++11) try_lock (C++11) defer_locktry_to_lockadopt_lock (C++11)(C++11)(C++11) once_flag (C++11) call_once (C++11)
条件変数
condition_variable (C++11)
condition_variable_any (C++11)
notify_all_at_thread_exit (C++11)
cv_status (C++11)
セマフォ
counting_semaphorebinary_semaphore (C++20)(C++20)
ラッチとバリア
latch (C++20)
barrier (C++20)
フューチャー
promise (C++11) future (C++11) shared_future (C++11) packaged_task (C++11) async (C++11)	launch (C++11) future_status (C++11) future_error (C++11) future_category (C++11) future_errc (C++11)

 

<tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody>

ヘッダ <mutex> で定義
constexpr std::defer_lock_t defer_lock {};		(C++11以上) (C++17未満)
inline constexpr std::defer_lock_t defer_lock {};		(C++17以上)
constexpr std::try_to_lock_t try_to_lock {};		(C++11以上) (C++17未満)
inline constexpr std::try_to_lock_t try_to_lock {};		(C++17以上)
constexpr std::adopt_lock_t adopt_lock {};		(C++11以上) (C++17未満)
inline constexpr std::adopt_lock_t adopt_lock {};		(C++17以上)

std::defer_lock, std::try_to_lock, std::adopt_lock はそれぞれ空の構造体タグ型 std::defer_lock_t, std::try_to_lock_t, std::adopt_lock_t のインスタンスです。

std::lock_guard, std::unique_lock, std::shared_lock に対してロック戦略を指定するために使用されます。

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

例

Run this code

#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();
}

関連項目

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