execution: start (#1384)

Author: yohhoy

reference/execution/execution.md

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

reference/execution/execution/connect.md

@@ -211,7 +211,7 @@ int main()
 * ex::sender[link sender.md]
 * ex::just[link just.md.nolink]
 * ex::operation_state[link operation_state.md]
-* ex::start[link start.md.nolink]
+* ex::start[link start.md]
 
 ### 出力
 ```

reference/execution/execution/operation_state.md

@@ -19,15 +19,15 @@ namespace std::execution {
 ```
 * derived_from[link /reference/concepts/derived_from.md]
 * is_object_v[link /reference/type_traits/is_object.md]
-* start[link start.md.nolink]
+* start[link start.md]
 
 ## 概要
 `operation_state`は、型`O`がOperation State型の要件を満たすことを表すコンセプトである。
 
 下記をみたすクラス型はOperation Stateとみなせる。
 
 - `operation_state_t`をメンバ型`O::operation_state_concept`として定義するクラス型
-- `O`型の左辺値`o`に対して[`execution::start`](start.md.nolink)`(o)`が有効な式かつ例外送出されないこと
+- `O`型の左辺値`o`に対して[`execution::start`](start.md)`(o)`が有効な式かつ例外送出されないこと
 
 非同期操作の生存期間中に`operation_state`オブジェクトが破棄されると、未定義の動作を引き起こす。
 
@@ -65,7 +65,7 @@ int main()
 * ex::sender[link sender.md]
 * ex::just[link just.md.nolink]
 * ex::connect[link connect.md]
-* ex::start[link start.md.nolink]
+* ex::start[link start.md]
 
 ### 出力
 ```

reference/execution/execution/sender_to.md

@@ -61,7 +61,7 @@ int main()
 * ex::just[link just.md.nolink]
 * ex::operation_state[link operation_state.md]
 * ex::connect[link connect.md]
-* ex::start[link start.md.nolink]
+* ex::start[link start.md]
 
 ### 出力
 ```

reference/execution/execution/start.md

@@ -0,0 +1,87 @@
+# start
+* execution[meta header]
+* cpo[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  struct start_t;
+  inline constexpr start_t start{};
+}
+```
+
+## 概要
+`start`は、[Operation State](operation_state.md)を開始するカスタマイゼーションポイントオブジェクトである。
+
+
+## 効果
+式`start(op)`は、`op`が右辺値の場合は不適格となる。
+そうでなければ、`op.start()`と等価。
+
+`op.start()`が[Operation State](operation_state.md)に関連付けさられた非同期操作を開始しない場合、式`start(op)`は未定義動作となる。
+
+
+## カスタマイゼーションポイント
+[Operation State](operation_state.md)`op`に対して式`op.start()`が呼び出される。
+このとき`noexcept(op.start()) == true`であること。
+
+
+## 例
+```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::start[color ff0000]
+* ex::receiver_t[link receiver.md]
+* ex::sender[link sender.md]
+* ex::just[link just.md.nolink]
+* ex::operation_state[link operation_state.md]
+* ex::connect[link connect.md]
+
+### 出力
+```
+42
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::operation_state`](operation_state.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)