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

Author: faithandbrave

reference/ranges/concat_view.md

@@ -108,28 +108,28 @@ namespace std::ranges {
 
 | 名前                                             | 説明                             | 対応バージョン |
 |--------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](concat_view/op_constructor.md.nolink)  | コンストラクタ                   | C++26          |
-| [`begin`](concat_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する   | C++26          |
-| [`end`](concat_view/end.md.nolink)                       | 番兵を取得する                   | C++26          |
-| [`size`](concat_view/size.md.nolink)                     | 要素数を取得する                 | C++26          |
+| [`(constructor)`](concat_view/op_constructor.md)  | コンストラクタ                   | C++26          |
+| [`begin`](concat_view/begin.md)                   | 先頭を指すイテレータを取得する   | C++26          |
+| [`end`](concat_view/end.md)                       | 番兵を取得する                   | C++26          |
+| [`size`](concat_view/size.md)                     | 要素数を取得する                 | C++26          |
 
 ## 継承しているメンバ関数
 
 | 名前                                         | 説明                              | 対応バージョン |
 |----------------------------------------------|-----------------------------------|----------------|
-| [`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          |
-| [`cbegin`](view_interface/cbegin.md)         | 定数イテレータを取得する          | C++23          |
-| [`cend`](view_interface/cend.md)             | 定数イテレータ（番兵）を取得する  | C++23          |
-| [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする                | C++20          |
+| [`empty`](view_interface/empty.md)           | Rangeが空かどうかを判定する       | C++26          |
+| [`operator bool`](view_interface/op_bool.md) | Rangeが空でないかどうかを判定する | C++26          |
+| [`front`](view_interface/front.md)           | 先頭要素への参照を取得する        | C++26          |
+| [`back`](view_interface/back.md)             | 末尾要素への参照を取得する        | C++26          |
+| [`cbegin`](view_interface/cbegin.md)         | 定数イテレータを取得する          | C++26          |
+| [`cend`](view_interface/cend.md)             | 定数イテレータ（番兵）を取得する  | C++26          |
+| [`operator[]`](view_interface/op_at.md)      | 要素へアクセスする                | C++26          |
 
 ## 推論補助
 
 | 名前                                                  | 説明                         | 対応バージョン |
 |-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](concat_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++23          |
+| [`(deduction_guide)`](concat_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++26          |
 
 ## 例
 ```cpp example
@@ -155,10 +155,9 @@ int main() {
 - C++26
 
 ### 処理系
-- [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 verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]
 
 ## 参照
 - [26.7.18 Concat view](https://timsong-cpp.github.io/cppwp/range.concat) (2024-08-10)

reference/ranges/concat_view/begin.md

@@ -0,0 +1,59 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* concat_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr auto begin()
+  requires (!simple-view<Views> || ...);       // (1) C++26
+
+constexpr auto begin() const
+  requires (range<const Views> && ...);        // (2) C++26
+```
+
+## 概要
+
+`view`の先頭要素を指すイテレータを取得する。
+
+## 戻り値
+- (1), (2) : `concat_view`の先頭を指すイテレータを返す。連結されたRangeが空でない場合、最初の非空Rangeの先頭要素を指す。すべてのRangeが空の場合、[`end()`](end.md)と等価なイテレータを返す。
+
+## 例
+
+```cpp example
+#include <print>
+#include <ranges>
+#include <array>
+#include <vector>
+
+int main() {
+  std::vector<int> v1{1, 2, 3};
+  std::vector<int> v2{4, 5};
+  std::array<int, 3> a{6, 7, 8};
+
+  std::ranges::concat_view r{v1, v2, a};
+
+  auto it = r.begin();
+  
+  int x = *it;
+  std::println("{}", x);
+}
+```
+* begin[color ff0000]
+
+### 出力
+
+```
+1
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/concat_view/end.md

@@ -0,0 +1,62 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* concat_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr auto end()
+  requires (!simple-view<Views> || ...);       // (1) C++26
+
+constexpr auto end() const
+  requires (range<const Views> && ...);        // (2) C++26
+```
+
+## 概要
+番兵を取得する。
+
+## 戻り値
+- (1), (2) : `concat_view`の番兵を返す
+
+## 例
+
+```cpp example
+#include <print>
+#include <ranges>
+#include <array>
+#include <vector>
+
+int main() {
+  std::vector<int> v1{1, 2, 3};
+  std::vector<int> v2{4, 5};
+  std::array<int, 3> a{6, 7, 8};
+
+  std::ranges::concat_view r{v1, v2, a};
+
+  auto it = r.begin();
+  auto end_it = r.end();
+  while (it != end_it) {
+    std::print("{} ", *it);
+    ++it;
+  }
+  std::println();
+}
+```
+* end[color ff0000]
+* begin[link begin.md]
+
+### 出力
+
+```
+1 2 3 4 5 6 7 8
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/concat_view/op_constructor.md

@@ -0,0 +1,61 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* concat_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+concat_view()
+  requires (default_initializable<Views> && ...) = default;  // (1) C++26
+
+constexpr explicit concat_view(Views... views);              // (2) C++26
+```
+
+## 概要
+
+[`concat_view`](../concat_view.md)オブジェクトを構築する。
+
+- (1) : デフォルト構築
+- (2) : 連結する複数のviewを指定して構築
+
+## 効果
+
+- (1) : 各`views_`メンバをデフォルト構築する
+- (2) : `views_`を`std::move(views)...`で初期化する
+
+## 例
+```cpp example
+#include <print>
+#include <ranges>
+#include <array>
+#include <vector>
+
+int main() {
+  std::vector<int> v1{1, 2, 3};
+  std::vector<int> v2{4, 5};
+  std::array<int, 3> a{6, 7, 8};
+
+  std::ranges::concat_view view{v1, v2, a};
+  
+  for (int i : view) {
+    std::print("{} ", i);
+  }
+  std::println();
+}
+```
+* concat_view[color ff0000]
+
+### 出力
+```
+1 2 3 4 5 6 7 8
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/concat_view/op_deduction_guide.md

@@ -0,0 +1,69 @@
+# 推論補助
+* ranges[meta header]
+* std::ranges[meta namespace]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class... Rs>
+  concat_view(Rs&&...) -> concat_view<views::all_t<Rs>...>;
+}
+```
+
+## 概要
+
+[`concat_view`](../concat_view.md)クラステンプレートの型推論補助。
+
+この推論補助によって、渡されたRangeが暗黙的に[all view](../all.md)でラップされる。
+
+## 例
+```cpp example
+#include <concepts>
+#include <ranges>
+#include <array>
+#include <vector>
+
+int main() {
+  std::vector<int> v1{1, 2, 3};
+  std::vector<int> v2{4, 5};
+  std::array<int, 3> a{6, 7, 8};
+
+  std::ranges::concat_view r1{v1, v2, a};
+  static_assert(std::same_as<
+    decltype(r1),
+    std::ranges::concat_view<
+      std::ranges::ref_view<std::vector<int>>,
+      std::ranges::ref_view<std::vector<int>>,
+      std::ranges::ref_view<std::array<int, 3>>
+    >
+  >);
+
+  std::ranges::concat_view r2{
+    std::vector<int>{1, 2, 3},
+    std::vector<int>{4, 5},
+    std::array<int, 3>{6, 7, 8}
+  };
+  static_assert(std::same_as<
+    decltype(r2),
+    std::ranges::concat_view<
+      std::ranges::owning_view<std::vector<int>>,
+      std::ranges::owning_view<std::vector<int>>,
+      std::ranges::owning_view<std::array<int, 3>>
+    >
+  >);
+}
+```
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]

reference/ranges/concat_view/size.md

@@ -0,0 +1,68 @@
+# size
+* ranges[meta header]
+* std::ranges[meta namespace]
+* concat_view[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr auto size()
+  requires (sized_range<Views> && ...);        // (1) C++26
+
+constexpr auto size() const
+  requires (sized_range<const Views> && ...);  // (2) C++26
+```
+
+## 概要
+連結されたすべてのRangeの要素数の合計を取得する。
+
+## 制約
+- (1) : `Views...`のすべてが[`sized_range`](../sized_range.md)であること
+- (2) : `const Views...`のすべてが[`sized_range`](../sized_range.md)であること
+
+## 戻り値
+- (1), (2) : 連結されたすべてのRangeの要素数の合計を返す
+
+## 計算量
+- O(1)
+
+## 例
+
+```cpp example
+#include <print>
+#include <ranges>
+#include <array>
+#include <vector>
+#include <iterator>
+
+int main() {
+  std::vector<int> v1{1, 2, 3};
+  std::vector<int> v2{4, 5};
+  std::array<int, 3> a{6, 7, 8};
+
+  std::ranges::concat_view r{v1, v2, a};
+
+  std::println("size: {}", r.size());
+  
+  // 実際の要素数を確認
+  auto count = std::ranges::distance(r);
+  std::println("distance: {}", count);
+}
+```
+* size[color ff0000]
+
+### 出力
+
+```
+size: 8
+distance: 8
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 20 [mark noimpl]
+- [GCC](/implementation.md#gcc): 15 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 14 [mark noimpl]