execution: product-type (#1384)

Author: yohhoy

reference/execution/execution/basic-operation.md

@@ -111,7 +111,7 @@ using indices-for = remove_reference_t<Sndr>::indices-for;  // exposition only
 
 説明専用の定数`connect-all`は、下記ラムダ式と等価な関数呼び出し可能なオブジェクトとして初期化される。
 
-- 全ての子Sender`child`とSenderアルゴリズム`sndr`の[Receiver](basic-receiver.md.nolink)を[接続(connect)](connect.md)し、結果の[Operation State](operation_state.md)リストを[`product-type`](product-type.md.nolink)型にまとめて返す。
+- 全ての子Sender`child`とSenderアルゴリズム`sndr`の[Receiver](basic-receiver.md.nolink)を[接続(connect)](connect.md)し、結果の[Operation State](operation_state.md)リストを[`product-type`](product-type.md)型にまとめて返す。
 
 ```cpp
 []<class Sndr, class Rcvr, size_t... Is>(
@@ -124,7 +124,7 @@ using indices-for = remove_reference_t<Sndr>::indices-for;  // exposition only
   }
 ```
 * index_sequence[link /reference/utility/index_sequence.md]
-* product-type[link product-type.md.nolink]
+* product-type[link product-type.md]
 * connect[link connect.md]
 * basic-receiver[link basic-receiver.md.nolink]
 * integral_constant[link /reference/type_traits/integral_constant.md]

reference/execution/execution/basic-sender.md

@@ -30,7 +30,7 @@ namespace std::execution {
   };
 }
 ```
-* product-type[link product-type.md.nolink]
+* product-type[link product-type.md]
 * sender_t[link sender.md]
 * index_sequence_for[link /reference/utility/index_sequence_for.md]
 * impls-for[link impls-for.md]
@@ -45,7 +45,7 @@ namespace std::execution {
 `basic-sender<Tag, Data, Child...>`は[`sender`](sender.md)のモデルであり、[Senderアルゴリズム構築](make-sender.md)の結果型として利用される。
 
 - `Tag` : [Senderアルゴリズムタグ](tag_of_t.md)（例：[`just`](just.md), [`then`](then.md.nolink)）
-- `Data` : Senderアルゴリズムに指定された追加の引数。複数個の引数は[`product-type`](product-type.md.nolink)型を用いて単一値として保持する。
+- `Data` : Senderアルゴリズムに指定された追加の引数。複数個の引数は[`product-type`](product-type.md)型を用いて単一値として保持する。
 - `Child` : 子Senderのリスト。Senderファクトリでは0個、Senderアダプタでは通常1個の子Senderを保持する。
 
 

reference/execution/execution/just.md

@@ -18,7 +18,7 @@ namespace std::execution {
 
 ## 効果
 - 呼び出し式`just(ts...)`は、`(`[`movable-value`](../movable-value.md)`<Ts> &&...) == false`のとき不適格となる。
-- そうでなければ、式[`make-sender`](make-sender.md)`(just,` [`product-type`](product-type.md.nolink)`{ts...})`と等価。
+- そうでなければ、式[`make-sender`](make-sender.md)`(just,` [`product-type`](product-type.md)`{ts...})`と等価。
 
 
 ### Senderアルゴリズムタグ `just`

reference/execution/execution/make-sender.md

@@ -16,7 +16,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)（例：[`just`](just.md), [`then`](then.md.nolink)）
-- `Data` : Senderアルゴリズムに指定された追加の引数。複数個の引数は[`product-type`](product-type.md.nolink)型を用いて単一値として保持する。
+- `Data` : Senderアルゴリズムに指定された追加の引数。複数個の引数は[`product-type`](product-type.md)型を用いて単一値として保持する。
 - `Child` : 子Senderのリスト。Senderファクトリでは0個、Senderアダプタでは通常1個の子Senderを保持する。
 
 

reference/execution/execution/product-type.md

@@ -0,0 +1,72 @@
+# product-type
+* execution[meta header]
+* class template[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+template<class T0, class T1, ..., class Tn>
+struct product-type {  // exposition only
+  T0 t0;  // exposition only
+  T1 t1;  // exposition only
+  // ...
+  Tn tn;  // exposition only
+
+  template<size_t I, class Self>
+  constexpr decltype(auto) get(this Self&& self) noexcept;  // exposition only
+
+  template<class Self, class Fn>
+  constexpr decltype(auto) apply(this Self&& self, Fn&& fn) // exposition only
+    noexcept(see below);
+};
+```
+* see below[italic]
+
+## 概要
+`product-type`は、実行制御ライブラリの仕様定義で用いられる説明専用のクラステンプレートである。
+
+`product-type`型の式は[構造化束縛](/lang/cpp17/structured_bindings.md)における初期化子として利用できる。
+
+
+## クラス仕様
+```cpp
+template<size_t I, class Self>
+constexpr decltype(auto) get(this Self&& self) noexcept;
+```
+
+- 効果 : 下記と等価
+
+   ```cpp
+   auto& [...ts] = self;
+   return std::forward_like<Self>(ts...[I]);
+   ```
+
+```cpp
+template<class Self, class Fn>
+constexpr decltype(auto) apply(this Self&& self, Fn&& fn) noexcept(see below);
+```
+* see below[italic]
+
+- テンプレートパラメータ制約 : 下記`return`文の式が適格であること。
+- 効果 : 下記と等価
+
+    ```cpp
+    auto& [...ts] = self;
+    return std::forward<Fn>(fn)(std::forward_like<Self>(ts)...);
+    ```
+
+- 備考 : `noexcept`節の式は上記`return`文が潜在的に例外送出しないならば`true`に、そうでなければ`false`となる。
+
+
+## バージョン
+### 言語
+- C++26
+
+
+## 関連項目
+- [`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)