|
191 | 191 | <p class="text-right"><small> |
192 | 192 | 最終更新日時: |
193 | 193 | <time itemprop="datePublished" class="js-local-time" |
194 | | - datetime="2026-09-11T13:06:31+09:00"> |
195 | | - 2026年09月11日 13時06分31秒 (JST) |
| 194 | + datetime="2026-09-30T18:24:32+09:00"> |
| 195 | + 2026年09月30日 18時24分32秒 (JST) |
196 | 196 | </time> |
197 | 197 | <br/> |
198 | 198 | <span itemprop="author" itemscope itemtype="http://schema.org/Person"> |
@@ -274,12 +274,12 @@ <h3>詳細説明</h3> |
274 | 274 | </ul> |
275 | 275 | <p>完了ステップの終了は、完了ステップによりブロック解除される全ての関数呼び出しからの復帰<strong><a class="cpprefjp-defined-word" data-desc="strongly happens before。(異なるスレッド間の) 2つの操作の実行順序を規定する強い関係">よりも確実に前に発生する</a></strong>。 |
276 | 276 | テンプレートパラメータ<code>CompletionFunction</code>のデフォルト値以外の特殊化においては、完了ステップの進行中にバリアオブジェクトの<code><a href="barrier/wait.html">wait()</a></code>を除くメンバ関数が呼び出されると、その<a class="cpprefjp-defined-word" data-desc="未定義の動作。処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。" href="../../implementation-compliance.html#dfn-undefined-behavior">動作は未定義</a>となる。</p> |
277 | | -<p>テンプレートパラメータ<code>CompletionFunction</code>のデフォルト値は、追加で Cpp17DefaultConstructible 要件を満たす<a class="cpprefjp-defined-word" data-desc="未規定の動作。事前の断りなく処理系によって異なる動作をする" href="../../implementation-compliance.html#dfn-unspecified-behavior">未規定</a>の型であり、式<code>completion()</code>は何の副作用も生じない。 |
| 277 | +<p>テンプレートパラメータ<code>CompletionFunction</code>のデフォルト値は、追加で <code><span href="https://cpprefjp.github.io/requirements/Cpp17DefaultConstructible.md.nolink">Cpp17DefaultConstructible</span></code> 要件を満たす<a class="cpprefjp-defined-word" data-desc="未規定の動作。事前の断りなく処理系によって異なる動作をする" href="../../implementation-compliance.html#dfn-unspecified-behavior">未規定</a>の型であり、式<code>completion()</code>は何の副作用も生じない。 |
278 | 278 | つまりテンプレートパラメータを省略した<code>barrier<></code>オブジェクトでは、各フェーズ完了時に追加的な処理を行わない。</p> |
279 | | -<p><code>barrier::arrival_token</code>は、Cpp17MoveConstructible 要件および Cpp17MoveAssignable 要件および Cpp17Destructible 要件を満たす<a class="cpprefjp-defined-word" data-desc="未規定の動作。事前の断りなく処理系によって異なる動作をする" href="../../implementation-compliance.html#dfn-unspecified-behavior">未規定</a>の型。 |
| 279 | +<p><code>barrier::arrival_token</code>は、<code><span href="https://cpprefjp.github.io/requirements/Cpp17MoveConstructible.md.nolink">Cpp17MoveConstructible</span></code> 要件および <code><span href="https://cpprefjp.github.io/requirements/Cpp17MoveAssignable.md.nolink">Cpp17MoveAssignable</span></code> 要件および <code><span href="https://cpprefjp.github.io/requirements/Cpp17Destructible.md.nolink">Cpp17Destructible</span></code> 要件を満たす<a class="cpprefjp-defined-word" data-desc="未規定の動作。事前の断りなく処理系によって異なる動作をする" href="../../implementation-compliance.html#dfn-unspecified-behavior">未規定</a>の型。 |
280 | 280 | つまり、コピー不可/ムーブのみ可能な型。</p> |
281 | 281 | <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a></h2> |
282 | | -<p>テンプレートパラメータ<code>CompletionFunction</code>は Cpp17MoveConstructible 要件および Cpp17Destructible 要件を満たしていること。 |
| 282 | +<p>テンプレートパラメータ<code>CompletionFunction</code>は <code><span href="https://cpprefjp.github.io/requirements/Cpp17MoveConstructible.md.nolink">Cpp17MoveConstructible</span></code> 要件および <code><span href="https://cpprefjp.github.io/requirements/Cpp17Destructible.md.nolink">Cpp17Destructible</span></code> 要件を満たしていること。 |
283 | 283 | <code><a href="../type_traits/is_nothrow_invocable.html">is_nothrow_invocable_v</a><CompletionFunction&> == true</code></p> |
284 | 284 | <h2>メンバ関数</h2> |
285 | 285 | <table border="1" bordercolor="#888" style="border-collapse:collapse"> |
|
0 commit comments