200200
201201 < p class ="text-right "> < small >
202202 最終更新日時(UTC):
203- < span itemprop ="datePublished " content ="2025-05-13T09:04:57 ">
204- 2025年05月13日 09時04分57秒
203+ < span itemprop ="datePublished " content ="2025-05-29T09:44:42 ">
204+ 2025年05月29日 09時44分42秒
205205 </ span >
206206 < br />
207207 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
208- < span itemprop ="name "> Raclamusi </ span >
208+ < span itemprop ="name "> yoh </ span >
209209 </ span >
210210 が更新
211211 </ small > </ p >
@@ -274,13 +274,13 @@ <h2>クラス仕様</h2>
274274</ p >
275275< p > < code > basic-state</ code > コンストラクタ< code > noexcept</ code > 節の式は下記の通り。</ p >
276276< p > < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="n "> < a href ="../../type_traits/is_nothrow_move_constructible.html "> is_nothrow_move_constructible_v</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Rcvr</ span > < span class ="o "> ></ span > < span class ="o "> &&</ span >
277- < span class ="n "> < span href ="https://cpprefjp.github.io/reference/ functional/nothrow-callable.md.nolink "> nothrow-callable</ span > </ span > < span class ="o "> <</ span > < span class ="k "> decltype</ span > < span class ="p "> (</ span > < span class ="n "> < a href ="impls-for.html "> impls-for</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="tag_of_t.html "> tag_of_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="o "> >>::</ span > < span class ="n "> get</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="p "> ),</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> &></ span > < span class ="o "> &&</ span >
277+ < span class ="n "> < a href ="../../ functional/nothrow-callable.html "> nothrow-callable</ a > </ span > < span class ="o "> <</ span > < span class ="k "> decltype</ span > < span class ="p "> (</ span > < span class ="n "> < a href ="impls-for.html "> impls-for</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="tag_of_t.html "> tag_of_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="o "> >>::</ span > < span class ="n "> get</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="p "> ),</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> &></ span > < span class ="o "> &&</ span >
278278< span class ="p "> (</ span > < span class ="n "> < a href ="../../concepts/same_as.html "> same_as</ a > </ span > < span class ="o "> <</ span > < span class ="n "> state</ span > < span class ="o "> -</ span > < span class ="n "> type</ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> ></ span > < span class ="p "> ,</ span > < span class ="n "> get</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="o "> -</ span > < span class ="n "> result</ span > < span class ="o "> ></ span > < span class ="o "> ||</ span >
279279 < span class ="n "> < a href ="../../type_traits/is_nothrow_constructible.html "> is_nothrow_constructible_v</ a > </ span > < span class ="o "> <</ span > < span class ="n "> state</ span > < span class ="o "> -</ span > < span class ="n "> type</ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> ></ span > < span class ="p "> ,</ span > < span class ="n "> get</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="o "> -</ span > < span class ="n "> result</ span > < span class ="o "> ></ span > < span class ="p "> )</ span >
280280</ code > </ pre > </ div >
281281</ p >
282282< p > ここで、説明用の型< code > get-state-result</ code > は下記の通り定義される。</ p >
283- < p > < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="n "> call </ span > < span class =" o " > - </ span > < span class =" n " > result </ span > < span class =" o " > - </ span > < span class =" n " > t </ span > < span class ="o "> <</ span > < span class ="k "> decltype</ span > < span class ="p "> (</ span > < span class ="n "> < a href ="impls-for.html "> impls-for</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="tag_of_t.html "> tag_of_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="o "> >>::</ span > < span class ="n "> get</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="p "> ),</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> &></ span > < span class ="p "> .</ span >
283+ < p > < div class ="codehilite "> < pre > < span > </ span > < code > < span class ="n "> < a href =" ../../functional/call-result-t.html " > call-result-t </ a > </ span > < span class ="o "> <</ span > < span class ="k "> decltype</ span > < span class ="p "> (</ span > < span class ="n "> < a href ="impls-for.html "> impls-for</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="tag_of_t.html "> tag_of_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="o "> >>::</ span > < span class ="n "> get</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="p "> ),</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> &></ span > < span class ="p "> .</ span >
284284</ code > </ pre > </ div >
285285</ p >
286286< h2 > 説明専用エンティティ</ h2 >
@@ -289,13 +289,13 @@ <h2>説明専用エンティティ</h2>
289289 < span class ="n "> requires</ span > < span class ="p "> {</ span > < span class ="k "> typename</ span > < span class ="n "> T</ span > < span class ="o "> <</ span > < span class ="n "> Args</ span > < span class ="p "> ...</ span > < span class ="o "> ></ span > < span class ="p "> ;</ span > < span class ="p "> };</ span >
290290
291291< span class ="k "> template</ span > < span class ="o "> <</ span > < span class ="k "> class</ span > < span class ="nc "> Sndr</ span > < span class ="p "> ,</ span > < span class ="k "> class</ span > < span class ="nc "> Rcvr</ span > < span class ="o "> ></ span > < span class ="c1 "> // exposition only</ span >
292- < span class ="k "> using</ span > < span class ="n "> state</ span > < span class ="o "> -</ span > < span class ="n "> type</ span > < span class ="o "> =</ span > < span class ="n "> < a href ="../../type_traits/decay.html "> decay_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < span href ="https://cpprefjp.github.io/reference/execution/execution/ call-result-t.md.nolink "> call-result-t</ span > </ span > < span class ="o "> <</ span >
292+ < span class ="k "> using</ span > < span class ="n "> state</ span > < span class ="o "> -</ span > < span class ="n "> type</ span > < span class ="o "> =</ span > < span class ="n "> < a href ="../../type_traits/decay.html "> decay_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="../../functional/ call-result-t.html "> call-result-t</ a > </ span > < span class ="o "> <</ span >
293293 < span class ="k "> decltype</ span > < span class ="p "> (</ span > < span class ="n "> < a href ="impls-for.html "> impls-for</ a > </ span > < span class ="o "> <</ span > < span class ="n "> < a href ="tag_of_t.html "> tag_of_t</ a > </ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="o "> >>::</ span > < span class ="n "> get</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="p "> ),</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> &>></ span > < span class ="p "> ;</ span >
294294
295295< span class ="k "> constexpr</ span > < span class ="k "> auto</ span > < span class ="n "> connect</ span > < span class ="o "> -</ span > < span class ="n "> all</ span > < span class ="o "> =</ span > < span class ="n "> < i > see below</ i > </ span > < span class ="p "> ;</ span > < span class ="c1 "> // exposition only</ span >
296296
297297< span class ="k "> template</ span > < span class ="o "> <</ span > < span class ="k "> class</ span > < span class ="nc "> Sndr</ span > < span class ="p "> ,</ span > < span class ="k "> class</ span > < span class ="nc "> Rcvr</ span > < span class ="o "> ></ span >
298- < span class ="k "> using</ span > < span class ="n "> connect</ span > < span class ="o "> -</ span > < span class ="n "> all</ span > < span class ="o "> -</ span > < span class ="n "> result</ span > < span class ="o "> =</ span > < span class ="n "> < span href ="https://cpprefjp.github.io/reference/execution/execution/ call-result-t.md.nolink "> call-result-t</ span > </ span > < span class ="o "> <</ span > < span class ="c1 "> // exposition only</ span >
298+ < span class ="k "> using</ span > < span class ="n "> connect</ span > < span class ="o "> -</ span > < span class ="n "> all</ span > < span class ="o "> -</ span > < span class ="n "> result</ span > < span class ="o "> =</ span > < span class ="n "> < a href ="../../functional/ call-result-t.html "> call-result-t</ a > </ span > < span class ="o "> <</ span > < span class ="c1 "> // exposition only</ span >
299299 < span class ="k "> decltype</ span > < span class ="p "> (</ span > < span class ="n "> connect</ span > < span class ="o "> -</ span > < span class ="n "> all</ span > < span class ="p "> ),</ span > < span class ="n "> basic</ span > < span class ="o "> -</ span > < span class ="n "> state</ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> Rcvr</ span > < span class ="o "> >*</ span > < span class ="p "> ,</ span > < span class ="n "> Sndr</ span > < span class ="p "> ,</ span > < span class ="n "> indices</ span > < span class ="o "> -</ span > < span class ="k "> for</ span > < span class ="o "> <</ span > < span class ="n "> Sndr</ span > < span class ="o "> >></ span > < span class ="p "> ;</ span >
300300
301301< span class ="k "> template</ span > < span class ="o "> <</ span > < span class ="k "> class</ span > < span class ="nc "> Sndr</ span > < span class ="o "> ></ span >
0 commit comments