execution: operation_state (#1384)

Author: yohhoy

reference/execution/execution.md

@@ -72,7 +72,7 @@ namespace std::execution {
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
-| [`execution::operation_state`](execution/operation_state.md.nolink) | Operation State (concept) | C++26 |
+| [`execution::operation_state`](execution/operation_state.md) | Operation State型 (concept) | C++26 |
 | [`execution::start`](execution/start.md.nolink) | 非同期操作の開始 (customization point object) | C++26 |
 
 ### Sender

reference/execution/execution/operation_state.md

@@ -0,0 +1,91 @@
+# operation_state
+* execution[meta header]
+* concept[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template<class O>
+  concept operation_state =
+    derived_from<typename O::operation_state_concept, operation_state_t> &&
+    is_object_v<O> &&
+    requires (O& o) {
+      { start(o) } noexcept;
+    };
+
+  struct operation_state_t {};  // タグ型
+}
+```
+* derived_from[link /reference/concepts/derived_from.md]
+* is_object_v[link /reference/type_traits/is_object.md]
+* start[link start.md.nolink]
+
+## 概要
+`operation_state`は、型`O`がOperation State型の要件を満たすことを表すコンセプトである。
+
+下記をみたすクラス型はOperation Stateとみなせる。
+
+- `operation_state_t`をメンバ型`O::operation_state_concept`として定義するクラス型
+- `O`型の左辺値`o`に対して`execution::start(o)`が有効な式かつ例外送出されないこと
+
+非同期操作の生存期間中に`operation_state`オブジェクトが破棄されると、未定義の動作を引き起こす。
+
+
+## 例
+```cpp
+#include <print>
+#include <execution>
+namespace ex = std::execution;
+
+struct ValueReceiver {
+  using receiver_concept = ex::receiver_t;
+
+  void set_value(int v) noexcept
+  {
+    std::println("{}", v);
+  }
+};
+
+int main()
+{
+  // 値42を送信するSender
+  ex::sender auto sndr = ex::just(42);
+  // int値を受信して表示するReceiver
+  ValueReceiver rcvr;
+ 
+  // SenderとReceiverを接続
+  ex::operation_state auto op = ex::connect(sndr, rcvr);
+  // Operation Stateを開始
+  ex::start(op);
+}
+```
+* ex::operation_state[color ff0000]
+* ex::sender[link sender.md]
+* ex::just[link just.md.nolink]
+* ex::connect[link connect.md.nolink]
+* ex::start[link start.md.nolink]
+
+### 出力
+```
+42
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::connect`](connect.md.nolink)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/execution/sender_in.md

@@ -31,7 +31,7 @@ namespace std::execution {
 
 また、ある完了操作の完了シグネチャが[`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.nolink)を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、`Sndr`と`Env`は`sender_in<Sndr, Env>`のモデルとなる。
+`sndr`と`rcvr`の接続後に[Operation State](operation_state.md)を開始することで評価されうる完了操作が、全て許容可能完了(permissible completion)である場合、`Sndr`と`Env`は`sender_in<Sndr, Env>`のモデルとなる。
 
 
 ## 例

reference/execution/execution/sender_to.md

@@ -49,15 +49,16 @@ int main()
   // int値を受信して表示するReceiver
   ValueReceiver rcvr;
  
-  // SenderとReceiver接続後にOperation Stateを開始
+  // SenderとReceiverを接続
   ex::operation_state auto op = ex::connect(sndr, rcvr);
+  // Operation Stateを開始
   ex::start(op);
 }
 ```
 * ex::sender_to[color ff0000]
 * ex::sender[link sender.md]
 * ex::just[link just.md.nolink]
-* ex::operation_state[link operation_state.md.nolink]
+* ex::operation_state[link operation_state.md]
 * ex::connect[link connect.md.nolink]
 * ex::start[link start.md.nolink]
 

working_style.md

@@ -67,6 +67,7 @@ C++11以降対応については対応バージョンを明記します。バー
 | apply, application                 | 適用                         |
 | arithmetic type                    | 算術型                       |
 | associative container(s)           | 連想コンテナ                 |
+| asynchronous operation             | 非同期操作                   |
 | base class                         | 基底クラス                   |
 | bidirectional iterator             | 双方向イテレータ             |
 | bucket                             | バケット                     |