functional: C++26 std::execution説明用エンティティ (#1384)

yohhoy · yohhoy · commit f27450ba473b · 2025-05-29T18:44:42.000+09:00
callable,nothrow-callable,call-result-t,decayed-typeof
diff --git a/reference/execution/execution/basic-operation.md b/reference/execution/execution/basic-operation.md
@@ -72,7 +72,7 @@ nothrow-callable<decltype(impls-for<tag_of_t<Sndr>>::get-state), Sndr, Rcvr&> &&
 ```
 * impls-for[link impls-for.md]
 * tag_of_t[link tag_of_t.md]
-* nothrow-callable[link /reference/functional/nothrow-callable.md.nolink]
+* nothrow-callable[link /reference/functional/nothrow-callable.md]
 * is_nothrow_move_constructible_v[link /reference/type_traits/is_nothrow_move_constructible.md]
 * is_nothrow_constructible_v[link /reference/type_traits/is_nothrow_constructible.md]
 
@@ -81,6 +81,7 @@ nothrow-callable<decltype(impls-for<tag_of_t<Sndr>>::get-state), Sndr, Rcvr&> &&
 ```cpp
 call-result-t<decltype(impls-for<tag_of_t<Sndr>>::get-state), Sndr, Rcvr&>.
 ```
+* call-result-t[link /reference/functional/call-result-t.md]
 * impls-for[link impls-for.md]
 * tag_of_t[link tag_of_t.md]
 
@@ -105,7 +106,7 @@ using connect-all-result = call-result-t<  // exposition only
 template<class Sndr>
 using indices-for = remove_reference_t<Sndr>::indices-for;  // exposition only 
 ```
-* call-result-t[link call-result-t.md.nolink]
+* call-result-t[link /reference/functional/call-result-t.md]
 * impls-for[link impls-for.md]
 * tag_of_t[link tag_of_t.md]
 * decay_t[link /reference/type_traits/decay.md]
diff --git a/reference/execution/execution/basic-receiver.md b/reference/execution/execution/basic-receiver.md
@@ -44,7 +44,7 @@ namespace std::execution {
 * tag_of_t[link tag_of_t.md]
 * state-type[link basic-operation.md]
 * impls-for[link impls-for.md]
-* callable[link /reference/functional/callable.md.nolink]
+* callable[link /reference/functional/callable.md]
 * set_value_t[link set_value.md]
 * set_error_t[link set_error.md]
 * set_stopped_t[link set_stopped.md]
@@ -73,7 +73,7 @@ using env-type = call-result-t<
   decltype(impls-for<tag_of_t<Sndr>>::get-env), Index,
   state-type<Sndr, Rcvr>&, const Rcvr&>;
 ```
-* call-result-t[link call-result-t.md.nolink]
+* call-result-t[link /reference/functional/call-result-t.md]
 * impls-for[link impls-for.md]
 * tag_of_t[link tag_of_t.md]
 * state-type[link basic-operation.md]
diff --git a/reference/execution/execution/completion_signatures_of_t.md b/reference/execution/execution/completion_signatures_of_t.md
@@ -13,7 +13,7 @@ namespace std::execution {
 ```
 * env<>[link env.md]
 * sender_in[link sender_in.md]
-* call-result-t[link call-result-t.md.nolink]
+* call-result-t[link /reference/functional/call-result-t.md]
 * get_completion_signatures_t[link get_completion_signatures.md]
 
 ## 概要
diff --git a/reference/execution/execution/emplace-from.md b/reference/execution/execution/emplace-from.md
@@ -21,8 +21,8 @@ struct emplace-from {
 };
 ```
 * is_nothrow_move_constructible_v[link /reference/type_traits/is_nothrow_move_constructible.md]
-* call-result-t[link call-result-t.md.nolink]
-* nothrow-callable[link /reference/functional/nothrow-callable.md.nolink]
+* call-result-t[link /reference/functional/call-result-t.md]
+* nothrow-callable[link /reference/functional/nothrow-callable.md]
 * std::move[link /reference/utility/move.md]
 
 ## 概要
diff --git a/reference/execution/execution/impls-for.md b/reference/execution/execution/impls-for.md
@@ -109,7 +109,7 @@ namespace std::execution {
   Tag()(std::move(rcvr), std::forward<Args>(args)...);
 }
 ```
-* callable[link /reference/functional/callable.md.nolink]
+* callable[link /reference/functional/callable.md]
 * std::move[link /reference/utility/move.md]
 
 
diff --git a/reference/execution/execution/just.md b/reference/execution/execution/just.md
@@ -45,7 +45,7 @@ namespace std::execution {
   };
 }
 ```
-* decayed-typeof[link decayed-typeof.md.nolink]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
 * set_value[link set_value.md]
diff --git a/reference/execution/execution/just_error.md b/reference/execution/execution/just_error.md
@@ -46,7 +46,7 @@ namespace std::execution {
   };
 }
 ```
-* decayed-typeof[link decayed-typeof.md.nolink]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
 * set_error[link set_error.md]
diff --git a/reference/execution/execution/just_stopped.md b/reference/execution/execution/just_stopped.md
@@ -41,7 +41,7 @@ namespace std::execution {
   };
 }
 ```
-* decayed-typeof[link decayed-typeof.md.nolink]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
 * set_stopped[link set_stopped.md]
diff --git a/reference/execution/execution/let_value.md b/reference/execution/execution/let_value.md
@@ -45,7 +45,7 @@ namespace std::execution {
 ```
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
-* decayed-typeof[link decayed-typeof.md.nolink]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
 * see below[italic]
 
 `impls-for<decayed-typeof<let_value>>::get-state`メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。
