Skip to content

Latest commit

 

History

History
100 lines (71 loc) · 2.95 KB

try_lock.md

File metadata and controls

100 lines (71 loc) · 2.95 KB

#try_lock

namespace std {
  template <class L1, class L2, class... L3>
  int try_lock(L1&, L2&, L3&...);
}

##概要 複数のミューテックスオブジェクトに対してtry_lock操作を行う

##要件 テンプレートパラメータの型がlock()、unlock()、try_lock()メンバ関数をサポートしていること

##効果 各ミューテックスオブジェクトに、引数の順にtry_lock()メンバ関数を呼び出す。 いずれかのtry_lock()がfalseを返すか、もしくは例外を送出した場合、以降のtry_lock()呼び出しを行わず、それ以前にロック取得したミューテックスオブジェクトに対してunlock()メンバ関数を呼び出す。

##戻り値 全てのミューテックスオブジェクトへのtry_lock()が成功した場合、-1を返す。 いずれかのtry_lock()が失敗して終了した場合、失敗した最初のミューテックスオブジェクトへの0から始まるインデックスを返す。

##例

#include <cassert>
#include <mutex>

int main()
{
  std::mutex mtx1;
  std::recursive_mutex mtx2;

  // 複数のミューテックスオブジェクトに対してtry_lock()を呼び出す
  {
    int result = std::try_lock(mtx1, mtx2);

    assert(result == -1); // 全てのtry_lock()呼び出しが成功
    
    mtx1.unlock();
    mtx2.unlock();
  }

  // unique_lockに対してtry_lock()を呼び出す
  {
    std::unique_lock<std::mutex> lk1(mtx1, std::defer_lock);
    std::unique_lock<std::recursive_mutex> lk2(mtx2, std::defer_lock);

    int result = std::try_lock(lk1, lk2);

    assert(result == -1); // 全てのtry_lock()呼び出しが成功
  }

  // 一部のtry_lock()が失敗する場合
  {
    std::unique_lock<std::mutex> lk1(mtx1, std::defer_lock);
    std::unique_lock<std::recursive_mutex> lk2(mtx2, std::defer_lock);

    lk2.lock(); // ロック取得済みにしてtry_lock()に渡す

    int result = std::try_lock(lk1, lk2);

    // lk2が失敗したので第2引数を示す1が返る(0始まり)
    assert(result == 1);

    // lk2が失敗したので、std::try_lock()内でlk2より前にtry_lock()が
    // 成功した全てのミューテックスオブジェクトがunlock()される
    assert(!lk1.owns_lock());

    // lk2はロック取得済みで渡したので、ロック取得済み状態のまま
    assert(lk2.owns_lock());
  }
}
  • try_lock[color ff0000]

###出力

##バージョン ###言語

  • C++11

###処理系

##参照