execution: P3552R3 taski::state(#1521)

Author: yohhoy

reference/execution/execution/task.md

@@ -34,8 +34,8 @@ namespace std::execution {
 型エイリアス`completion_signatures`は、（未規定の順序で）次のテンプレート実引数をもつ[`execution::completion_signatures`](completion_signatures.md)の特殊化となる :
 
 - `T`が`void`のとき[`set_value_t`](set_value.md)`()`、そうでなければ`set_value_t(T)`
-- `error_types`で表される[`execution::completion_signatures`](completion_signatures.md)の特殊化のテンプレート実引数（エラー型`Err`を持つ[`set_error_t`](set_error.md)`(Err)...`）
-- [`set_stopped_t`](set_stopped.md)
+- `error_types`で表される[`execution::completion_signatures`](completion_signatures.md)の特殊化のテンプレート実引数（エラー型`Err`を持つ[`set_error_t`](set_error.md)`(Err)`）
+- [`set_stopped_t`](set_stopped.md)`()`
 
 
 ## メンバ関数
@@ -58,7 +58,7 @@ namespace std::execution {
 | `stop_source_type` | コルーチンの停止ソース型 | C++26 |
 | `stop_token_type` | コルーチンの停止トークン型 | C++26 |
 | `error_types` | コルーチンの[エラー完了](set_error.md)の結果型 | C++26 |
-| [`state`](task/state.md.nolink) | タスクコルーチン動作の説明専用クラステンプレート | C++26 |
+| [`state`](task/state.md) | タスクコルーチン動作の説明専用クラステンプレート | C++26 |
 | [`promise_type`](task/promise_type.md.nolink) | タスクコルーチンの[Promise型](/lang/cpp20/coroutines.md) | C++26 |
 
 

reference/execution/execution/task/connect.md

@@ -10,7 +10,7 @@ template<receiver Rcvr>
 state<Rcvr> connect(Rcvr&& recv) &&;
 ```
 * receiver[link ../receiver.md]
-* state[italic]
+* state[link state.md]
 
 ## 概要
 [Receiver](../receiver.md)と接続する。
@@ -27,7 +27,7 @@ state<Rcvr> connect(Rcvr&& recv) &&;
 return state<Rcvr>(exchange(handle, {}), std::forward<Rcvr>(recv));
 ```
 * exchange[link /reference/utility/exchange.md]
-* state[italic]
+* state[link state.md]
 
 
 ## バージョン

reference/execution/execution/task/state.md

@@ -0,0 +1,96 @@
+# task::state
+* execution[meta header]
+* class template[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template <class T, class Environment>
+    template <receiver R>
+  class task<T, Environment>::state { // exposition only
+  public:
+    using operation_state_concept = operation_state_t;
+
+    template <class Rcvr>
+    state(coroutine_handle<promise_type> h, Rcvr&& rr);
+    ~state();
+    void start() & noexcept;
+
+private:
+    using own-env-t = see below;     // exposition only
+    coroutine_handle<promise_type> handle;  // exposition only
+    remove_cvref_t<R>              rcvr;    // exposition only
+    own-env-t                      own-env; // exposition only
+    Environment                    environment; // exposition only
+  };
+}
+```
+* receiver[link ../receiver.md]
+* task[link ../task.md]
+* operation_state_t[link ../operation_state.md]
+* coroutine_handle[link /reference/coroutine/coroutine_handle.md]
+* promise_type[link promise_type.md.nolink]
+* own-env-t[italic]
+
+## 概要
+`task<T,E>::state`は、[タスクコルーチン](../task.md)動作の説明専用クラステンプレートである。
+
+
+## クラス仕様
+説明専用の`own-env-t`は、有効な型ならば`Environment::`[`template env_type`](../task.md)`<decltype(`[`get_env`](../get_env.md)`(declval<R>()))>`となる。そうでなければ[`env<>`](../env.md)となる。
+
+```cpp
+template <class Rcvr>
+state(coroutine_handle<promise_type> h, Rcvr&& rr);
+```
+* coroutine_handle[link /reference/coroutine/coroutine_handle.md]
+* promise_type[link promise_type.md.nolink]
+
+- 効果 :
+    - `handle`を[`std::move`](/reference/utility/move.md)`(h);`で初期化する。
+    - `rcvr`を[`std::forward`](/reference/utility/forward.md)`<Rcvr>(rr)`で初期化する。
+    - `own-env`を、式が有効ならば`own-env-t(`[`get_env`](../get_env.md)`(rcvr))`で、そうでなければ`own-env-t()`で初期化する。いずれの式も適格でなければ、プログラムは不適格となる。
+    - `environment`を、式が有効ならば`Environment(own-env)`で、そうではなく式が有効ならば`Environment(`[`get_env`](../get_env.md)`(rcvr))`で、そうでなければ`Environment()`で初期化する。いずれの式も適格でなければ、プログラムは不適格となる。
+
+```cpp
+~state();
+```
+
+- 効果 : 以下と等価。
+
+    ```cpp
+    if (handle)
+      handle.destroy();
+    ```
+    * destroy()[link /reference/coroutine/coroutine_handle/destroy.md]
+
+```cpp
+void start() & noexcept;
+```
+
+- 効果 : 説明用の`prom`を`handle.`[`promise()`](/reference/coroutine/coroutine_handle/promise.md)オブジェクトとする。`*this`と関連する`STATE(prom)`、`RCVR(prom)`、`SCHED(prom)`を下記とする。
+    - `STATE(prom)` : `*this`
+    - `RCVR(prom)` : `rcvr`
+    - `SCHED(prom)` : 式が有効ならば[`scheduler_type`](../task.md)`(`[`get_scheduler`](../get_scheduler.md)`(`[`get_env`](../get_env.md)`(rcvr)))`で初期化したオブジェクト、そうでなれば`scheduler_type()`。いずれの式も適格でなければ、プログラムは不適格となる。
+
+    説明用の`st`を[`get_stop_token`](../../get_stop_token.md)`(`[`get_env`](../get_env.md)`(rcvr))`とする。`prom.token`と`prom.source`を下記のように初期化する。
+
+    - `prom.token.`[`stop_requested()`](/reference/stop_token/stoppable_token.md) : `st.stop_requested()`を返す。
+    - `prom.token.`[`stop_possible()`](/reference/stop_token/stoppable_token.md) : `st.stop_possible()`を返す。
+    ― 型`Fn`と型`Init`をそれぞれ[`invocalbe`](/reference/concepts/invocable.md)`<F>`と[`constructible_from`](/reference/concepts/constructible_from.md)`<Fn, Init>`のモデルとしたとき、[`stop_token::callback_type`](/reference/stop_token/stoppable_token.md)`<Fn>`は[`stoppable-callback-for`](/reference/stop_token/stoppable_token.md)`<Fn,` [`stop_token_type`](../task.md)`, Init>`のモデルである。
+
+    その後、`handle.`[`resume()`](/reference/coroutine/coroutine_handle/resume.md)を呼び出す。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 関連項目
+- [`execution::task::promise_type`](promise_type.md.nolink)
+
+
+## 参照
+- [P3552R3 Add a Coroutine Task Type](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3552r3.html)