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

Author: faithandbrave

GLOBAL_QUALIFY_LIST.txt

@@ -238,9 +238,14 @@
     * range_size_t[link /reference/ranges/range_size_t.md]
     * range_value_t[link /reference/ranges/range_value_t.md]
     * range[link /reference/ranges/range.md]
+    * ranges::begin[link /reference/ranges/begin.md]
+    * ranges::end[link /reference/ranges/end.md]
+    * ranges::size[link /reference/ranges/size.md]
     * ref_view[link /reference/ranges/ref_view.md]
     * sentinel_t[link /reference/ranges/sentinel_t.md]
     * sized_range[link /reference/ranges/sized_range.md]
+    * std::ranges::owning_view[link /reference/ranges/owning_view.md]
+    * std::ranges::ref_view[link /reference/ranges/ref_view.md]
     * subrange[link /reference/ranges/subrange.md]
     * view_interface[link /reference/ranges/view_interface.md]
     * view[link /reference/ranges/view.md]

reference/ranges/transform_view.md

@@ -44,33 +44,33 @@ namespace std::ranges {
 
 ## メンバ関数
 
-| 名前                                             | 説明                             | 対応バージョン |
-|--------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](transform_view/op_constructor.md.nolink)  | コンストラクタ                   | C++20          |
-| [`base`](transform_view/base.md.nolink)                     | `V`の参照を取得する              | C++20          |
-| [`begin`](transform_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する   | C++20          |
-| [`end`](transform_view/end.md.nolink)                       | 番兵を取得する                   | C++20          |
-| [`size`](transform_view/size.md.nolink)                     | 要素数を取得する                 | C++20          |
+| 名前                                                | 説明                             | 対応バージョン |
+|-----------------------------------------------------|----------------------------------|----------------|
+| [`(constructor)`](transform_view/op_constructor.md) | コンストラクタ                   | C++20          |
+| [`base`](transform_view/base.md)                    | `V`の参照を取得する              | C++20          |
+| [`begin`](transform_view/begin.md)                  | 先頭を指すイテレータを取得する   | C++20          |
+| [`end`](transform_view/end.md)                      | 番兵を取得する                   | C++20          |
+| [`size`](transform_view/size.md)                    | 要素数を取得する                 | C++20          |
 
 `r`を元のRangeとする。`size`は[`ranges::size`](size.md)`(r)`が有効な式であるときに定義される。
 
 ## 継承しているメンバ関数
 
-| 名前                                         | 説明                             | 対応バージョン |
-|----------------------------------------------|----------------------------------|----------------|
+| 名前                                         | 説明                              | 対応バージョン |
+|----------------------------------------------|-----------------------------------|----------------|
 | [`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          |
-| [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする               | C++20          |
-| [`cbegin`](view_interface/cbegin.md)         | 定数イテレータを取得する             | C++23          |
-| [`cend`](view_interface/cend.md)             | 定数イテレータ（番兵）を取得する      | C++23          |
+| [`front`](view_interface/front.md)           | 先頭要素への参照を取得する        | C++20          |
+| [`back`](view_interface/back.md)             | 末尾要素への参照を取得する        | C++20          |
+| [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする                | C++20          |
+| [`cbegin`](view_interface/cbegin.md)         | 定数イテレータを取得する          | C++23          |
+| [`cend`](view_interface/cend.md)             | 定数イテレータ（番兵）を取得する  | C++23          |
 
 ## 推論補助
 
 | 名前                                                  | 説明                         | 対応バージョン |
 |-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](transform_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++20          |
+| [`(deduction_guide)`](transform_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++20          |
 
 ## 例
 ```cpp example

reference/ranges/transform_view/base.md

@@ -0,0 +1,67 @@
+# base
+* ranges[meta header]
+* std::ranges[meta namespace]
+* transform_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr V base() const &
+  requires copy_constructible<V>;  // (1) C++20
+
+constexpr V base() &&;             // (2) C++20
+```
+
+## 概要
+
+メンバ変数として保持している、元の`view`を取得する。
+
+## 効果
+
+入力`view`（`V`）のオブジェクトを`base_`というメンバに保持するとして
+
+- (1) : `return base_;` と等価
+- (2) : `return std::move(base_);` と等価
+
+## 例
+
+```cpp example
+#include <ranges>
+#include <vector>
+#include <iostream>
+
+int main() {
+  using std::ranges::view;
+
+  std::vector<int> vec = {1, 2, 3, 4, 5};
+
+  std::ranges::transform_view r{vec, [](int i) { return i * 2; }};
+
+  // (1) コピーして取得
+  view auto b1 = r.base();
+
+  // (2) ムーブして取得
+  view auto b2 = std::move(r).base();
+
+  // 得られるのは元のRangeではなく、あくまでview
+  static_assert(not std::same_as<decltype(b1), std::vector<int>>);
+  static_assert(    std::same_as<decltype(b1), std::ranges::ref_view<std::vector<int>>>);
+  static_assert(    std::same_as<decltype(b2), std::ranges::ref_view<std::vector<int>>>);
+}
+```
+* base[color ff0000]
+
+### 出力
+
+```
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]

reference/ranges/transform_view/begin.md

@@ -0,0 +1,70 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* transform_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr iterator<false> begin();       // (1) C++20
+
+constexpr iterator<true> begin() const
+  requires range<const V> &&
+           regular_invocable<
+             const F&,
+             range_reference_t<const V>
+           >;                            // (2) C++20
+```
+
+## 概要
+
+`view`の先頭要素を指すイテレータを取得する。
+
+## 戻り値
+- (1) : 以下と等価：
+    ```cpp
+    return iterator<false>{*this, ranges::begin(base_)};
+    ```
+
+- (2) : 以下と等価：
+    ```cpp
+    return iterator<true>{*this, ranges::begin(base_)};
+    ```
+
+
+## 例
+
+```cpp example
+#include <ranges>
+#include <vector>
+#include <string>
+#include <iostream>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5};
+
+  std::ranges::transform_view r{vec, [](int i) { return std::to_string(i); }};
+
+  auto it = r.begin();
+
+  std::string x = *it;
+  std::cout << x << '\n';
+}
+```
+* begin[color ff0000]
+
+### 出力
+
+```
+1
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]

