200
200
201
201
< p class ="text-right "> < small >
202
202
最終更新日時(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秒
205
205
</ span >
206
206
< br />
207
207
< span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
208
- < span itemprop ="name "> Raclamusi </ span >
208
+ < span itemprop ="name "> yoh </ span >
209
209
</ span >
210
210
が更新
211
211
</ small > </ p >
@@ -274,13 +274,13 @@ <h2>クラス仕様</h2>
274
274
</ p >
275
275
< p > < code > basic-state</ code > コンストラクタ< code > noexcept</ code > 節の式は下記の通り。</ p >
276
276
< 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 >
278
278
< 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 >
279
279
< 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 >
280
280
</ code > </ pre > </ div >
281
281
</ p >
282
282
< 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 >
284
284
</ code > </ pre > </ div >
285
285
</ p >
286
286
< h2 > 説明専用エンティティ</ h2 >
@@ -289,13 +289,13 @@ <h2>説明専用エンティティ</h2>
289
289
< 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 >
290
290
291
291
< 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 >
293
293
< 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 >
294
294
295
295
< 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 >
296
296
297
297
< 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 >
299
299
< 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 >
300
300
301
301
< 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