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

faithandbrave · faithandbrave · commit 03cf02bed041 · 2025-06-04T11:59:05.000+09:00
diff --git a/reference/ranges/adjacent_transform_view.md b/reference/ranges/adjacent_transform_view.md
@@ -54,43 +54,54 @@ namespace std::ranges {
 
 | 名前                                             | 説明                             | 対応バージョン |
 |--------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](adjacent_transform_view/op_constructor.md.nolink)  | コンストラクタ                   | C++23          |
-| [`base`](adjacent_transform_view/base.md.nolink)                     | `V`の参照を取得する              | C++23          |
-| [`begin`](adjacent_transform_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する   | C++23          |
-| [`end`](adjacent_transform_view/end.md.nolink)                       | 番兵を取得する                   | C++23          |
-| [`size`](adjacent_transform_view/size.md.nolink)                     | 要素数を取得する                 | C++23          |
+| [`(constructor)`](adjacent_transform_view/op_constructor.md)  | コンストラクタ                   | C++23          |
+| [`base`](adjacent_transform_view/base.md)                     | `V`の参照を取得する              | C++23          |
+| [`begin`](adjacent_transform_view/begin.md)                   | 先頭を指すイテレータを取得する   | C++23          |
+| [`end`](adjacent_transform_view/end.md)                       | 番兵を取得する                   | C++23          |
+| [`size`](adjacent_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)`](adjacent_transform_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++23          |
+| [`(deduction_guide)`](adjacent_transform_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++23          |
 
 ## 例
 ```cpp example
+#include <iostream>
+#include <vector>
+#include <ranges>
+
 int main() {
   // 隣接する要素間の差を計算する
   std::vector v = {9, 2, 5, 3, 6, 7};
-  std::println("{}", v | std::views::adjacent_transform_view<2>([](auto x, auto y) { return y - x; }));
+  for (int x : v | std::views::adjacent_transform_view<2>(
+                     [](auto x, auto y) { return y - x; })) {
+    std::cout << x << std::endl;
+  }
 }
 ```
 * std::views::adjacent_transform_view[color ff0000]
 
 ### 出力
 ```
-[-7, 3, -2, 3, 1]
+-7
+3
+-2
+3
+1
 ```
 
 
@@ -99,13 +110,15 @@ int main() {
 - C++23
 
 ### 処理系
-- [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
-- [ICC](/implementation.md#icc): ??
-- [Visual C++](/implementation.md#visual_cpp): ??
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark noimpl]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]
 
 ## 関連項目
-- [`adjacent_difference`](/reference/numeric/adjacent_difference.md) 隣接する2つの要素間の差を計算するアルゴリズム関数
+- [`std::adjacent_difference`](/reference/numeric/adjacent_difference.md)
+    - 隣接する2つの要素間の差を計算するアルゴリズム関数
+
 
 ## 参照
 - [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/adjacent_transform_view/base.md b/reference/ranges/adjacent_transform_view/base.md
@@ -0,0 +1,71 @@
+# base
+* ranges[meta header]
+* std::ranges[meta namespace]
+* adjacent_transform_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr V base() const &
+  requires copy_constructible<V>;  // (1) C++23
+
+constexpr V base() &&;             // (2) C++23
+```
+
+## 概要
+
+メンバ変数として保持している、元のviewを取得する。
+
+## 効果
+
+- (1) : `return inner_.base();`
+- (2) : `return std::move(inner_).base();`
+
+ここで、`inner_`は`adjacent_view<V, N>`型のメンバ変数。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <concepts>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3, 4, 5};
+  
+  auto diff = [](int x, int y) { return y - x; };
+  std::ranges::adjacent_transform_view<std::views::all_t<std::vector<int>&>, decltype(diff), 2> atv(v, diff);
+  
+  // (1) コピーして取得
+  auto base1 = atv.base();
+  static_assert(std::same_as<decltype(base1), std::ranges::ref_view<std::vector<int>>>);
+  
+  // (2) ムーブして取得
+  auto base2 = std::move(atv).base();
+  static_assert(std::same_as<decltype(base2), std::ranges::ref_view<std::vector<int>>>);
+  
+  // 取得したviewを使用（元の要素を表示）
+  for (int n : base1) {
+    std::cout << n << " ";
+  }
+  std::cout << std::endl;
+}
+```
+* base[color ff0000]
+
+### 出力
+```
+1 2 3 4 5 
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark noimpl]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]
+
+## 参照
+- [N4950 26.7.28 Adjacent transform view](https://timsong-cpp.github.io/cppwp/n4950/range.adjacent.transform)
diff --git a/reference/ranges/adjacent_transform_view/begin.md b/reference/ranges/adjacent_transform_view/begin.md
@@ -0,0 +1,72 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* adjacent_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&, REPEAT(range_reference_t<const V>, N)...>; // (2) C++23
+```
+* REPEAT[italic]
+
+## 概要
+
+先頭を指すイテレータを取得する。
+
+## 効果
+
+- (1) : `return iterator<false>(*this, inner_.begin());`
+- (2) : `return iterator<true>(*this, inner_.begin());`
+
+ここで、`iterator`は`adjacent_transform_view`の内部で定義される説明専用のイテレータクラスであり、`InnerView`は説明専用の[`adjacent_view`](../adjacent_view.md)`<V, N>`である。
+
+## 備考
+- `REPEAT(T, N)` をT型のN個のパックとする。
+
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3, 4, 5};
+  
+  auto diff = [](int x, int y) { return y - x; };
+  std::ranges::adjacent_transform_view<std::views::all_t<std::vector<int>&>, decltype(diff), 2> atv(v, diff);
+  
+  auto it = atv.begin();
+  
+  // 最初の要素（隣接する2要素の差）
+  std::cout << *it << std::endl;  // 2 - 1 = 1
+  
+  // 次の要素へ
+  ++it;
+  std::cout << *it << std::endl;  // 3 - 2 = 1
+}
+```
+* begin[color ff0000]
+
+### 出力
+```
+1
+1
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark noimpl]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]
+
+## 参照
+- [N4950 26.7.28 Adjacent transform view](https://timsong-cpp.github.io/cppwp/n4950/range.adjacent.transform)
diff --git a/reference/ranges/adjacent_transform_view/end.md b/reference/ranges/adjacent_transform_view/end.md
@@ -0,0 +1,79 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* adjacent_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&, REPEAT(range_reference_t<const V>, N)...>; // (2) C++23
+```
+* REPEAT[italic]
+
+## 概要
+
+番兵を取得する。
+
+## 効果
+
+`common_range<InnerView>`が`true`の場合：
+
+- (1) : `return iterator<false>(*this, inner_.end());`
+- (2) : `return iterator<true>(*this, inner_.end());`
+
+それ以外の場合：
+
+- (1) : `return sentinel<false>(inner_.end());`
+- (2) : `return sentinel<true>(inner_.end());`
+
+ここで、`iterator`と`sentinel`は`adjacent_transform_view`の内部で定義される説明専用のクラスであり、`InnerView`は説明専用の[`adjacent_view`](../adjacent_view.md)`<V, N>`である。
+
+## 備考
+- `REPEAT(T, N)` をT型のN個のパックとする。
+
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3, 4, 5};
+  
+  auto diff = [](int x, int y) { return y - x; };
+  std::ranges::adjacent_transform_view<std::views::all_t<std::vector<int>&>, decltype(diff), 2> atv(v, diff);
+  
+  auto begin = atv.begin();
+  auto end = atv.end();
+  
+  // 全要素を出力
+  for (auto it = begin; it != end; ++it) {
+    std::cout << *it << " ";
+  }
+  std::cout << std::endl;
+}
+```
+* end[color ff0000]
+* begin[link begin.md]
+
+### 出力
+```
+1 1 1 1 
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark noimpl]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]
+
+## 参照
+- [N4950 26.7.28 Adjacent transform view](https://timsong-cpp.github.io/cppwp/n4950/range.adjacent.transform)
diff --git a/reference/ranges/adjacent_transform_view/op_constructor.md b/reference/ranges/adjacent_transform_view/op_constructor.md
@@ -0,0 +1,68 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* adjacent_transform_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+adjacent_transform_view() = default;     // (1) C++23
+
+constexpr explicit
+adjacent_transform_view(V base, F fun);  // (2) C++23
+```
+
+## 概要
+
+- (1) : デフォルトコンストラクタ
+- (2) : 元となるRangeと変換関数を受け取るコンストラクタ
+
+## 効果
+
+- (1) : `fun_`と`inner_`をデフォルト構築する
+- (2) : `fun_`を`std::move(fun)`で初期化し、`inner_`を`std::move(base)`で初期化する
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  // (1) デフォルトコンストラクタ
+  std::ranges::adjacent_transform_view<
+    std::ranges::empty_view<int>,
+    decltype([](int, int) { return 0; }),
+    2
+  > atv1;
+  
+  // (2) 元となるRangeと変換関数を受け取るコンストラクタ
+  std::vector<int> v = {1, 2, 3, 4, 5};
+  auto diff = [](int x, int y) { return y - x; };
+  std::ranges::adjacent_transform_view<std::views::all_t<std::vector<int>&>, decltype(diff), 2> atv2(v, diff);
+  
+  for (int d : atv2) {
+    std::cout << d << " ";
+  }
+  std::cout << std::endl;
+}
+```
+* std::ranges::adjacent_transform_view[color ff0000]
+* std::ranges::empty_view[link ../empty_view.md]
+
+### 出力
+```
+1 1 1 1 
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark noimpl]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]
+
+## 参照
+- [N4950 26.7.28 Adjacent transform view](https://timsong-cpp.github.io/cppwp/n4950/range.adjacent.transform)
diff --git a/reference/ranges/adjacent_transform_view/op_deduction_guide.md b/reference/ranges/adjacent_transform_view/op_deduction_guide.md
diff --git a/reference/ranges/adjacent_transform_view/size.md b/reference/ranges/adjacent_transform_view/size.md