@@ -78,15 +78,15 @@ namespace std::execution {
 * decay_t[link /reference/type_traits/decay.md]
 * see below[italic]
 
-- 説明用のパック`Sigs`を[`completion_signatures_of_t`](completion_signatures_of_t.md)`<`[`child-type`](child-type.md)`<Sndr>,` [`env_of_t`](env_of_t.md)`<Rcvr>>`による[`completion_signatures`](completion_signatures.md)特殊化のテンプレートパラメータとし、パック`LetSigs`を`Sigs`に含まれる型のうち戻り値型が`decayed-typeof<`[`set_value`](set_value.md)`>`に等しいものと定義する。説明用のエイリアステンプレート`as-tuple<Tag(Args...)>`を[`decayed-tuple`](decayed-tuple.md)`<Args...>`と定義する。型`args_variant_t`は下記定義において重複削除した型となる。
+- 説明用のパック`Sigs`を[`completion_signatures_of_t`](completion_signatures_of_t.md)`<`[`child-type`](child-type.md)`<Sndr>,` [`env_of_t`](env_of_t.md)`<Rcvr>>`による[`completion_signatures`](completion_signatures.md)特殊化のテンプレートパラメータとし、パック`LetSigs`を`Sigs`に含まれる型のうち戻り値型が[`decayed-typeof`](/reference/functional/decayed-typeof.md)`<`[`set_value`](set_value.md)`>`に等しいものと定義する。説明用のエイリアステンプレート`as-tuple<Tag(Args...)>`を[`decayed-tuple`](decayed-tuple.md)`<Args...>`と定義する。型`args_variant_t`は下記定義において重複削除した型となる。
 
     ```cpp
     variant<monostate, as-tuple<LetSigs>...>
     ```
     * variant[link /reference/variant/variant.md]
     * monostate[link /reference/variant/monostate.md]
 
-- 説明用の型`Tag`とパック`Args`に対して、説明用のエイリアステンプレート`as-sndr2<Tag(Args...)>`を`call-result-t<Fn,` [`decay_t`](/reference/type_traits/decay.md)`<Args>&...>`と定義する。型`ops2_variant_t`は下記定義において重複削除した型となる。
+- 説明用の型`Tag`とパック`Args`に対して、説明用のエイリアステンプレート`as-sndr2<Tag(Args...)>`を[`call-result-t`](/reference/functional/call-result-t.md)`<Fn,` [`decay_t`](/reference/type_traits/decay.md)`<Args>&...>`と定義する。型`ops2_variant_t`は下記定義において重複削除した型となる。
 
     ```cpp
     variant<monostate, connect_result_t<as-sndr2<LetSigs>, receiver2<Rcvr, Env>>...>
@@ -113,19 +113,19 @@ namespace std::execution {
   }
 ```
 * set_value[link set_value.md]
-* decayed-typeof[link decayed-typeof.md.nolink]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
 * TRY-EVAL[link TRY-EVAL.md.nolink]
 * std::move[link /reference/utility/move.md]
 
-説明用の式`sndr`と`env`に対して、型`Sndr`を`decltype((sndr))`とする。[`sender-for`](sender-for.md)`<Sndr, decayed-typeof<let_value>> == false`のとき、式`let_value.transform_env(sndr, env)`は不適格となる。
+説明用の式`sndr`と`env`に対して、型`Sndr`を`decltype((sndr))`とする。[`sender-for`](sender-for.md)`<Sndr,` [`decayed-typeof`](/reference/functional/decayed-typeof.md)`<let_value>> == false`のとき、式`let_value.transform_env(sndr, env)`は不適格となる。
 
 そうでなければ、式`let_value.transform_env(sndr, env)`は[`JOIN-ENV`](JOIN-ENV.md.nolink)`(let-env(sndr),` [`FWD-ENV`](../forwarding_query.md)`(env))`と等価。
 
 
 ## 説明専用エンティティ
 説明用の式`sndr`を用いて、`let-env(sndr)`を下記リストのうち最初に適格となる式と定義する。
 
-- [`SCHED-ENV`](SCHED-ENV.md.nolink)`(`[`get_completion_scheduler`](get_completion_scheduler.md)`<decayed-typeof<`[`set_value`](set_value.md)`>>(`[`get_env`](get_env.md)`(sndr)))`
+- [`SCHED-ENV`](SCHED-ENV.md.nolink)`(`[`get_completion_scheduler`](get_completion_scheduler.md)`<`[`decayed-typeof`](/reference/functional/decayed-typeof.md)`<`[`set_value`](set_value.md)`>>(`[`get_env`](get_env.md)`(sndr)))`
 - [`MAKE-ENV`](MAKE-ENV.md.nolink)`(`[`get_domain`](get_domain.md)`,` [`get_domain`](get_domain.md)`(`[`get_env`](get_env.md)`(sndr)))`
 - `(void(sndr),` [`env<>{}`](env.md)`)`
 
diff --git a/reference/execution/execution/prop.md b/reference/execution/execution/prop.md
@@ -27,7 +27,7 @@ namespace std::execution {
 
 
 ## 適格要件
-説明用の`prop-like`テンプレートクラスを用いて、`QueryTag`と`ValueType`が[`callable`](/reference/functional/callable.md.nolink)`<QueryTag, prop-like<ValueType>>`のモデルであること。
+説明用の`prop-like`テンプレートクラスを用いて、`QueryTag`と`ValueType`が[`callable`](/reference/functional/callable.md)`<QueryTag, prop-like<ValueType>>`のモデルであること。
 
 ```cpp
 template<class ValueType>
diff --git a/reference/execution/execution/read_env.md b/reference/execution/execution/read_env.md
@@ -36,7 +36,7 @@ namespace std::execution {
   };
 }
 ```
-* decayed-typeof[link decayed-typeof.md.nolink]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
 * get_env[link get_env.md]
diff --git a/reference/execution/execution/receiver_of.md b/reference/execution/execution/receiver_of.md
@@ -34,7 +34,7 @@ concept has-completions =
     {}(completions);
   };
 ```
-* callable[link /reference/functional/callable.md.nolink]
+* callable[link /reference/functional/callable.md]
 * completion_signatures[link completion_signatures.md]
 
 `receiver_of`コンセプトは、以下のように定義される。
diff --git a/reference/execution/execution/then.md b/reference/execution/execution/then.md
@@ -51,7 +51,7 @@ namespace std::execution {
   };
 }
 ```
-* decayed-typeof[link decayed-typeof.md.nolink]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
 * set_value[link set_value.md]
diff --git a/reference/execution/this_thread/sync_wait_with_variant.md b/reference/execution/this_thread/sync_wait_with_variant.md
@@ -58,7 +58,7 @@ namespace std::this_thread {
 ### Senderアルゴリズムタグ `sync_wait_with_variant`
 説明用の`sndr`を`decltype(`[`into_variant`](../execution/into_variant.md)`(sndr))`が`Sndr`型となる式とする。
 
-[`callable`](/reference/functional/callable.md.nolink)`<`[`sync_wait_t`](sync_wait.md)`, Sndr> == false`のとき、式`sync_wait_with_variant.apply_sender(sndr)`は不適格となる。
+[`callable`](/reference/functional/callable.md)`<`[`sync_wait_t`](sync_wait.md)`, Sndr> == false`のとき、式`sync_wait_with_variant.apply_sender(sndr)`は不適格となる。
 
 そうでなければ、式`sync_wait_with_variant.apply_sender(sndr)`は下記と等価。
 
diff --git a/reference/functional/call-result-t.md b/reference/functional/call-result-t.md
@@ -0,0 +1,26 @@
+# call-result-t
+* functional[meta header]
+* type-alias[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+template<class Fn, class... Args>
+using call-result-t = decltype(declval<Fn>()(declval<Args>()...));  // exposition only
+```
+
+## 概要
+`call-result-t`は、`Fn`型オブジェクトを引数型リスト`Args...`で関数呼び出したときの戻り値型を取得する説明専用のエイリアステンプレートである。
+
+
+## 備考
+説明専用のエイリアステンプレート`call-result-t`は、実行制御ライブラリの仕様定義のため導入された。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/functional/callable.md b/reference/functional/callable.md
@@ -0,0 +1,29 @@
+# callable
+* functional[meta header]
+* concept[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+template<class Fn, class... Args>
+concept callable =  // exposition only
+  requires (Fn&& fn, Args&&... args) {
+    std::forward<Fn>(fn)(std::forward<Args>(args)...);
+  };
+```
+
+## 概要
+`callable`は、関数呼び出し式`fn(args...)`が適格であることを表す説明専用のコンセプトである。
+
+
+## 備考
+説明専用のコンセプト`callable`は、実行制御ライブラリの仕様定義のため導入された。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/functional/decayed-typeof.md b/reference/functional/decayed-typeof.md
@@ -0,0 +1,26 @@
+# decayed-typeof
+* functional[meta header]
+* type-alias[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+template<const auto& Tag>
+using decayed-typeof = decltype(auto(Tag));  // exposition only
+```
+
+## 概要
+`decayed-typeof`は、型`Tag`の[Decayed](/reference/type_traits/decay.md)結果型を取得する説明専用のエイリアステンプレートである。
+
+
+## 備考
+説明専用のエイリアステンプレート`decayed-typeof`は、実行制御ライブラリの仕様定義のため導入された。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/functional/nothrow-callable.md b/reference/functional/nothrow-callable.md
@@ -0,0 +1,31 @@
+# nothrow-callable
+* functional[meta header]
+* concept[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+template<class Fn, class... Args>
+concept nothrow-callable =   // exposition only
+  callable<Fn, Args...> &&
+  requires (Fn&& fn, Args&&... args) {
+    { std::forward<Fn>(fn)(std::forward<Args>(args)...) } noexcept;
+  };
+```
+* callable[link callable.md]
+
+## 概要
+`nothrow-callable`は、関数呼び出し式`fn(args...)`が適格かつ例外送出しないことを表す説明専用のコンセプトである。
+
+
+## 備考
+説明専用のコンセプト`nothrow-callable`は、実行制御ライブラリの仕様定義のため導入された。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,7 @@ namespace std::execution {`
`109`	`109`	`Tag()(std::move(rcvr), std::forward<Args>(args)...);`
`110`	`110`	`}`
`111`	`111`	```
`112`		`-* callable[link /reference/functional/callable.md.nolink]`
	`112`	`+* callable[link /reference/functional/callable.md]`
`113`	`113`	`* std::move[link /reference/utility/move.md]`
`114`	`114`
`115`	`115`
Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@ namespace std::execution {`
`45`	`45`	`};`
`46`	`46`	`}`
`47`	`47`	```
`48`		`-* decayed-typeof[link decayed-typeof.md.nolink]`
	`48`	`+* decayed-typeof[link /reference/functional/decayed-typeof.md]`
`49`	`49`	`* impls-for[link impls-for.md]`
`50`	`50`	`* default-impls[link impls-for.md]`
`51`	`51`	`* set_value[link set_value.md]`
Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ namespace std::execution {`
`46`	`46`	`};`
`47`	`47`	`}`
`48`	`48`	```
`49`		`-* decayed-typeof[link decayed-typeof.md.nolink]`
	`49`	`+* decayed-typeof[link /reference/functional/decayed-typeof.md]`
`50`	`50`	`* impls-for[link impls-for.md]`
`51`	`51`	`* default-impls[link impls-for.md]`
`52`	`52`	`* set_error[link set_error.md]`
Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ namespace std::execution {`
`41`	`41`	`};`
`42`	`42`	`}`
`43`	`43`	```
`44`		`-* decayed-typeof[link decayed-typeof.md.nolink]`
	`44`	`+* decayed-typeof[link /reference/functional/decayed-typeof.md]`
`45`	`45`	`* impls-for[link impls-for.md]`
`46`	`46`	`* default-impls[link impls-for.md]`
`47`	`47`	`* set_stopped[link set_stopped.md]`