reference/ranges/transform_view/end.md

@@ -0,0 +1,97 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* transform_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+constexpr sentinel<false> end();      // (1) C++20
+
+constexpr iterator<false> end()       // (2) C++20
+  requires common_range<V>;
+
+constexpr sentinel<true> end() const
+  requires range<const V> &&
+  regular_invocable<
+    const F&,
+    range_reference_t<const V>
+  >;                                   // (3) C++20
+
+constexpr iterator<true> end() const
+  requires common_range<const V> &&
+    regular_invocable<
+      const F&,
+      range_reference_t<const V>
+    >;                                 // (4) C++20
+```
+
+## 概要
+番兵を取得する。
+
+## 戻り値
+- (1) : 以下と等価：
+    ```cpp
+    return sentinel<false>{ranges::end(base_)};
+    ```
+
+- (2) : 以下と等価：
+    ```cpp
+    return iterator<false>{*this, ranges::end(base_)};
+    ```
+
+- (3) : 以下と等価：
+    ```cpp
+    return sentinel<true>{ranges::end(base_)};
+    ```
+
+- (4) : 以下と等価：
+    ```cpp
+    return iterator<true>{*this, ranges::end(base_)};
+    ```
+
+
+## 例
+
+```cpp example
+#include <ranges>
+#include <vector>
+#include <string>
+#include <iostream>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5};
+
+  std::ranges::transform_view r{vec, [](int i) { return std::to_string(i); }};
+
+  auto it = r.begin();
+  auto end_it = r.end();
+  while (it != end_it) {
+    std::string x = *it;
+    std::cout << x << std::endl;
+    ++it;
+  }
+}
+```
+* end[color ff0000]
+* begin[link begin.md]
+
+### 出力
+
+```
+1
+2
+3
+4
+5
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]

reference/ranges/transform_view/op_constructor.md

@@ -0,0 +1,64 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* transform_view[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+transform_view()
+  requires default_initializable<V> &&
+           default_initializable<F> = default; // (1) C++20
+
+constexpr explicit
+  transform_view(V base, F fun);               // (2) C++20
+```
+
+## 概要
+
+[`transform_view`](../transform_view.md)オブジェクトを構築する。
+
+- (1) : デフォルト構築
+- (2) : 元となるviewと変換関数を指定して構築
+
+
+## 効果
+
+- (2) : メンバ変数`base_`を`std::move(base)`で、メンバ変数`fun_`を`std::move(fun)`で初期化する
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <ranges>
+#include <vector>
+
+int main() {
+  std::vector<int> vec = {1, 2, 3, 4, 5};
+
+  std::ranges::transform_view view{vec, [](int x){ return x * 2; }};
+  for (const auto& x : view) {
+    std::cout << x << std::endl;
+  }
+}
+```
+* transform_view[color ff0000]
+
+### 出力
+```
+2
+4
+6
+8
+10
+```
+
+## バージョン
+### 言語
+- C++20
+
+### 処理系
+- [Clang](/implementation.md#clang): 13.0.0 [mark verified]
+- [GCC](/implementation.md#gcc): 10.1.0 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2019 Update 10 [mark verified]