200
200
201
201
< p class ="text-right "> < small >
202
202
最終更新日時(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秒
205
205
</ span >
206
206
< br />
207
207
< span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
231
231
< 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 >
232
232
< 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 >
233
233
< 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 >
235
235
< span class ="p "> };</ span >
236
236
237
237
< 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>
243
243
< p > 下記をみたすクラス型はOperation Stateとみなせる。</ p >
244
244
< ul >
245
245
< 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 >
247
247
</ ul >
248
248
< 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 >
249
249
< h2 > 例</ h2 >
@@ -270,7 +270,7 @@ <h2>例</h2>
270
270
< span class ="c1 "> // SenderとReceiverを接続</ span >
271
271
< 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 >
272
272
< 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 >
274
274
< span class ="p "> }</ span >
275
275
</ code > </ pre > </ div >
276
276
</ p >
0 commit comments