execution: with-await-transform (#1384)

Author: yohhoy

reference/execution/execution/connect.md

@@ -16,8 +16,8 @@ namespace std {
 
 カスタマイゼーションポイントオブジェクトの呼び出し式`connect(sndr, rcvr)`は、下記の動作となる。
 
-- [`transform_sender`](transform_sender.md)を呼び出して、`sndr`を新しいSender`new_sndr`に変換する。大半のケースでは無変換。
-- 呼び出し式が適格であるならば、`return new_sndr.connect(rcvr)`相当。
+- [`transform_sender`](transform_sender.md)により`sndr`から新しいSender`new_sndr`へ変換する。（多くのケースで無変換）
+- 呼び出し式が適格であるならば、`new_sndr.connect(rcvr)`を返す。
 - そうでなければ、`new_sndr`を[コルーチンのAwaitable型](/lang/cpp20/coroutines.md)とみなして`rcvr`と接続した結果を返す。
 
 
@@ -72,9 +72,12 @@ namespace std::execution {
   };
 }
 ```
+* with-await-transform[link with-await-transform.md]
 * suspend_always[link /reference/coroutine/suspend_always.md]
+* terminate()[link /reference/exception/terminate.md]
 * coroutine_handle[link /reference/coroutine/coroutine_handle.md]
 * set_stopped[link set_stopped.md]
+* std::move[link /reference/utility/move.md]
 * noop_coroutine()[link /reference/coroutine/noop_coroutine.md]
 * from_promise[link /reference/coroutine/coroutine_handle/from_promise.md]
 * env_of_t[link env_of_t.md]
@@ -100,6 +103,7 @@ namespace std::execution {
 }
 ```
 * operation_state_t[link operation_state.md]
+* promise_type[link /lang/cpp20/coroutines.md]
 * coroutine_handle<>[link /reference/coroutine/coroutine_handle.md]
 * destroy()[link /reference/coroutine/coroutine_handle/destroy.md]
 * resume()[link /reference/coroutine/coroutine_handle/resume.md]
@@ -117,7 +121,7 @@ completion_signatures<
   set_stopped_t()>
 ```
 * set_error_t[link set_error.md]
-* set_stopped[link set_stopped.md]
+* set_stopped_t[link set_stopped.md]
 * exception_ptr[link /reference/exception/exception_ptr.md]
 * SET-VALUE-SIG[italic]
 
@@ -159,8 +163,10 @@ namespace std::execution {
 * unreachable()[link /reference/utility/unreachable.md]
 * receiver_of[link receiver_of.md]
 * exception_ptr[link /reference/exception/exception_ptr.md]
+* std::move[link /reference/utility/move.md]
 * current_exception()[link /reference/exception/current_exception.md]
 
+
 ## カスタマイゼーションポイント
 Sender`sndr`[変換後](transform_sender.md)の`new_sndr`に対して、式`new_sndr.connect(rcvr)`が呼び出される。
 

reference/execution/execution/connect_result_t.md

@@ -14,7 +14,7 @@ namespace std::execution {
 * connect[link connect.md]
 
 ## 概要
-[Sender型](sender.md)`Sndr`と[Receiver型]`Rcvr`を[接続](connect.md)した結果の[Operation State型](operation_state.md)を取得する。
+[Sender型](sender.md)`Sndr`と[Receiver型](receiver.md)`Rcvr`を[接続(connect)](connect.md)した結果の[Operation State型](operation_state.md)を取得する。
 
 
 ## バージョン

reference/execution/execution/sender.md

@@ -50,6 +50,7 @@ struct env-promise : with-await-transform<env-promise<Env>> {
 * is-awaitable[link ../is-awaitable.md]
 * env<>[link env.md]
 * derived_from[link /reference/concepts/derived_from.md]
+* with-await-transform[link with-await-transform.md]
 * coroutine_handle<>[link /reference/coroutine/coroutine_handle.md]
 * unspecified[italic]
 

reference/execution/execution/sender_in.md

@@ -38,7 +38,7 @@ concept valid-completion-signatures = see below;
 
 また、ある完了操作の完了シグネチャが[`completion_signatures_of_t`](completion_signatures_of_t.md)`<Sndr, Env>`で取得される[`completion_signatures`](completion_signatures.md)リストに含まれるとき、`Sndr`と`Env`における許容可能完了(permissible completion)となる。
 
-`sndr`と`rcvr`の接続後に[Operation State](operation_state.md)を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、`Sndr`と`Env`は`sender_in<Sndr, Env>`のモデルとなる。
+`sndr`と`rcvr`の[接続](connect.md)後に[Operation State](operation_state.md)を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、`Sndr`と`Env`は`sender_in<Sndr, Env>`のモデルとなる。
 
 
 ## 例

reference/execution/execution/transform_sender.md

@@ -18,7 +18,7 @@ namespace std::execution {
 
 ## 概要
 [実行ドメイン](default_domain.md)に応じて[Sender](sender.md)を変換する。
-Senderオブジェクトの構築時、Senderと[Receiver](receiver.md)間[接続(connect)](../connect.md.nolink)のカスタマイゼーションポイントとして機能する。
+Senderオブジェクトの構築時、Senderと[Receiver](receiver.md)間[接続(connect)](connect.md)時のカスタマイゼーションポイントとして機能する。
 
 型変換ではSender型の変換が行われなくなる（恒等変換となる）まで、下記のカスタマイゼーションポイントを再帰的に呼び出す。
 

reference/execution/execution/with-await-transform.md

@@ -0,0 +1,47 @@
+# with-await-transform
+* execution[meta header]
+* class template[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template<class T, class Promise>
+  concept has-as-awaitable =  // exposition only
+    requires (T&& t, Promise& p) {
+      { std::forward<T>(t).as_awaitable(p) } -> is-awaitable<Promise&>;
+    };
+
+  template<class Derived>
+  struct with-await-transform {  // exposition only
+    template<class T>
+    T&& await_transform(T&& value) noexcept {
+      return std::forward<T>(value);
+    }
+
+    template<has-as-awaitable<Derived> T>
+    decltype(auto) await_transform(T&& value)
+      noexcept(noexcept(std::forward<T>(value).as_awaitable(declval<Derived&>())))
+    {
+        return std::forward<T>(value).as_awaitable(static_cast<Derived&>(*this));
+    }
+  };
+}
+```
+* is-awaitable[link ../is-awaitable.md]
+
+## 概要
+`with-await-transform`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。
+
+
+## バージョン
+### 言語
+- C++26
+
+## 関連項目
+- [`execution::sender`](sender.md)
+- [`execution::connect`](connect.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)