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

faithandbrave · faithandbrave · commit fea94ab824d3 · 2025-05-30T14:32:30.000+09:00
diff --git a/GLOBAL_QUALIFY_LIST.txt b/GLOBAL_QUALIFY_LIST.txt
@@ -168,6 +168,8 @@
     * std::begin[link /reference/iterator/begin.md]
     * std::distance[link /reference/iterator/distance.md]
     * std::end[link /reference/iterator/end.md]
+    * std::move_iterator[link /reference/iterator/move_iterator.md]
+    * std::move_sentinel[link /reference/iterator/move_sentinel.md]
     * std::next[link /reference/iterator/next.md]
     * std::ostream_iterator[link /reference/iterator/ostream_iterator.md]
     * unreachable_sentinel_t[link /reference/iterator/unreachable_sentinel_t.md]
diff --git a/reference/ranges/as_rvalue_view.md b/reference/ranges/as_rvalue_view.md
@@ -55,34 +55,34 @@ std::ranges::copy(words | views::as_rvalue, std::back_inserter(new_words));
 
 ## メンバ関数
 
-| 名前                                             | 説明                              | 対応バージョン |
-|--------------------------------------------------|-----------------------------------|----------------|
-| [`(constructor)`](as_rvalue_view/op_constructor.md.nolink)  | コンストラクタ                    | C++20          |
-| [`base`](as_rvalue_view/base.md.nolink)                     | `R`の参照を取得する               | C++20          |
-| [`begin`](as_rvalue_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する    | C++20          |
-| [`end`](as_rvalue_view/end.md.nolink)                       | 番兵を取得する                    | C++20          |
-| [`size`](as_rvalue_view/size.md.nolink)                     | 要素数を取得する                  | C++20          |
+| 名前                                                | 説明                           | 対応バージョン |
+|-----------------------------------------------------|--------------------------------|----------------|
+| [`(constructor)`](as_rvalue_view/op_constructor.md) | コンストラクタ                 | C++23          |
+| [`base`](as_rvalue_view/base.md)                    | 元となるRangeを取得する        | C++23          |
+| [`begin`](as_rvalue_view/begin.md)                  | 先頭を指すイテレータを取得する | C++23          |
+| [`end`](as_rvalue_view/end.md)                      | 番兵を取得する                 | C++23          |
+| [`size`](as_rvalue_view/size.md)                    | 要素数を取得する               | C++23          |
 
 `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          |
-| [`data`](view_interface/data.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          |
+| [`empty`](view_interface/empty.md)           | Rangeが空かどうかを判定する       | C++23          |
+| [`operator bool`](view_interface/op_bool.md) | Rangeが空でないかどうかを判定する | C++23          |
+| [`data`](view_interface/data.md)             | Rangeの先頭へのポインタを取得する | C++23          |
+| [`front`](view_interface/front.md)           | 先頭要素への参照を取得する        | C++23          |
+| [`back`](view_interface/back.md)             | 末尾要素への参照を取得する        | C++23          |
+| [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする                | C++23          |
 | [`cbegin`](view_interface/cbegin.md)         | 定数イテレータを取得する          | C++23          |
 | [`cend`](view_interface/cend.md)             | 定数イテレータ（番兵）を取得する  | C++23          |
 
 ## 推論補助
 
 | 名前                                                  | 説明                         | 対応バージョン |
 |-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](as_rvalue_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++20          |
+| [`(deduction_guide)`](as_rvalue_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++23          |
 
 ## 例
 ```cpp example
@@ -173,10 +173,9 @@ constexpr explicit as_rvalue_view(V base);
 - C++23
 
 ### 処理系
-- [Clang](/implementation.md#clang): ?
-- [GCC](/implementation.md#gcc): ?
-- [ICC](/implementation.md#icc): ?
-- [Visual C++](/implementation.md#visual_cpp): ?
+- [Clang](/implementation.md#clang): 17 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 4 [mark verified]
 
 ## 参照
-- [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges)
+- [P2446R2 `views::as_rvalue`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2446r2.html)
diff --git a/reference/ranges/as_rvalue_view/base.md b/reference/ranges/as_rvalue_view/base.md
@@ -0,0 +1,73 @@
+# base
+* ranges[meta header]
+* std::ranges[meta namespace]
+* as_rvalue_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
+```
+
+## 概要
+元となるRangeを取得する。
+
+- (1) : 元となるRangeをコピーして返す
+- (2) : 元となるRangeをムーブして返す
+
+
+## 戻り値
+
+メンバ変数`base_`として保持している、元となるRangeオブジェクトがあるとして、以下を返す：
+
+- (1) :
+    ```cpp
+    return base_;
+    ```
+
+- (2) :
+    ```cpp
+    return std::move(base_);
+    ```
+    * std::move[link /reference/utility/move.md]
+
+
+## 備考
+- ここで、`V`は[`std::ranges::ref_view`](../ref_view.md)であり、元となるRangeは`view`に変換されている。
+
+
+## 例
+```cpp
+#include <cassert>
+#include <vector>
+#include <ranges>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  auto r = std::views::as_rvalue(v);
+  std::ranges::ref_view<std::vector<int>> base = r.base();
+
+  assert(&base.base() == &v);
+}
+```
+* r.base()[color ff0000]
+* std::ranges::ref_view[link /reference/ranges/ref_view.md]
+* base.base()[link /reference/ranges/ref_view/base.md]
+
+### 出力
+```
+```
+
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 17 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 4 [mark verified]
diff --git a/reference/ranges/as_rvalue_view/begin.md b/reference/ranges/as_rvalue_view/begin.md
@@ -0,0 +1,65 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* as_rvalue_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr auto begin()
+  requires (!simple-view <V>); // (1) C++23
+
+constexpr auto begin() const
+  requires range<const V>;     // (2) C++23
+```
+
+## 概要
+`view`の先頭要素を指すイテレータを取得する。
+
+## 戻り値
+メンバ変数`base_`として保持しているRangeへのポインタがあるとして、以下を返す：
+
+```cpp
+return std::move_iterator(ranges::begin(*base_));
+```
+* ranges::begin[link /reference/ranges/begin.md]
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <vector>
+#include <ranges>
+
+int main() {
+  std::vector<std::string> v = {"one", "two", "three"};
+  auto r = std::ranges::as_rvalue_view(v);
+  auto it = r.begin();
+  auto end = r.end();
+
+  while (it != end) {
+    std::string x = *it; // ここでムーブされる
+    std::cout << x << std::endl;
+    ++it;
+  }
+}
+```
+* begin[color ff0000]
+* end()[link end.md]
+
+### 出力
+```
+one
+two
+three
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 17 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 4 [mark verified]
diff --git a/reference/ranges/as_rvalue_view/end.md b/reference/ranges/as_rvalue_view/end.md
@@ -0,0 +1,72 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* as_rvalue_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr auto end()
+  requires (!simple-view <V>); // (1) C++23
+
+constexpr auto end() const
+  requires range<const V>;     // (2) C++23
+```
+
+## 概要
+
+番兵を取得する。
+
+
+## 戻り値
+メンバ変数`r_`として保持しているRangeへのポインタがあるとして、以下を返す：
+
+```cpp
+if constexpr (common_range<V>) {
+  return std::move_iterator(ranges::end(base_));
+}
+else {
+  return std::move_sentinel(ranges::end(base_));
+}
+```
+* ranges::end[link /reference/ranges/end.md]
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <vector>
+#include <ranges>
+
+int main() {
+  std::vector<std::string> v = {"one", "two", "three"};
+  auto r = std::ranges::as_rvalue_view(v);
+  auto it = r.begin();
+  auto end = r.end();
+
+  while (it != end) {
+    std::string x = *it; // ここでムーブされる
+    std::cout << x << std::endl;
+    ++it;
+  }
+}
+```
+* begin[color ff0000]
+* end()[link end.md]
+
+### 出力
+```
+one
+two
+three
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 17 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 4 [mark verified]
diff --git a/reference/ranges/as_rvalue_view/op_constructor.md b/reference/ranges/as_rvalue_view/op_constructor.md
@@ -0,0 +1,60 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* as_rvalue_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+as_rvalue_view()
+  requires default_initializable<V> = default; // (1) C++23
+
+constexpr explicit
+  as_rvalue_view(V base);                      // (2) C++23
+```
+
+## 概要
+[`as_rvalue_view`](../as_rvalue_view.md)オブジェクトを構築する。
+
+- (1) : `base`をムーブして`*this`に保持する
+
+
+## 効果
+- (1) : メンバ変数`base_`を[`std::move`](/reference/utility/move.md)`(base)`で初期化する
+
+
+## 備考
+- ここで、`V`は[`std::ranges::ref_view`](../ref_view.md)であり、元となるRangeは`view`に変換されて保持される。
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <vector>
+#include <algorithm>
+#include <ranges>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  std::ranges::for_each(
+    std::views::as_rvalue(v),
+    [](int x) { std::cout << x << ' '; }
+  );
+}
+```
+* std::ranges::for_each[link /reference/algorithm/ranges_for_each.md]
+
+### 出力
+```
+1 2 3 
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 17 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 4 [mark verified]
diff --git a/reference/ranges/as_rvalue_view/op_deduction_guide.md b/reference/ranges/as_rvalue_view/op_deduction_guide.md
@@ -0,0 +1,49 @@
+# 推論補助
+* ranges[meta header]
+* std::ranges[meta namespace]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template <class R>
+  as_rvalue_view(R&&) -> as_rvalue_view<views::all_t<R>>;
+}
+```
+
+## 概要
+
+[`as_rvalue_view`](../as_rvalue_view.md)クラステンプレートの型推論補助。
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <vector>
+#include <ranges>
+
+int main() {
+  std::vector<int> v = {1, 2, 3};
+  auto r = std::ranges::as_rvalue_view(v);
+  for (int x : r) {
+    std::cout << x << std::endl;
+  }
+}
+```
+
+### 出力
+```
+1
+2
+3
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 17 [mark verified]
+- [GCC](/implementation.md#gcc): 13 [mark verified]
+- [ICC](/implementation.md#icc): ?
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 4 [mark verified]
diff --git a/reference/ranges/as_rvalue_view/size.md b/reference/ranges/as_rvalue_view/size.md
