execution: transform_completion_signatures(_of) (#1384)

yohhoy · yohhoy · commit 4ae7b92cd7a2 · 2025-06-02T17:55:09.000+09:00
- type-list,MATCHING-SIG追加
- 微調整
diff --git a/reference/execution/execution.md b/reference/execution/execution.md
@@ -143,8 +143,8 @@ Senderコンシューマは名前空間 `std::this_thread` で定義される。
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
 | [`execution::completion_signatures`](execution/completion_signatures.md) | 完了シグネチャ集合を表現する型 (class template) | C++26 |
-| [`execution::transform_completion_signatures`](execution/transform_completion_signatures.md.nolink) | 完了シグネチャを変換 (alias template) | C++26 |
-| [`execution::transform_completion_signatures_of`](execution/transform_completion_signatures_of.md.nolink) | 完了シグネチャを変換 (alias template) | C++26 |
+| [`execution::transform_completion_signatures`](execution/transform_completion_signatures.md) | 完了シグネチャ集合を変換 (alias template) | C++26 |
+| [`execution::transform_completion_signatures_of`](execution/transform_completion_signatures_of.md) | Senderの完了シグネチャ集合を変換 (alias template) | C++26 |
 | [`execution::run_loop`](execution/run_loop.md) | 単一スレッド上でのループ実行 (class) | C++26 |
 
 ### コルーチンユーティリティ
diff --git a/reference/execution/execution/as_awaitable.md b/reference/execution/execution/as_awaitable.md
@@ -95,6 +95,13 @@ namespace std::execution {
 * exception_ptr[link /reference/exception/exception_ptr.md]
 * coroutine_handle[link /reference/coroutine/coroutine_handle.md]
 
+### 式`AS-EXCEPT-PTR`
+説明用の式`err`に対して`decltype((err))`を型`Err`としたとき、式`AS-EXCEPT-PTR(err)`を下記の通り定義する。
+
+- [`decay_t`](/reference/type_traits/decay.md)`<Err>`が[`exception_ptr`](/reference/exception/exception_ptr.md)型と等しければ、`err`となる。このとき、事前条件として`!err == false`であること。
+- そうではなく、[`decay_t`](/reference/type_traits/decay.md)`<Err>`が[`error_code`](/reference/system_error/error_code.md)型と等しければ、[`make_exception_ptr`](/reference/exception/make_exception_ptr.md)`(`[`system_error`](/reference/system_error/system_error.md)`(err))`となる。
+- そうでなければ、[`make_exception_ptr`](/reference/exception/make_exception_ptr.md)`(err)`となる。
+
 ### クラステンプレート`awaitable-receiver`
 説明専用のクラステンプレート`sender-awaitable<Sndr, Promise>::awaitable-receiver`は下記の通り定義される。
 
@@ -135,6 +142,7 @@ struct awaitable-receiver {
     rcvr.result-ptr->template emplace<2>(AS-EXCEPT-PTR(err));
     rcvr.continuation.resume();
     ```
+    * AS-EXCEPT-PTR[italic]
     * template emplace[link /reference/variant/variant/emplace.md]
     * resume()[link /reference/coroutine/coroutine_handle/resume.md]
 
diff --git a/reference/execution/execution/connect.md b/reference/execution/execution/connect.md
@@ -111,7 +111,7 @@ namespace std::execution {
 `C`型の`c`と[コルーチンPromise型](/lang/cpp20/coroutines.md)の左辺値`p`に対して、`await-result-type<C, Promise>`を`decltype(`[`GET-AWAITER`](../is-awaitable.md)`(c, p).`[`await_resume()`](/lang/cpp20/coroutines.md)`)`型とする。
 型`V`を`await-result-type<DS, connect-awaitable-promise>`とする。
 
-型`Sigs`を下記の通り定義する。
+[完了シグネチャ集合型](completion_signatures.md)`Sigs`を下記の通り定義する。
 
 ```cpp
 completion_signatures<
diff --git a/reference/execution/execution/gather-signatures.md b/reference/execution/execution/gather-signatures.md
@@ -38,6 +38,7 @@ using gather-signatures = /*see below*/
 - [`execution::value_types_of_t`](value_types_of_t.md)
 - [`execution::error_types_of_t`](error_types_of_t.md)
 - [`execution::sends_stopped`](sends_stopped.md)
+- [`execution::transform_completion_signatures`](transform_completion_signatures.md)
 
 
 ## 参照
diff --git a/reference/execution/execution/get_completion_signatures.md b/reference/execution/execution/get_completion_signatures.md
@@ -46,7 +46,21 @@ namespace std::execution {
 
 ## カスタマイゼーションポイント
 - Sender`sndr`[変換後](transform_sender.md)の`new_sndr`に対して、`new_sndr.get_completion_signatures(env)`が返す型。
-- 変換後Senderの型`NewSndr`に対して、メンバ型`completion_signatures`。
+- 変換後Senderの型`NewSndr`に対して、メンバ型`NewSndr::completion_signatures`
+
+説明用の式`rcvr`を[`receiver`](receiver.md)のモデルである型`Rcvr`の右辺値、型`Sndr`を[`sender_in`](sender_in.md)`<Sndr,` [`env_of_t`](env_of_t.md)`<Rcvr>> == true`となる型とする。
+`Sigs...`を[`completion_signatures_of_t`](completion_signatures_of_t.md)`<Sndr,` [`env_of_t`](env_of_t.md)`<Rcvr>>`による[`completion_signatures`](completion_signatures.md)特殊化のテンプレートパラメータと定義する。
+`CSO`を完了関数とする。
+
+Sender型`Sndr`、もしくは式`CSO(rcvr, args...)`を呼び出す[Operation State](operation_state.md)が潜在的に例外送出するならば、`Sigs...`の完了シグネチャ`Sig`は次の式が`true`となるべき。
+
+```cpp
+MATCHING-SIG(decayed-typeof<CSO>(decltype(args)...), Sig)
+```
+* MATCHING-SIG[italic]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
+
+説明用の関数型`F1`, `F2`をそれぞれ`R1(Args1...)`, `R2(Args2...)`としたとき、説明専用の式`MATCHING-SIG(F1, F2)`は、[`same_as`](/reference/concepts/same_as.md)`<R1(Args1&&...), R2(Args&&...)> == true`となる場合にかぎって`true`となる。
 
 
 ## 例
diff --git a/reference/execution/execution/on.md b/reference/execution/execution/on.md
@@ -128,7 +128,7 @@ transform_sender(
     * get_env[link get_env.md]
     * query-with-default[link query-with-default.md]
     * write-env[link write-env.md]
-    * SCHED-ENV[link scheduler.nolink]
+    * SCHED-ENV[link scheduler.md]
     * std::move[link /reference/utility/move.md]
 
 説明専用のクラス`not-a-scheduler`を未規定な空のクラス型、`not-a-sender`を下記の通り定義する。
diff --git a/reference/execution/execution/receiver_of.md b/reference/execution/execution/receiver_of.md
@@ -103,9 +103,9 @@ int main()
 
 ## 関連項目
 - [`execution::receiver`](receiver.md)
-- [`execution::set_value_t`](set_value.md)
-- [`execution::set_error_t`](set_error.md)
-- [`execution::set_stopped_t`](set_stopped.md)
+- [`execution::set_value`](set_value.md)
+- [`execution::set_error`](set_error.md)
+- [`execution::set_stopped`](set_stopped.md)
 
 
 ## 参照
diff --git a/reference/execution/execution/scheduler.md b/reference/execution/execution/scheduler.md
@@ -63,6 +63,7 @@ namespace std::execution {
 ```
 * set_value_t[link set_value.md]
 * sender_in[link sender_in.md]
+* MATCHING-SIG[link get_completion_signatures.md]
 * value_types_of_t[link value_types_of_t.md]
 * type_identity_t[link /reference/type_traits/true_type.md]
 
@@ -81,13 +82,13 @@ Scheduler型のデストラクタは、[`schedule`](schedule.md)が返すSender
 
 
 ## 説明専用エンティティ
-### `SCHED-ATTRS`
+### 式`SCHED-ATTRS`
 説明用のScheduler`sch`に対して、式`SCHED-ATTRS(sch)`は[`queryable`](../queryable.md)を満たす型の式`o1`となり、下記を満たす。
 
 - 型`Tag`が[`set_value_t`](set_value.md)もしくは[`set_stopped_t`](set_stopped.md)のとき、式`o1.query(`[`get_completion_scheduler`](get_completion_scheduler.md)`<Tag>)`の型および値が`sch`と等しい。
 - 式`o1.query(`[`get_domain`](get_domain.md)`)`は`sch.query(`[`get_domain`](get_domain.md)`)`と等価。
 
-### `SCHED-ENV`
+### 式`SCHED-ENV`
 説明用のScheduler`sch`に対して、式`SCHED-ENV(sch)`は[`queryable`](../queryable.md)を満たす型の式`o2`となり、下記を満たす。
 
 - 式`o2.query(`[`get_scheduler`](get_scheduler.md)`)`は、型および値が`sch`と等しい右辺値。
diff --git a/reference/execution/execution/sends_stopped.md b/reference/execution/execution/sends_stopped.md
@@ -16,6 +16,7 @@ namespace std::execution {
 ```
 * env<>[link env.md]
 * sender_in[link sender_in.md]
+* type-list[link type-list.md]
 * gather-signatures[link gather-signatures.md]
 * set_stopped_t[link set_stopped.md]
 * completion_signatures_of_t[link completion_signatures_of_t.md]
diff --git a/reference/execution/execution/set_error.md b/reference/execution/execution/set_error.md
@@ -77,8 +77,8 @@ int main()
 
 ## 関連項目
 - [`execution::receiver`](receiver.md)
-- [`execution::set_value_t`](set_value.md)
-- [`execution::set_stopped_t`](set_stopped.md)
+- [`execution::set_value`](set_value.md)
+- [`execution::set_stopped`](set_stopped.md)
 
 
 ## 参照
diff --git a/reference/execution/execution/set_stopped.md b/reference/execution/execution/set_stopped.md
@@ -77,8 +77,8 @@ int main()
 
 ## 関連項目
 - [`execution::receiver`](receiver.md)
-- [`execution::set_value_t`](set_value.md)
-- [`execution::set_error_t`](set_error.md)
+- [`execution::set_value`](set_value.md)
+- [`execution::set_error`](set_error.md)
 
 
 ## 参照
diff --git a/reference/execution/execution/set_value.md b/reference/execution/execution/set_value.md
@@ -34,13 +34,13 @@ namespace std::execution {
 
 
 ## 説明専用エンティティ
-### `SET-VALUE`
+### 式`SET-VALUE`
 説明用の式`rcvr`, `expr`に対して、説明専用の式`SET-VALUE(rcvr, expr)`は下記と等価である。
 
 - `expr`の型が`void`のとき、式`(expr, set_value(`[`std::move`](/reference/utility/move.md)`(rcvr)))`
 - そうでなければ、式`set_value(`[`std::move`](/reference/utility/move.md)`(rcvr), expr)`
 
-### `TRY-EVAL`
+### 式`TRY-EVAL`
 説明用の式`rcvr`, `expr`に対して、説明専用の式`TRY-EVAL(rcvr, expr)`は下記と等価である。
 
 - `expr`が潜在的に例外送出するならば、下記と等価。
@@ -58,14 +58,14 @@ namespace std::execution {
 
 - そうでなければ、式`expr`
 
-### `TRY-SET-VALUE`
+### 式`TRY-SET-VALUE`
 説明用の式`rcvr`, `expr`に対して、説明専用の式`TRY-SET-VALUE(rcvr, expr)`は`rcvr`が1回だけ評価されることを除いて、下記と等価。
 
 ```cpp
 TRY-EVAL(rcvr, SET-VALUE(rcvr, expr))
 ```
 
-### `SET-VALUE-SIG`
+### 型`SET-VALUE-SIG`
 説明用の型`T`に対して、説明専用の型`SET-VALUE-SIG(T)`を下記の通り定義する。
 
 - `T`がCV修飾された`void`ならば、型`set_value_t()`
@@ -116,8 +116,8 @@ int main()
 
 ## 関連項目
 - [`execution::receiver`](receiver.md)
-- [`execution::set_error_t`](set_error.md)
-- [`execution::set_stopped_t`](set_stopped.md)
+- [`execution::set_error`](set_error.md)
+- [`execution::set_stopped`](set_stopped.md)
 
 
 ## 参照
diff --git a/reference/execution/execution/split.md b/reference/execution/execution/split.md
@@ -105,7 +105,7 @@ void operator()(local-state<Sndr, Rcvr>& state, Rcvr& rcvr) const noexcept;
 
 
 ## 説明専用エンティティ
-### `local-state`クラステンプレート
+### クラステンプレート`local-state`
 
 ```cpp
 namespace std::execution {
@@ -184,8 +184,7 @@ void notify() noexcept override;
     * apply[link /reference/tuple/apply.md]
     * std::move[link /reference/utility/move.md]
 
-
-### `split-receiver`クラステンプレート
+### クラステンプレート`split-receiver`
 
 ```cpp
 namespace std::execution {
@@ -248,8 +247,7 @@ namespace std::execution {
 * get_stop_token_t[link ../get_stop_token.md]
 * get_token()[link /reference/stop_token/inplace_stop_source/get_token.md]
 
-
-### `shared-state`クラステンプレート
+### クラステンプレート`shared-state`
 
 ```cpp
 namespace std::execution {
diff --git a/reference/execution/execution/tag_of_t.md b/reference/execution/execution/tag_of_t.md
@@ -10,6 +10,7 @@ namespace std::execution {
   using tag_of_t = see below;
 }
 ```
+* sender[link sender.md]
 * see below[italic]
 
 ## 概要
diff --git a/reference/execution/execution/transform_completion_signatures.md b/reference/execution/execution/transform_completion_signatures.md
@@ -0,0 +1,87 @@
+# transform_completion_signatures
+* execution[meta header]
+* std::execution[meta namespace]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::exectution {
+  template<
+    valid-completion-signatures InputSignatures,
+    valid-completion-signatures AdditionalSignatures = completion_signatures<>,
+    template<class...> class SetValue = default-set-value,
+    template<class> class SetError = default-set-error,
+    valid-completion-signatures SetStopped = completion_signatures<set_stopped_t()>>
+  using transform_completion_signatures = completion_signatures<see below>;
+}
+```
+* valid-completion-signatures[link completion_signatures.md]
+* completion_signatures[link completion_signatures.md]
+* set_stopped_t()[link set_stopped.md]
+* see below[italic]
+
+## 概要
+[完了シグネチャ集合](completion_signatures.md)から別の完了シグネチャ集合へ変換するエイリアステンプレート。
+
+テンプレートパラメータとして完了シグネチャ集合と、各完了シグネチャに対して型変更を適用する複数のテンプレート引数をとり、[`completion_signatures`](completion_signatures.md)の新しい特殊化を生成する。
+
+- `InputSignatures` : 変換元の入力完了シグネチャ集合
+- `AdditionalSignatures` : 追加される完了シグネチャ集合（下記3種の変換適用後に追加される）
+- `SetValue` : [値完了シグネチャ](set_value.md)集合に適用する型変換メタ操作
+- `SetError` : [エラー完了シグネチャ](set_value.md)集合に適用する型変換メタ操作
+- `SetStopped` : [停止完了シグネチャ](set_stopped.md)を置換する完了シグネチャ集合
+
+
+### 詳細仕様
+説明専用のエイリアステンプレート`default-set-value`, `default-set-error`を次の通り定義する。
+```cpp
+template<class... As>
+using default-set-value =
+  completion_signatures<set_value_t(As...)>;
+
+template<class Err>
+using default-set-error =
+  completion_signatures<set_error_t(Err)>;
+```
+* completion_signatures[link completion_signatures.md]
+* set_value_t[link set_value.md]
+* set_error_t[link set_error.md]
+
+説明用のパック型`As`に対して、エイリアステンプレート`SetValue<As...>`を不適格、もしくは[`valid-completion-signatures`](completion_signatures.md)`<SetValue<As...>>`を満たす型とする。
+説明用の型`Err`に対して、エイリアステンプレート`SetError<Err>`を不適格、もしくは[`valid-completion-signatures`](completion_signatures.md)`<SetError<Error>>`を満たす型とする。
+
+説明用のパック`Vs`を、[`gather-signatures`](gather-signatures.md)`<`[`set_value_t`](set_value.md)`, InputSignatures, SetValue,` [`type-list`](type-list.md)`>`で得られる`type-list`の型パラメータパックとする。
+
+説明用のパック`Es`を、[`gather-signatures`](gather-signatures.md)`<`[`set_error_t`](set_error.md)`, InputSignatures,` [`type_identity_t`](/reference/type_traits/type_identity.md)`, error-list>`で得られる[`type-list`](type-list.md)の型パラメータパックとする。ここでエイリアステンプレート`error-list<Ts...>`は`type-list<SetError<Ts>...>`とする。
+
+[`gather-signatures`](gather-signatures.md)`<`[`set_stopped_t`](set_stopped.md)`, InputSignatures, type-list, type-list>`が[`type-list<>`](type-list.md)となるならば、説明用のパック`Ss`を[`completion_signatures<>`](completion_signatures.md)とする。そうでなければ、`Ss`を`SetStopped`とする。
+
+上記いずれかの型が不適格となる場合、下記は不適格となる。
+
+```cpp
+transform_completion_signatures<
+  InputSignatures, AdditionalSignatures,
+  SetValue, SetError, SetStopped>
+```
+
+そうでなければ、集合`AdditionalSignatures`, `Vs...`, `Es...`, `Ss`に含まれる[`completion_signatures`](completion_signatures.md)特殊化のテンプレート引数型の一意な集合を`Sig...`としたとき、`transform_completion_signatures`は[`completion_signatures`](completion_signatures.md)`<Sigs...>`のエイリアスとなる。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::completion_signatures`](completion_signatures.md)
+- [`execution::transform_completion_signatures_of`](transform_completion_signatures_of.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/execution/transform_completion_signatures_of.md b/reference/execution/execution/transform_completion_signatures_of.md
@@ -0,0 +1,53 @@
+# transform_completion_signatures_of
+* execution[meta header]
+* std::execution[meta namespace]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::exectution {
+  template<
+    sender Sndr,
+    class Env = env<>,
+    valid-completion-signatures AdditionalSignatures = completion_signatures<>,
+    template<class...> class SetValue = see below,
+    template<class> class SetError = see below,
+    valid-completion-signatures SetStopped = completion_signatures<set_stopped_t()>>
+      requires sender_in<Sndr, Env>
+  using transform_completion_signatures_of =
+    transform_completion_signatures<
+      completion_signatures_of_t<Sndr, Env>,
+      AdditionalSignatures, SetValue, SetError, SetStopped>;
+}
+```
+* env<>[link env.md]
+* valid-completion-signatures[link completion_signatures.md]
+* completion_signatures[link completion_signatures.md]
+* set_stopped_t()[link set_stopped.md]
+* sender_in[lin sender_in.md]
+* transform_completion_signatures[link transform_completion_signatures.md]
+* completion_signatures_of_t[link completion_signatures_of_t.md]
+* see below[italic]
+
+## 概要
+[Sender型](sender.md)`Sndr`が[環境](../queryable.md)`Env`において非同期操作を作成できるとき、Senderの[完了シグネチャ集合](get_completion_signatures.md)から別の完了シグネチャ集合へ変換するエイリアステンプレート。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::get_completion_signatures`](get_completion_signatures.md)
+- [`execution::transform_completion_signatures`](transform_completion_signatures.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/execution/type-list.md b/reference/execution/execution/type-list.md
@@ -0,0 +1,27 @@
+# type-list
+* execution[meta header]
+* class template[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+template<class... Ts>
+struct type-list;  // exposition only
+```
+
+## 備考
+`type-list`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 関連項目
+- [`execution::sends_stopped`](sends_stopped.md)
+- [`execution::transform_completion_signatures`](transform_completion_signatures.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/execution/variant-or-empty.md b/reference/execution/execution/variant-or-empty.md
diff --git a/reference/execution/execution/when_all.md b/reference/execution/execution/when_all.md
diff --git a/reference/execution/queryable.md b/reference/execution/queryable.md
diff --git a/reference/execution/this_thread/sync-wait-receiver.md b/reference/execution/this_thread/sync-wait-receiver.md
