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 ) ; （これは mtx という名前の unique_lock 変数をデフォルト構築します）や、 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};
    // デッドロックなしで両方のunique_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++規格に対して遡及的に適用されました。

関連項目