zip_transform_view : メンバ関数を追加 #713

faithandbrave · faithandbrave · commit 826d291c1187 · 2025-06-04T13:13:47.000+09:00
diff --git a/reference/ranges/zip_transform_view.md b/reference/ranges/zip_transform_view.md
@@ -51,28 +51,28 @@ zipするRangeのサイズが異なっている場合、`zip_transform_view`の
 
 | 名前                                             | 説明                             | 対応バージョン |
 |--------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](zip_transform_view/op_constructor.md.nolink)  | コンストラクタ                   | C++23          |
-| [`begin`](zip_transform_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する   | C++23          |
-| [`end`](zip_transform_view/end.md.nolink)                       | 番兵を取得する                   | C++23          |
-| [`size`](zip_transform_view/size.md.nolink)                    | 要素数を取得する                 | C++23          |
+| [`(constructor)`](zip_transform_view/op_constructor.md) | コンストラクタ                   | C++23          |
+| [`begin`](zip_transform_view/begin.md)                  | 先頭を指すイテレータを取得する   | C++23          |
+| [`end`](zip_transform_view/end.md)                      | 番兵を取得する                   | C++23          |
+| [`size`](zip_transform_view/size.md)                    | 要素数を取得する                 | C++23          |
 
 ## 継承しているメンバ関数
 
 | 名前                                         | 説明                              | 対応バージョン |
 |----------------------------------------------|-----------------------------------|----------------|
-| [`empty`](view_interface/empty.md)           | Rangeが空かどうかを判定する       | C++20          |
-| [`operator bool`](view_interface/op_bool.md) | Rangeが空でないかどうかを判定する | C++20          |
-| [`front`](view_interface/front.md)           | 先頭要素への参照を取得する        | C++20          |
-| [`back`](view_interface/back.md)             | 末尾要素への参照を取得する        | C++20          |
+| [`empty`](view_interface/empty.md)           | Rangeが空かどうかを判定する       | C++23          |
+| [`operator bool`](view_interface/op_bool.md) | Rangeが空でないかどうかを判定する | C++23          |
+| [`front`](view_interface/front.md)           | 先頭要素への参照を取得する        | C++23          |
+| [`back`](view_interface/back.md)             | 末尾要素への参照を取得する        | C++23          |
 | [`cbegin`](view_interface/cbegin.md)         | 定数イテレータを取得する          | C++23          |
 | [`cend`](view_interface/cend.md)             | 定数イテレータ（番兵）を取得する  | C++23          |
-| [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする                | C++20          |
+| [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする                | C++23          |
 
 ## 推論補助
 
 | 名前                                                  | 説明                         | 対応バージョン |
 |-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](zip_transform_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++23          |
+| [`(deduction_guide)`](zip_transform_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++23          |
 
 ## 例
 ```cpp example
@@ -85,28 +85,30 @@ int main() {
   std::vector p = {1, 10, 100, 1000};
 
   std::println("{}", std::views::zip_transform([](auto x, auto y){ return x * y; }, d, p));
+  std::println("{}", std::views::zip_transform([](auto x, auto y){ return std::pair{x, y}; }, d, p));
 }
 ```
 * std::views::zip_transform[color ff0000]
 
 ### 出力
 ```
 [1, 20, 300]
+[(1, 1), (2, 10), (3, 100)]
 ```
 
 ## バージョン
 ### 言語
 - C++23
 
 ### 処理系
-- [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
-- [ICC](/implementation.md#icc): ??
-- [Visual C++](/implementation.md#visual_cpp): ??
+- [Clang](/implementation.md#clang): 19 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 6 [mark verified]
 
 ## 関連項目
 - [`transform_view`](transform_view.md) zipする範囲が1つの場合
 - [`transform`](/reference/algorithm/ranges_transform.md) 2つのRangeから要素を1つずつ取り出して関数を呼び出し、結果を出力するアルゴリズム関数
 
 ## 参照
 - [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges)
+- [P2321R2 zip](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2321r2.html)
diff --git a/reference/ranges/zip_transform_view/begin.md b/reference/ranges/zip_transform_view/begin.md
@@ -0,0 +1,77 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* zip_transform_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr auto begin();                        // (1) C++23
+
+constexpr auto begin() const
+  requires range<const InnerView> &&
+           regular_invocable<
+             const F&,
+             range_reference_t<const Views>...
+           >;                                  // (2) C++23
+```
+* range[link ../range.md]
+* regular_invocable[link /reference/concepts/invocable.md]
+* range_reference_t[link ../range_reference_t.md]
+
+## 概要
+
+先頭を指すイテレータを取得する。
+
+## 効果
+
+- (1) : `return iterator<false>(*this, zip_.begin());`
+- (2) : `return iterator<true>(*this, zip_.begin());`
+
+ここで、`iterator`は`zip_transform_view`の内部で定義される説明専用のイテレータクラスであり、`InnerView`は説明専用の[`zip_view`](../zip_view.md)`<Views...>`である。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  std::list<char> l = {'a', 'b', 'c'};
+  
+  auto f = [](int n, char c) { return std::pair{n * 10, c}; };
+  std::ranges::zip_transform_view ztv(f, v, l);
+  
+  auto it = ztv.begin();
+  
+  // 最初の要素（変換結果）
+  auto [n, c] = *it;
+  std::cout << n << ", " << c << std::endl;
+  
+  // 次の要素へ
+  ++it;
+  auto [n2, c2] = *it;
+  std::cout << n2 << ", " << c2 << std::endl;
+}
+```
+* begin[color ff0000]
+
+### 出力
+```
+10, a
+20, b
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 6 [mark verified]
+
+## 参照
+- [N4950 26.7.26 Zip transform view](https://timsong-cpp.github.io/cppwp/n4950/range.zip.transform)
diff --git a/reference/ranges/zip_transform_view/end.md b/reference/ranges/zip_transform_view/end.md
@@ -0,0 +1,86 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* zip_transform_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr auto end();                          // (1) C++23
+
+constexpr auto end() const
+  requires range<const InnerView> &&
+           regular_invocable<
+             const F&,
+             range_reference_t<const Views>...
+           >;                                  // (2) C++23
+```
+* range[link ../range.md]
+* regular_invocable[link /reference/concepts/invocable.md]
+* range_reference_t[link ../range_reference_t.md]
+
+## 概要
+
+番兵を取得する。
+
+## 効果
+
+説明専用コンセプト`zip-is-common`を用いて、
+
+`zip-is-common<Views...>`が`false`の場合：
+
+- (1) : `return sentinel<false>(zip_.end());`
+- (2) : `return sentinel<true>(zip_.end());`
+
+それ以外の場合：
+
+- (1) : `return iterator<false>(*this, zip_.end());`
+- (2) : `return iterator<true>(*this, zip_.end());`
+
+ここで、`iterator`と`sentinel`は`zip_transform_view`の内部で定義される説明専用のクラスであり、`InnerView`は説明専用の[`zip_view`](../zip_view.md)`<Views...>`である。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  std::list<char> l = {'a', 'b', 'c', 'd'};
+  
+  auto f = [](int n, char c) { return std::pair{n * 10, c}; };
+  std::ranges::zip_transform_view ztv(f, v, l);
+  
+  auto begin = ztv.begin();
+  auto end = ztv.end();
+  
+  // 全要素を出力（短い方のRangeのサイズで終わる）
+  for (auto it = begin; it != end; ++it) {
+    auto [n, c] = *it;
+    std::cout << n << ", " << c << std::endl;
+  }
+}
+```
+* end[color ff0000]
+* begin[link begin.md]
+
+### 出力
+```
+10, a
+20, b
+30, c
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 6 [mark verified]
+
+## 参照
+- [N4950 26.7.26 Zip transform view](https://timsong-cpp.github.io/cppwp/n4950/range.zip.transform)
diff --git a/reference/ranges/zip_transform_view/op_constructor.md b/reference/ranges/zip_transform_view/op_constructor.md
@@ -0,0 +1,71 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* zip_transform_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+zip_transform_view() = default;            // (1) C++23
+
+constexpr explicit
+zip_transform_view(F fun, Views... views); // (2) C++23
+```
+
+## 概要
+
+- (1) : デフォルトコンストラクタ
+- (2) : 変換関数と各Rangeを受け取るコンストラクタ
+
+## 効果
+
+- (1) : `fun_`と`zip_`をデフォルト構築する
+- (2) : `fun_`を`std::move(fun)`で初期化し、`zip_`を`std::move(views)...`で初期化する
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <iostream>
+
+int main() {
+  // (1) デフォルトコンストラクタ
+  std::ranges::zip_transform_view<
+    decltype([](int, char) { return 0; }),
+    std::ranges::empty_view<int>,
+    std::ranges::empty_view<char>
+  > ztv1;
+  
+  // (2) 変換関数と各Rangeを受け取るコンストラクタ
+  std::vector<int> v = {1, 2, 3};
+  std::list<char> l = {'a', 'b', 'c', 'd'};
+  
+  auto f = [](int n, char c) { return std::pair{n * 10, c}; };
+  std::ranges::zip_transform_view ztv2(f, v, l);
+  
+  for (auto [n, c] : ztv2) {
+    std::cout << n << ", " << c << std::endl;
+  }
+}
+```
+* std::ranges::zip_transform_view[color ff0000]
+
+### 出力
+```
+10, a
+20, b
+30, c
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 6 [mark verified]
+
+## 参照
+- [N4950 26.7.26 Zip transform view](https://timsong-cpp.github.io/cppwp/n4950/range.zip.transform)
diff --git a/reference/ranges/zip_transform_view/op_deduction_guide.md b/reference/ranges/zip_transform_view/op_deduction_guide.md
@@ -0,0 +1,59 @@
+# 推論補助
+* ranges[meta header]
+* std::ranges[meta namespace]
+* zip_transform_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class F, class... Rs>
+  zip_transform_view(F, Rs&&...) ->
+    zip_transform_view<F, views::all_t<Rs>...>;
+}
+```
+
+## 概要
+`zip_transform_view`クラステンプレートの型推論補助。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <type_traits>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  std::list<char> l = {'a', 'b', 'c'};
+  
+  auto f = [](int n, char c) { return std::pair{n * 10, c}; };
+  
+  // zip_transform_viewの型を明示的に指定する必要がない
+  std::ranges::zip_transform_view ztv{f, v, l};
+  
+  // 推論された型を確認
+  static_assert(std::same_as<
+    decltype(ztv),
+    std::ranges::zip_transform_view<
+      decltype(f),
+      std::ranges::ref_view<std::vector<int>>,
+      std::ranges::ref_view<std::list<char>>
+    >
+  >);
+}
+```
+* std::ranges::zip_transform_view[color ff0000]
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 6 [mark verified]
diff --git a/reference/ranges/zip_transform_view/size.md b/reference/ranges/zip_transform_view/size.md
