execution: tag_of_t (#1384)

yohhoy · yohhoy · commit f1e274336472 · 2025-05-05T00:45:38.000+09:00
標準Senderアルゴリズムの第1要素を"Senderアルゴリズムタグ"に統一。
（P2999R3では単にalgorithm tagと言及されるがSenderとの関連性を強調）
diff --git a/reference/execution/execution.md b/reference/execution/execution.md
@@ -88,7 +88,7 @@ namespace std::execution {
 | [`execution::value_types_of_t`](execution/value_types_of_t.md) | Senderの値完了シグネチャ集合から指定操作で型を生成 (alias template) | C++26 |
 | [`execution::error_types_of_t`](execution/error_types_of_t.md) | Senderのエラー完了シグネチャ集合から指定操作で型を生成 (alias template) | C++26 |
 | [`execution::sends_stopped`](execution/sends_stopped.md) | Senderが停止完了を送信しうるか否か (variable template) | C++26 |
-| [`execution::tag_of_t`](execution/tag_of_t.md.nolink) | Senderのタグ型を取得 (alias template) | C++26 |
+| [`execution::tag_of_t`](execution/tag_of_t.md) | Senderアルゴリズムタグを取得 (alias template) | C++26 |
 | [`execution::transform_sender`](execution/transform_sender.md) | Senderを変換 (function template) | C++26 |
 | [`execution::transform_env`](execution/transform_env.md) | 環境を変換 (function template) | C++26 |
 | [`execution::apply_sender`](execution/apply_sender.md) | Senderアルゴリズムを適用 (function template) | C++26 |
diff --git a/reference/execution/execution/basic-operation.md b/reference/execution/execution/basic-operation.md
@@ -38,7 +38,7 @@ namespace std::execution {
 }
 ```
 * operation_state_t[link operation_state.md]
-* tag_of_t[link tag_of_t.md.nolink]
+* tag_of_t[link tag_of_t.md]
 * impls-for[link impls-for.md]
 * see below[italic]
 
@@ -70,7 +70,7 @@ nothrow-callable<decltype(impls-for<tag_of_t<Sndr>>::get-state), Sndr, Rcvr&> &&
  is_nothrow_constructible_v<state-type<Sndr, Rcvr>, get-state-result>)
 ```
 * impls-for[link impls-for.md]
-* tag_of_t[link tag_of_t.md.nolink]
+* tag_of_t[link tag_of_t.md]
 * is_nothrow_move_constructible_v[link /reference/type_traits/is_nothrow_move_constructible.md]
 * is_nothrow_constructible_v[link /reference/type_traits/is_nothrow_constructible.md]
 
@@ -80,7 +80,7 @@ nothrow-callable<decltype(impls-for<tag_of_t<Sndr>>::get-state), Sndr, Rcvr&> &&
 call-result-t<decltype(impls-for<tag_of_t<Sndr>>::get-state), Sndr, Rcvr&>.
 ```
 * impls-for[link impls-for.md]
-* tag_of_t[link tag_of_t.md.nolink]
+* tag_of_t[link tag_of_t.md]
 
 
 ## 説明専用エンティティ
@@ -104,7 +104,7 @@ template<class Sndr>
 using indices-for = remove_reference_t<Sndr>::indices-for;  // exposition only 
 ```
 * impls-for[link impls-for.md]
-* tag_of_t[link tag_of_t.md.nolink]
+* tag_of_t[link tag_of_t.md]
 * decay_t[link /reference/type_traits/decay.md]
 * remove_reference_t[link /reference/type_traits/remove_reference.md]
 * see below[italic]
diff --git a/reference/execution/execution/basic-sender.md b/reference/execution/execution/basic-sender.md
@@ -44,7 +44,7 @@ namespace std::execution {
 
 `basic-sender<Tag, Data, Child...>`は[`sender`](sender.md)のモデルであり、[Senderアルゴリズム構築](make-sender.md)の結果型として利用される。
 
-- `Tag` : [Senderタグ](tag_of_t.md.nolink)（例：[`just`](just.md), [`then`](then.md.nolink)）
+- `Tag` : [Senderアルゴリズムタグ](tag_of_t.md)（例：[`just`](just.md), [`then`](then.md.nolink)）
 - `Data` : Senderアルゴリズムに指定された追加の引数。複数個の引数は[`product-type`](product-type.md.nolink)型を用いて単一値として保持する。
 - `Child` : 子Senderのリスト。Senderファクトリでは0個、Senderアダプタでは通常1個の子Senderを保持する。
 
@@ -88,4 +88,5 @@ using completion-signatures-for = see below;  // exposition only
 
 
 ## 参照
+- [P2999R3 Sender Algorithm Customization](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html)
 - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/execution/default_domain/apply_sender.md b/reference/execution/execution/default_domain/apply_sender.md
@@ -17,7 +17,7 @@ constexpr decltype(auto) apply_sender(Tag, Sndr&& sndr, Args&&... args)
 Senderアルゴリズム適用のデフォルト動作。
 [`execution::apply_sender`](../apply_sender.md)に対するスタマイゼーションポイントとして機能する。
 
-[Senderタグ型](../tag_of_t.md.nolink)`Tag`に対して、`apply_sender`メンバ関数を呼び出す。
+[Senderアルゴリズムタグ型](../tag_of_t.md)`Tag`に対して、`apply_sender`メンバ関数を呼び出す。
 
 
 ## テンプレートパラメータ制約
diff --git a/reference/execution/execution/default_domain/transform_env.md b/reference/execution/execution/default_domain/transform_env.md
@@ -16,7 +16,7 @@ template<sender Sndr, queryable Env>
 環境変換のデフォルト動作。
 [`execution::transform_env`](../transform_env.md)に対するスタマイゼーションポイントとして機能する。
 
-- 定義されていれば、[Senderタグ型](../tag_of_t.md.nolink)の`transform_env`メンバ関数に変換動作を委譲する。
+- 定義されていれば、[Senderアルゴリズムタグ型](../tag_of_t.md)の`transform_env`メンバ関数に変換動作を委譲する。
 - そうでなければ、無変換。
 
 
@@ -27,7 +27,7 @@ template<sender Sndr, queryable Env>
 ## 効果
 説明用の式`e`を次の通りとしたとき、`e`を返す。
 
-- 適格であるならば、式[`tag_of_t`](tag_of_t.md.nolink)`<Sndr>().transform_env(`[`std::forward`](/reference/utility/forward.md)`<Sndr>(sndr),` [`std::forward`](/reference/utility/forward.md)`<Env>(env))`
+- 適格であるならば、式[`tag_of_t`](../tag_of_t.md)`<Sndr>().transform_env(`[`std::forward`](/reference/utility/forward.md)`<Sndr>(sndr),` [`std::forward`](/reference/utility/forward.md)`<Env>(env))`
 - そうでなければ、`static_cast<Env>(`[`std::forward`](/reference/utility/forward.md)`<Env>(env))`
 
 
diff --git a/reference/execution/execution/default_domain/transform_sender.md b/reference/execution/execution/default_domain/transform_sender.md
@@ -19,14 +19,14 @@ constexpr sender decltype(auto) transform_sender(Sndr&& sndr, const Env&... env)
 Sender変換のデフォルト動作。
 [`execution::transform_sender`](../transform_sender.md)に対するスタマイゼーションポイントとして機能する。
 
-- 定義されていれば、[Senderタグ型](../tag_of_t.md.nolink)の`transform_sender`メンバ関数に変換動作を委譲する。
+- 定義されていれば、[Senderアルゴリズムタグ型](../tag_of_t.md)の`transform_sender`メンバ関数に変換動作を委譲する。
 - そうでなければ、無変換。
 
 
 ## 効果
 説明用の式`e`を次の通りとしたとき、`e`を返す。
 
-- 適格であるならば、式[`tag_of_t`](tag_of_t.md.nolink)`<Sndr>().transform_sender(`[`std::forward`](/reference/utility/forward.md)`<Sndr>(sndr), env...)`
+- 適格であるならば、式[`tag_of_t`](../tag_of_t.md)`<Sndr>().transform_sender(`[`std::forward`](/reference/utility/forward.md)`<Sndr>(sndr), env...)`
 - そうでなければ、[`std::forward`](/reference/utility/forward.md)`<Sndr>(sndr)`
 
 
diff --git a/reference/execution/execution/impls-for.md b/reference/execution/execution/impls-for.md
@@ -23,7 +23,7 @@ namespace std::execution {
 ## 概要
 `impls-for`は、Senderアルゴリズム動作仕様定義で用いられる説明専用のクラステンプレートである。
 
-説明専用のクラス`default-impls`にてSenderアルゴリズム共通動作を記述し、[Senderタグ](tag_of_t.md.nolink)`Tag`を用いて`impls-for<Tag>`特殊化を定義することでSenderアルゴリズム固有動作を静的にオーバーライドする。
+説明専用のクラス`default-impls`にてSenderアルゴリズム共通動作を記述し、[Senderアルゴリズムタグ型](tag_of_t.md)`Tag`を用いて`impls-for<Tag>`特殊化を定義することでSenderアルゴリズムの固有動作を静的にオーバーライドする。
 
 
 ## 説明専用クラス `default-impls`
diff --git a/reference/execution/execution/just.md b/reference/execution/execution/just.md
@@ -21,7 +21,7 @@ namespace std::execution {
 - そうでなければ、式[`make-sender`](make-sender.md)`(just,` [`product-type`](product-type.md.nolink)`{ts...})`と等価。
 
 
-### Senderタグ `just`
+### Senderアルゴリズムタグ `just`
 Senderアルゴリズム動作説明用のクラステンプレート`impls-for`に対して、下記の特殊化が定義される。
 
 ```cpp
diff --git a/reference/execution/execution/make-sender.md b/reference/execution/execution/make-sender.md
@@ -15,7 +15,7 @@ constexpr auto make-sender(Tag tag, Data&& data, Child&&... child);
 
 [`sender`](sender.md)のモデルである説明専用クラステンプレート[`basic-sender`](basic-sender.md)のインスタンスを生成する。
 
-- `Tag` : [Senderタグ](tag_of_t.md.nolink)（例：[`just`](just.md), [`then`](then.md.nolink)）
+- `Tag` : [Senderアルゴリズムタグ](tag_of_t.md)（例：[`just`](just.md), [`then`](then.md.nolink)）
 - `Data` : Senderアルゴリズムに指定された追加の引数。複数個の引数は[`product-type`](product-type.md.nolink)型を用いて単一値として保持する。
 - `Child` : 子Senderのリスト。Senderファクトリでは0個、Senderアダプタでは通常1個の子Senderを保持する。
 
@@ -44,4 +44,5 @@ constexpr auto make-sender(Tag tag, Data&& data, Child&&... child);
 
 
 ## 参照
+- [P2999R3 Sender Algorithm Customization](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html)
 - [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/execution/sender-for.md b/reference/execution/execution/sender-for.md
@@ -13,10 +13,10 @@ namespace std::execution {
 }
 ```
 * sender[link sender.md]
-* tag_of_t[link tag_of_t.md.nolink]
+* tag_of_t[link tag_of_t.md]
 
 ## 概要
-`sender-for`は、[Sender型](sender.md)`Sndr`が[Senderタグ型](tag_of_t.md.nolink)`Tag`を持つことを表す説明専用のコンセプトである。
+`sender-for`は、[Sender型](sender.md)`Sndr`が[Senderアルゴリズムタグ型](tag_of_t.md)`Tag`を持つことを表す説明専用のコンセプトである。
 
 
 ## バージョン
diff --git a/reference/execution/execution/tag_of_t.md b/reference/execution/execution/tag_of_t.md
@@ -0,0 +1,75 @@
+# tag_of_t
+* execution[meta header]
+* std::execution[meta namespace]
+* type-alias[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  template<sender Sndr>
+  using tag_of_t = see below;
+}
+```
+* see below[italic]
+
+## 概要
+[Sender型](sender.md)`Sndr`のSenderアルゴリズムタグ型を取得する。
+
+説明用の`sndr`を`decltype((sndr))`が`Sndr`型となる式とする。型`tag_of_t<Sndr>`は下記の通り定義される。
+
+- 次の宣言が適格であれば、`tag_of_t<Sndr>`は`decltype(auto(tag))`の別名となる。
+
+    ```cpp
+    auto&& [tag, data, ...children] = sndr;
+    ```
+
+- そうでなければ、`tag_of_t<Sndr>`は不適格となる。
+
+
+### Senderアルゴリズムタグ
+実行制御ライブラリのSenderアルゴリズムから生成された[Sender](sender.md)`sndr`は、[構造化束縛](/lang/cpp17/structured_bindings.md)によってSenderアルゴリズムタグ`tag`、データ`data`、0個以上の子Senderパック`...children`の組へと分解される。
+
+この仕様は[Sender変換](transform_sender.md)が行われる可能性のあるSenderアルゴリズムに対してのみ要求されるものであり、ユーザ定義のSender型において構造化束縛による分解をサポートする必要はない。
+
+
+## 例
+```cpp example
+#include <concepts>
+#include <execution>
+namespace ex = std::execution;
+
+int main()
+{
+  ex::sender auto sndr = ex::just(42);
+  using Tag = ex::tag_of_t<decltype(sndr)>;
+  static_assert(std::same_as<Tag, ex::just_t>);
+}
+```
+* ex::tag_of_t[color ff0000]
+* ex::sender[link sender.md]
+* ex::just[link just.md]
+* ex::just_t[link just.md]
+
+### 出力
+```
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`basic-sender`](basic-sender.md)
+
+
+## 参照
+- [P2999R3 Sender Algorithm Customization](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2999r3.html)
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/this_thread/sync_wait.md b/reference/execution/this_thread/sync_wait.md
@@ -57,7 +57,7 @@ namespace std::this_thread {
 * type_identity_t[link /reference/type_traits/type_identity.md]
 
 
-### Senderタグ `sync_wait`
+### Senderアルゴリズムタグ `sync_wait`
 説明用の`sndr`を`decltype((sndr))`が`Sndr`型となる式とする。
 
 [`sender_to`](../execution/sender_to.md)`<Sndr,` [`sync-wait-receiver`](sync-wait-receiver.md)`<Sndr>> == false`のとき、式`sync_wait.apply_sender(sndr)`は不適格となる。
diff --git a/reference/execution/this_thread/sync_wait_with_variant.md b/reference/execution/this_thread/sync_wait_with_variant.md
@@ -54,7 +54,7 @@ namespace std::this_thread {
 * optional[link /reference/optional/optional.md]
 
 
-### Senderタグ `sync_wait_with_variant`
+### Senderアルゴリズムタグ `sync_wait_with_variant`
 説明用の`sndr`を`decltype(`[`into_variant`](into_variant.md.nolink)`(sndr))`が`Sndr`型となる式とする。
 
 `callable<`[`sync_wait_t`](sync_wait.md)`, Sndr> == false`のとき、式`sync_wait_with_variant.apply_sender(sndr)`は不適格となる。
