<condition_variable>

条件が true になるまで待機するオブジェクトを作成するために使用される、condition_variable クラスと condition_variable_any クラスを定義します。

このヘッダーではコンカレンシー ランタイム (ConcRT) が使用されます。これにより、このヘッダーを他の ConcRT メカニズムと共に使用できます。 ConcRT の詳細については、「コンカレンシー ランタイム」を参照してください。

必要条件

ヘッダー:<condition_variable>

名前空間: std

Note

/clr を使用してコンパイルされたコードでは、このヘッダーはブロックされます。

解説

条件変数を待機するコードでは mutex を使用する必要もあります。 呼び出しスレッドは、条件変数を待機する関数を呼び出す前に、mutex をロックする必要があります。 呼び出された関数が戻ると、mutex はロックされます。 条件が true になるまでスレッドが待機している間は、mutex はロックされません。 予測できない結果にならないように、条件変数を待機する各スレッドでは同じ mutex オブジェクトを使用する必要があります。

condition_variable_any 型のオブジェクトはどの型のミューテックスでも使用できます。 使用されるミューテックス型で try_lock メソッドを指定する必要はありません。 condition_variable 型のオブジェクトは unique_lock<mutex> 型のミューテックスでのみ使用できます。 この型のオブジェクトは condition_variable_any<unique_lock<mutex>> 型のオブジェクトより高速になる可能性があります。

イベントを待機するには、まず、ミューテックスをロックしてから、条件変数で wait メソッドのいずれかを呼び出します。 別のスレッドが条件変数を通知するまで、wait 呼び出しはブロックされます。

条件変数を待機しているスレッドが適切な通知なしでブロック解除された場合、誤ったウェイクアップが発生します。 このような誤ったウェイクアップを認識するには、条件が true になるまで待機するコードで、wait 関数からコードが返されたときにその条件を明示的に確認する必要があります。 これは通常、ループを使用して行われます。wait(unique_lock<mutex>& lock, Predicate pred) を使用すれば、このループを自動的に実行することができます。

while (condition is false)
    wait for condition variable;

condition_variable_any と condition_variable クラスにはそれぞれ、条件を待機する次の 3 つのメソッドがあります。

• wait は無制限に待機します。

• wait_until は指定された time まで待機します。

• wait_for は指定された time interval の間待機します。

これらのメソッドにはそれぞれ 2 つのオーバーロード バージョンがあります。 1 つは待機するだけで、誤ってウェークアップする可能性があります。 もう 1 つは、述語を定義する追加のテンプレート引数を受け取ります。 このメソッドは、述語が true になるまで値を返しません。

各クラスにも、条件が true であることを条件変数に通知するために使用される 2 つのメソッドがあります。

• notify_one は、条件変数を待機しているスレッドの 1 つをウェイクアップします。

• notify_all は、条件変数を待機しているすべてのスレッドをウェイクアップします。

関数と列挙型

void notify_all_at_thread_exit(condition_variable& cond, unique_lock<mutex> lk);

enum class cv_status { no_timeout, timeout };

関連項目

ヘッダー ファイル リファレンス
condition_variable クラス
condition_variable_any クラス