stop_token: stop_callback_for_t (#1384)

yohhoy · yohhoy · commit fa3f23c2a117 · 2025-04-04T19:00:17.000+09:00
- stop_token: callback_type
- stop_callback: Callback -&gt; CallbackFn
diff --git a/reference/stop_token.md b/reference/stop_token.md
@@ -24,7 +24,7 @@
 | [`inplace_stop_token`](stop_token/inplace_stop_token.md.nolink)       | インプレース停止トークン (class) | C++26 |
 | [`inplace_stop_source`](stop_token/inplace_stop_source.md.nolink)     | インプレース停止要求を発生させるクラス (class) | C++26 |
 | [`inplace_stop_callback`](stop_token/inplace_stop_callback.md.nolink) | インプレース停止要求に応じて呼び出されるコールバック (class template) | C++26 |
-| [`stop_callback_for_t`](stop_token/stop_callback_for_t.md.nolink) | 停止トークンに対応するコールバック型を取得 (alias template) | C++26 |
+| [`stop_callback_for_t`](stop_token/stop_callback_for_t.md) | 対応するコールバック型を取得 (alias template) | C++26 |
 
 
 ## バージョン
diff --git a/reference/stop_token/stop_callback.md b/reference/stop_token/stop_callback.md
@@ -6,7 +6,7 @@
 
 ```cpp
 namespace std {
-  template<class Callback>
+  template<class CallbackFn>
   class stop_callback;
 }
 ```
@@ -17,29 +17,29 @@ namespace std {
 ## メンバ関数
 
 | 名前 | 説明 | 対応バージョン |
-|---------------------------------------------------|--------------------------------------------------------------------|-------|
+|------|------|-------|
 | [`(constructor)`](stop_callback/op_constructor.md)| コンストラクタ | C++20 |
 | [`(destructor)`](stop_callback/op_destructor.md)  | デストラクタ | C++20 |
 | `operator=(const stop_callback&) = delete;`       | 代入演算子 | C++20 |
 | `operator=(stop_callback&&) = delete;`            | 代入演算子 | C++20 |
 
 ## メンバ型
 
-| 名前            | 説明           | 対応バージョン |
-|-----------------|----------------|----------------|
-| `callback_type` | テンプレート引数`Callback`に指定した型| C++20 |
+| 名前 | 説明 | 対応バージョン |
+|------|------|-------|
+| `callback_type` | `CallbackFn` | C++20 |
 
 ## 推論補助
 
 | 名前 | 説明 | 対応バージョン |
-|---------------------------------------------|------------------------------------|-------|
+|------|------|-------|
 | [`(deduction_guide)`](stop_callback/op_deduction_guide.md) | クラステンプレートの推論補助 | C++20 |
 
 ## 適格要件
-テンプレート引数の`Callback`は[`invocable`](/reference/concepts/invokable.md.nolink)と[`destructible`](/reference/concepts/destructible.md)制約を満たさなければならい。
+テンプレート引数の`CallbackFn`は[`invocable`](/reference/concepts/invokable.md.nolink)と[`destructible`](/reference/concepts/destructible.md)制約を満たさなければならい。
 
 ## 事前条件
-テンプレート引数の`Callback`は[`invocable`](/reference/concepts/invokable.md.nolink)と[`destructible`](/reference/concepts/destructible.md)制約を満たさなければならい。
+テンプレート引数の`CallbackFn`は[`invocable`](/reference/concepts/invokable.md.nolink)と[`destructible`](/reference/concepts/destructible.md)制約を満たさなければならい。
 
 ## 例
 ```cpp example
diff --git a/reference/stop_token/stop_callback/op_constructor.md b/reference/stop_token/stop_callback/op_constructor.md
@@ -8,10 +8,10 @@
 ```cpp
 template<class C>
 explicit stop_callback(const stop_token& st, C&& cb)
-          noexcept(is_nothrow_constructible_v<Callback, C>);  // (1)
+          noexcept(is_nothrow_constructible_v<CallbackFn, C>);  // (1)
 template<class C>
 explicit stop_callback(stop_token&& st, C&& cb)
-          noexcept(is_nothrow_constructible_v<Callback, C>);  // (2)
+          noexcept(is_nothrow_constructible_v<CallbackFn, C>);  // (2)
 
 stop_callback(const stop_callback&) = delete;                 // (3)
 stop_callback(stop_callback&&) = delete;                      // (4)
@@ -25,22 +25,22 @@ stop_callback(stop_callback&&) = delete;                      // (4)
 
 
 ## 適格要件
-クラステンプレートのテンプレート引数`Callback`とコンストラクタのテンプレート引数`C`は[`constructible_from`](/reference/concepts/constructible_from.md)`<Callback, C>`制約を満たさなければならない。
+クラステンプレートのテンプレート引数`CallbackFn`とコンストラクタのテンプレート引数`C`は[`constructible_from`](/reference/concepts/constructible_from.md)`<CallbackFn, C>`制約を満たさなければならない。
 
 
 ## 事前条件
-クラステンプレートのテンプレート引数`Callback`とコンストラクタのテンプレート引数`C`は[`constructible_from`](/reference/concepts/constructible_from.md)`<Callback, C>`制約を満たさなければならない。
+クラステンプレートのテンプレート引数`CallbackFn`とコンストラクタのテンプレート引数`C`は[`constructible_from`](/reference/concepts/constructible_from.md)`<CallbackFn, C>`制約を満たさなければならない。
 
 
 ## 効果
-コンストラクタの引数に渡した`cb`を`std::forward<Callback>(cb)`で転送して、メンバ変数（仮に`callback`とする）を初期化する。
+コンストラクタの引数に渡した`cb`を`std::forward<CallbackFn>(cb)`で転送して、メンバ変数（仮に`callback`とする）を初期化する。
 
-もし`st.`[`stop_requested()`](../stop_token/stop_requested.md) `==` `true` の場合は、コンストラクタを呼び出したスレッドの中で`std::forward<Callback>(callback)()`を評価し、コールバックを呼び出す。したがってこのコールバックの呼び出しはコンストラクタから処理が戻るより前に完了する。
+もし`st.`[`stop_requested()`](../stop_token/stop_requested.md) `==` `true` の場合は、コンストラクタを呼び出したスレッドの中で`std::forward<CallbackFn>(callback)()`を評価し、コールバックを呼び出す。したがってこのコールバックの呼び出しはコンストラクタから処理が戻るより前に完了する。
 
-そうでない場合は、`st`が所有している停止状態への所有権を取得して停止状態を共有し、その停止状態に対する最初の[`request_stop()`](../stop_source/request_stop.md)の呼び出しで`std::forward<Callback>(callback)()`を評価するようなコールバックを登録する。
+そうでない場合は、`st`が所有している停止状態への所有権を取得して停止状態を共有し、その停止状態に対する最初の[`request_stop()`](../stop_source/request_stop.md)の呼び出しで`std::forward<CallbackFn>(callback)()`を評価するようなコールバックを登録する。
 `st`が停止状態を所有していない場合は何もしない。
 
-もし`std::forward<Callback>(callback)()`の呼び出しが例外によって終了した場合は、[`std::terminate()`](/reference/exception/terminate.md)関数が呼び出され、プログラムが異常終了する。
+もし`std::forward<CallbackFn>(callback)()`の呼び出しが例外によって終了した場合は、[`std::terminate()`](/reference/exception/terminate.md)関数が呼び出され、プログラムが異常終了する。
 
 
 ## 例外
diff --git a/reference/stop_token/stop_callback/op_deduction_guide.md b/reference/stop_token/stop_callback/op_deduction_guide.md
@@ -6,8 +6,8 @@
 
 ```cpp
 namespace std {
-  template <class Callback>
-  stop_callback(stop_token, Callback) -> stop_callback<Callback>;
+  template <class CallbackFn>
+  stop_callback(stop_token, CallbackFn) -> stop_callback<CallbackFn>;
 }
 ```
 
diff --git a/reference/stop_token/stop_callback_for_t.md b/reference/stop_token/stop_callback_for_t.md
@@ -0,0 +1,31 @@
+# stop_callback_for_t
+* stop_token[meta header]
+* std[meta namespace]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template<class T, class CallbackFn>
+  using stop_callback_for_t = T::template callback_type<CallbackFn>;
+}
+```
+
+## 概要
+
+型`T`に対応する`CallbackFn`型のコールバック型を取得する。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/stop_token/stop_token.md b/reference/stop_token/stop_token.md
@@ -13,7 +13,7 @@ namespace std {
 ## 概要
 `stop_token`クラスは、停止要求が作成されたかどうか、あるいは停止要求が作成されうるかどうかなど、停止状態を問い合わせるためのインターフェースを提供する。
 
-[`stop_source`](stop_source.md)クラスの[`get_token()`](./stop_source/get_token.md)メンバ関数を呼び出すと、その`stop_source`クラスのオブジェクトと停止状態を共有する`stop_token`クラスのオブジェクトを構築できる。これによって、`stop_source`側から停止要求を作成したときに、この`stop_token`を通じて停止状態を問い合わせられるようになる。
+[`stop_source`](stop_source.md)クラスの[`get_token()`](stop_source/get_token.md)メンバ関数を呼び出すと、その`stop_source`クラスのオブジェクトと停止状態を共有する`stop_token`クラスのオブジェクトを構築できる。これによって、`stop_source`側から停止要求を作成したときに、この`stop_token`を通じて停止状態を問い合わせられるようになる。
 
 また、`stop_token`クラスは以下のクラスでも利用される：
 
@@ -26,20 +26,27 @@ namespace std {
 ## メンバ関数
 
 | 名前 | 説明 | 対応バージョン |
-|-------------------------------------------------|--------------------------------------------------------------------|-------|
+|------|------|-------|
 | [`(constructor)`](stop_token/op_constructor.md) | コンストラクタ | C++20 |
 | [`(destructor)`](stop_token/op_destructor.md)   | デストラクタ | C++20 |
 | [`operator=`](stop_token/op_assign.md)          | 代入演算子 | C++20 |
 | [`swap`](stop_token/swap.md)                    | 別の`stop_token`と交換する | C++20 |
 | [`stop_requested`](stop_token/stop_requested.md)| 停止要求が作成されたかどうかを取得する | C++20 |
 | [`stop_possible`](stop_token/stop_possible.md)  | 停止要求が作成されうるかどうかを取得する | C++20 |
 
+## メンバ型
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|-------|
+| [`callback_type`](stop_token/callback_type.md) | 対応するコールバック型 (alias template) | C++26 |
+
 ## 非メンバ関数
+
 | 名前 | 説明 | 対応バージョン |
-|------------------------------------------------|---------------------------------------|-------|
-| [`operator==`](stop_token/op_equal.md)         | 等値演算子 | C++20 |
-| [`operator!=`](stop_token/op_not_equal.md)     | 非等値演算子 | C++20 |
-| [`swap`](stop_token/swap_free.md)              | 2つの`stop_token`オブジェクトを入れ替える | C++20 |
+|------|------|-------|
+| [`operator==`](stop_token/op_equal.md)     | 等値演算子 | C++20 |
+| [`operator!=`](stop_token/op_not_equal.md) | 非等値演算子 | C++20 |
+| [`swap`](stop_token/swap_free.md)          | 2つの`stop_token`オブジェクトを入れ替える | C++20 |
 
 
 ## 例
diff --git a/reference/stop_token/stop_token/callback_type.md b/reference/stop_token/stop_token/callback_type.md
@@ -0,0 +1,30 @@
+# callback_type
+* stop_token[meta header]
+* std[meta namespace]
+* stop_token[meta class]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+template<class CallbackFn>
+using callback_type = stop_callback<CallbackFn>;
+```
+* stop_callback[link ../stop_callback.md]
+
+## 概要
+`stop_token`に対応するコールバック型。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [GCC](/implementation.md#gcc): ??
+- [Clang](/implementation.md#clang): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/stop_token/stoppable_token.md b/reference/stop_token/stoppable_token.md
@@ -68,9 +68,9 @@ concept stoppable-callback-for =
 ```
 * invocable[link /reference/concepts/invocable.md]
 * constructible_from[link /reference/concepts/constructible_from.md]
-* stop_callback_for_t[link stop_callback_for_t.md.nolink]
+* stop_callback_for_t[link stop_callback_for_t.md]
 
-説明用の`init`を[`same_as`](/reference/concepts/same_as.md)`<decltype(init), Initializer>`を満たす式、型`SCB`を[`stop_callback_for_t`](stop_callback_for_t.md.nolink)`<Token, CallbackFn>`とする。
+説明用の`init`を[`same_as`](/reference/concepts/same_as.md)`<decltype(init), Initializer>`を満たす式、型`SCB`を[`stop_callback_for_t`](stop_callback_for_t.md)`<Token, CallbackFn>`とする。
 
 `stoppable-callback-for<CallbackFn, Token, Initializer>`のモデルとなるには、下記を満たすこと。
 

Original file line number	Diff line number	Diff line change
`@@ -6,8 +6,8 @@`
`6`	`6`
`7`	`7`	```cpp
`8`	`8`	`namespace std {`
`9`		`- template <class Callback>`
`10`		`- stop_callback(stop_token, Callback) -> stop_callback<Callback>;`
	`9`	`+ template <class CallbackFn>`
	`10`	`+ stop_callback(stop_token, CallbackFn) -> stop_callback<CallbackFn>;`
`11`	`11`	`}`
`12`	`12`	```
`13`	`13`