execution: get_stop_token,stop_token_of_t (#1384)

Author: yohhoy

reference/execution/execution.md

@@ -37,8 +37,8 @@ namespace std::execution {
 |------|------|----------------|
 | [`forwarding_query`](forwarding_query.md.nolink) | クエリオブジェクトに転送問い合わせ可能か否かを返す (customization point object) | C++26 |
 | [`get_allocator`](get_allocator.md.nolink) | アロケータ取得のクエリオブジェクト (customization point object) | C++26 |
-| [`get_stop_token`](get_stop_token.md.nolink) | 停止トークン取得のクエリオブジェクト (customization point object) | C++26 |
-| [`stop_token_of_t`](get_stop_token.md.nolink) | 指定型から停止トークン型を取得 (alias template) | C++26 |
+| [`get_stop_token`](get_stop_token.md) | 停止トークン取得のクエリオブジェクト (customization point object) | C++26 |
+| [`stop_token_of_t`](stop_token_of_t.md) | 指定型から停止トークン型を取得 (alias template) | C++26 |
 | [`execution::get_domain`](execution/get_domain.md.nolink) | 実行ドメイン取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_scheduler`](execution/get_scheduler.md.nolink) | Scheduler取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_delegation_scheduler`](execution/get_delegation_scheduler.md.nolink) | 委譲Scheduler取得のクエリオブジェクト (customization point object) | C++26 |

reference/execution/execution/env.md

@@ -62,7 +62,7 @@ int main()
 * ex::env[color ff0000]
 * ex::prop[link prop.md]
 * std::get_allocator[link get_allocator.md.nolink]
-* std::get_stop_token[link get_stop_token.md.nolink]
+* std::get_stop_token[link ../get_stop_token.md]
 * std::never_stop_token[link /reference/stop_token/never_stop_token.md]
 
 ### 出力

reference/execution/execution/env/query.md

@@ -70,7 +70,7 @@ int main()
 * ex::env[link ../env.md]
 * ex::prop[link ../prop.md]
 * std::get_allocator[link get_allocator.md.nolink]
-* std::get_stop_token[link get_stop_token.md.nolink]
+* std::get_stop_token[link ../../get_stop_token.md]
 * std::never_stop_token[link /reference/stop_token/never_stop_token.md]
 * std::stop_token[link /reference/stop_token/stop_token.md]
 

reference/execution/execution/get_completion_scheduler.md

@@ -11,7 +11,7 @@ namespace std::execution {
 
   template<class CPO>
   constexpr get_completion_scheduler_t<CPO> get_completion_scheduler{};
-  }
+}
 ```
 * unspecified[italic]
 

reference/execution/execution/prop.md

@@ -49,7 +49,7 @@ int main()
 }
 ```
 * ex::prop[color ff0000]
-* std::get_stop_token[link get_stop_token.md.nolink]
+* std::get_stop_token[link ../get_stop_token.md]
 * std::never_stop_token[link /reference/stop_token/never_stop_token.md]
 
 ### 出力

reference/execution/get_stop_token.md

@@ -0,0 +1,79 @@
+# get_stop_token
+* execution[meta header]
+* cpo[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  struct get_stop_token_t { unspecified };
+  constexpr get_stop_token_t get_stop_token{};
+}
+```
+* unspecified[italic]
+
+## 概要
+`get_stop_token`は、[クエリ可能オブジェクト](queryable.md)から[停止トークン](/reference/stop_token/stoppable_token.md)を取得する[クエリオブジェクト](queryable.md)である。
+
+コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_stop_token)`は`true`値を返す。
+
+
+## 効果
+式`get_stop_token(env)`は下記と等価であり、[`stoppable_token`](/reference/stop_token/stoppable_token.md)を満たす型の値となる。
+
+- 引数`env`がconst修飾された`cenv`を用いて、式`cenv.query(get_stop_token)`が有効であればその値。
+- そうでなければ、[`never_stop_token{}`](/reference/stop_token/never_stop_token.md)
+
+
+## 例外
+投げない
+
+
+## カスタマイゼーションポイント
+const修飾[クエリ可能オブジェクト](queryable.md)`env`に対して式`env.query(get_stop_token)`が呼び出される。
+このとき、`noexcept(cenv.query(get_stop_token)) == true`であること。
+
+
+## 例
+```cpp
+#include <concepts>
+#include <stop_token>
+#include <execution>
+namespace ex = std::execution;
+
+int main()
+{
+  // just Senderは停止トークンを持たない
+  ex::sender auto sndr = ex::just(42);
+  auto token = std::get_stop_token(ex::get_env(sndr));
+  static_assert(std::same_as<decltype(token), std::never_stop_token>);
+}
+```
+* std::get_stop_token[color ff0000]
+* ex::sender[link execution/sender.md]
+* ex::just[link execution/just.md.nolink]
+* ex::get_env[link execution/get_env.md]
+* std::never_stop_token[link /reference/stop_token/never_stop_token.md]
+
+### 出力
+```
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`stoppable_token`](/reference/stop_token/stoppable_token.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/stop_token_of_t.md

@@ -0,0 +1,35 @@
+# stop_token_of_t
+* execution[meta header]
+* std[meta namespace]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template<class T>
+  using stop_token_of_t = remove_cvref_t<decltype(get_stop_token(declval<T>()))>;
+}
+```
+* get_stop_token[link get_stop_token.md]
+
+## 概要
+[クエリ可能オブジェクト型](queryable.md)`T`から[停止トークン型](/reference/stop_token/stoppable_token.md)を取得する。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`get_stop_token`](get_stop_token.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)