200200
201201 < p class ="text-right "> < small >
202202 最終更新日時(UTC):
203- < span itemprop ="datePublished " content ="2025-04-18T07:44:08 ">
204- 2025年04月18日 07時44分08秒
203+ < span itemprop ="datePublished " content ="2025-04-18T15:26:17 ">
204+ 2025年04月18日 15時26分17秒
205205 </ span >
206206 < br />
207207 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
231231 < span class ="n "> < a href ="../../concepts/derived_from.html "> derived_from</ a > </ span > < span class ="o "> <</ span > < span class ="k "> typename</ span > < span class ="n "> O</ span > < span class ="o "> ::</ span > < span class ="n "> operation_state_concept</ span > < span class ="p "> ,</ span > < span class ="n "> operation_state_t</ span > < span class ="o "> ></ span > < span class ="o "> &&</ span >
232232 < span class ="n "> < a href ="../../type_traits/is_object.html "> is_object_v</ a > </ span > < span class ="o "> <</ span > < span class ="n "> O</ span > < span class ="o "> ></ span > < span class ="o "> &&</ span >
233233 < span class ="n "> requires</ span > < span class ="p "> (</ span > < span class ="n "> O</ span > < span class ="o "> &</ span > < span class ="n "> o</ span > < span class ="p "> )</ span > < span class ="p "> {</ span >
234- < span class ="p "> {</ span > < span class ="n "> < span href ="https://cpprefjp.github.io/reference/execution/execution/ start.md.nolink > start</ span > </ span > < span class ="p "> (</ span > < span class ="n "> o</ span > < span class ="p "> )</ span > < span class ="p "> }</ span > < span class ="k "> noexcept</ span > < span class ="p "> ;</ span >
234+ < span class ="p "> {</ span > < span class ="n "> < a href ="start.html "> start</ a > </ span > < span class ="p "> (</ span > < span class ="n "> o</ span > < span class ="p "> )</ span > < span class ="p "> }</ span > < span class ="k "> noexcept</ span > < span class ="p "> ;</ span >
235235 < span class ="p "> };</ span >
236236
237237 < span class ="k "> struct</ span > < span class ="n "> operation_state_t</ span > < span class ="p "> {};</ span > < span class ="c1 "> // タグ型</ span >
@@ -243,7 +243,7 @@ <h2>概要</h2>
243243< p > 下記をみたすクラス型はOperation Stateとみなせる。</ p >
244244< ul >
245245< li > < code > operation_state_t</ code > をメンバ型< code > O::operation_state_concept</ code > として定義するクラス型</ li >
246- < li > < code > O</ code > 型の左辺値< code > o</ code > に対して< code > < span href ="https://cpprefjp.github.io/reference/execution/execution/ start.md.nolink > execution::start</ span > (o)</ code > が有効な式かつ< a class ="cpprefjp-defined-word " data-desc ="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態 "> 例外</ a > 送出されないこと</ li >
246+ < li > < code > O</ code > 型の左辺値< code > o</ code > に対して< code > < a href ="start.html "> execution::start</ a > (o)</ code > が有効な式かつ< a class ="cpprefjp-defined-word " data-desc ="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態 "> 例外</ a > 送出されないこと</ li >
247247</ ul >
248248< p > 非< a class ="cpprefjp-defined-word " data-desc ="マルチスレッド実行時にリソースの所有権に基づいて実行順序を制御する操作 "> 同期操作</ a > の生存期間中に< code > operation_state</ code > オブジェクトが破棄されると、< a class ="cpprefjp-defined-word " data-desc ="処理系は予期せぬ動作をする可能性がある。要するに動作保証対象外。undefined behavior (UB)。 " href ="../../../implementation-compliance.html#dfn-undefined-behavior "> 未定義の動作</ a > を引き起こす。</ p >
249249< h2 > 例</ h2 >
@@ -270,7 +270,7 @@ <h2>例</h2>
270270 < span class ="c1 "> // SenderとReceiverを接続</ span >
271271 < span class ="n "> < span style ="color:#ff0000 "> ex::operation_state</ span > </ span > < span class ="k "> auto</ span > < span class ="n "> op</ span > < span class ="o "> =</ span > < span class ="n "> < a href ="connect.html "> ex::connect</ a > </ span > < span class ="p "> (</ span > < span class ="n "> sndr</ span > < span class ="p "> ,</ span > < span class ="n "> rcvr</ span > < span class ="p "> );</ span >
272272 < span class ="c1 "> // Operation Stateを開始</ span >
273- < span class ="n "> < span href ="https://cpprefjp.github.io/reference/execution/execution/ start.md.nolink > ex::start</ span > </ span > < span class ="p "> (</ span > < span class ="n "> op</ span > < span class ="p "> );</ span >
273+ < span class ="n "> < a href ="start.html "> ex::start</ a > </ span > < span class ="p "> (</ span > < span class ="n "> op</ span > < span class ="p "> );</ span >
274274< span class ="p "> }</ span >
275275</ code > </ pre > </ div >
276276</ p >
0 commit comments