200200
201201 < p class ="text-right "> < small >
202202 最終更新日時(UTC):
203- < span itemprop ="datePublished " content ="2025-04-19T14:04:09 ">
204- 2025年04月19日 14時04分09秒
203+ < span itemprop ="datePublished " content ="2025-04-21T09:00:57 ">
204+ 2025年04月21日 09時00分57秒
205205 </ span >
206206 < br />
207207 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
232232 < span class ="n "> < a href ="../queryable.html "> queryable</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sch</ span > < span class ="o "> ></ span > < span class ="o "> &&</ span >
233233 < span class ="n "> requires</ span > < span class ="p "> (</ span > < span class ="n "> Sch</ span > < span class ="o "> &&</ span > < span class ="n "> sch</ span > < span class ="p "> )</ span > < span class ="p "> {</ span >
234234 < span class ="p "> {</ span > < span class ="n "> < a href ="schedule.html "> schedule</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="../../utility/forward.html "> std::forward</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sch</ span > < span class ="o "> ></ span > < span class ="p "> (</ span > < span class ="n "> sch</ span > < span class ="p "> ))</ span > < span class ="p "> }</ span > < span class ="o "> -></ span > < span class ="n "> < a href ="sender.html "> sender</ a > </ span > < span class ="p "> ;</ span >
235- < span class ="p "> {</ span > < span class ="k "> auto</ span > < span class ="p "> (</ span > < span class ="n "> < span href ="https://cpprefjp.github.io/reference/execution/execution/ get_completion_scheduler.md.nolink > get_completion_scheduler</ span > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="set_value.html "> set_value_t</ a > </ span > < span class ="o "> ></ span > < span class ="p "> (</ span >
235+ < span class ="p "> {</ span > < span class ="k "> auto</ span > < span class ="p "> (</ span > < span class ="n "> < a href ="get_completion_scheduler.html "> get_completion_scheduler</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="set_value.html "> set_value_t</ a > </ span > < span class ="o "> ></ span > < span class ="p "> (</ span >
236236 < span class ="n "> < a href ="get_env.html "> get_env</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="schedule.html "> schedule</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="../../utility/forward.html "> std::forward</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sch</ span > < span class ="o "> ></ span > < span class ="p "> (</ span > < span class ="n "> sch</ span > < span class ="p "> )))))</ span > < span class ="p "> }</ span >
237237 < span class ="o "> -></ span > < span class ="n "> < a href ="../../concepts/same_as.html "> same_as</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="../../type_traits/remove_cvref.html "> remove_cvref_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sch</ span > < span class ="o "> >></ span > < span class ="p "> ;</ span >
238238 < span class ="p "> }</ span > < span class ="o "> &&</ span >
@@ -251,7 +251,7 @@ <h2>概要</h2>
251251< li > < a href ="../queryable.html "> クエリ可能オブジェクト</ a > である</ li >
252252< li > < code > Sch</ code > 型の値< code > sch</ code > に対して下記を満たすこと< ul >
253253< li > < code > < a href ="schedule.html "> execution::schedule</ a > (sch)</ code > が< a href ="sender.html "> Sender</ a > を返す</ li >
254- < li > 上記Senderの< a href ="set_value.html "> 値完了関数</ a > の< span href ="https://cpprefjp.github.io/reference/execution/execution/ get_completion_scheduler.md.nolink > 完了Scheduler</ span > が< code > Sch</ code > に等しいこと</ li >
254+ < li > 上記Senderの< a href ="set_value.html "> 値完了関数</ a > の< a href ="get_completion_scheduler.html "> 完了Scheduler</ a > が< code > Sch</ code > に等しいこと</ li >
255255</ ul >
256256</ li >
257257< li > コピー可能かつ同値比較可能</ li >
@@ -271,11 +271,11 @@ <h2>モデル</h2>
271271< span class ="p "> }</ span >
272272</ code > </ pre > </ div >
273273</ p >
274- < p > 型< code > Sch</ code > を< code > scheduler</ code > の型、型< code > Env</ code > を< code > < a href ="sender_in.html "> sender_in</ a > <schedule_result_t<Sch>, Env></ code > を満たす実行環境の型としたとき、< code > sender-in-of<schedule_result_t<Sch>, Env></ code > のモデルとなること。</ p >
274+ < p > 型< code > Sch</ code > を< code > scheduler</ code > の型、型< code > Env</ code > を< code > < a href ="sender_in.html "> sender_in</ a > << a href =" schedule_result_t.html " > schedule_result_t </ a > <Sch>, Env></ code > を満たす実行環境の型としたとき、< code > sender-in-of<< a href =" schedule_result_t.html " > schedule_result_t </ a > <Sch>, Env></ code > のモデルとなること。</ p >
275275< p > < code > < a href ="../../concepts/copyable.html "> copyable</ a > <remove_cvref_t<Sch>></ code > および< code > < a href ="../../concepts/equality_comparable.html "> equality_comparable</ a > <remove_cvref_t<Sch>></ code > により要求される操作は、< a class ="cpprefjp-defined-word " data-desc ="問題が発生したときに、現在実行位置を過去に通過・記録した位置に戻し、文脈情報を添えて紐づけられた処理(例外ハンドラー)を呼び出す仕組み。またはその事態 "> 例外</ a > で終了してはならない。
276276これらの操作やScheduler型の< code > < a href ="schedule.html "> schedule</ a > </ code > 関数は、異なるスレッドから同時に操作を呼び出す可能性がある場合でも、データ競合を引き起こしてはならない。</ p >
277277< p > あるScheduler型< code > Sch</ code > の2つの値< code > sch1</ code > と< code > sch2</ code > に対して、< code > sch1</ code > と< code > sch2</ code > が同じ実行リソースを共有する場合に限って、< code > sch1 == sch2</ code > は< code > true</ code > となる。</ p >
278- < p > あるScheduler< code > sch</ code > に対して、式< code > < span href ="https://cpprefjp.github.io/reference/execution/execution/ get_completion_scheduler.md.nolink > get_completion_scheduler</ span > << a href ="set_value.html "> set_value_t</ a > >(< a href ="get_env.html "> get_env</ a > (< a href ="schedule.html "> schedule</ a > (sch)))</ code > が< code > sch</ code > と等しいこと。</ p >
278+ < p > あるScheduler< code > sch</ code > に対して、式< code > < a href ="get_completion_scheduler.html "> get_completion_scheduler</ a > << a href ="set_value.html "> set_value_t</ a > >(< a href ="get_env.html "> get_env</ a > (< a href ="schedule.html "> schedule</ a > (sch)))</ code > が< code > sch</ code > と等しいこと。</ p >
279279< p > あるScheduler< code > sch</ code > に対して式< code > < span href ="https://cpprefjp.github.io/reference/execution/execution/get_domain.md.nolink "> get_domain</ span > (sch)</ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であるとき、式< code > get_domain(< a href ="get_env.html "> get_env</ a > (< a href ="schedule.html "> schedule</ a > (sch)))</ code > も< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、かつ同じ型を持つ。</ p >
280280< p > Scheduler型のデストラクタは、< code > < a href ="schedule.html "> schedule</ a > </ code > が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。</ p >
281281< h2 > 例</ h2 >
@@ -306,6 +306,7 @@ <h3>処理系</h3>
306306< h2 > 関連項目</ h2 >
307307< ul >
308308< li > < code > < a href ="schedule.html "> execution::schedule</ a > </ code > </ li >
309+ < li > < code > < a href ="get_completion_scheduler.html "> execution::get_completion_scheduler</ a > </ code > </ li >
309310</ ul >
310311< h2 > 参照</ h2 >
311312< ul >
0 commit comments