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

Author: faithandbrave

reference/ranges/cartesian_product_view.md

@@ -96,10 +96,10 @@ namespace std::ranges {
 
 | 名前                                             | 説明                             | 対応バージョン |
 |--------------------------------------------------|----------------------------------|----------------|
-| [`(constructor)`](cartesian_product_view/op_constructor.md.nolink)  | コンストラクタ                   | C++23          |
-| [`begin`](cartesian_product_view/begin.md.nolink)                   | 先頭を指すイテレータを取得する   | C++23          |
-| [`end`](cartesian_product_view/end.md.nolink)                       | 番兵を取得する                   | C++23          |
-| [`size`](cartesian_product_view/size.md.nolink)                     | 要素数を取得する                 | C++23          |
+| [`(constructor)`](cartesian_product_view/op_constructor.md)  | コンストラクタ                   | C++23          |
+| [`begin`](cartesian_product_view/begin.md)                   | 先頭を指すイテレータを取得する   | C++23          |
+| [`end`](cartesian_product_view/end.md)                       | 番兵を取得する                   | C++23          |
+| [`size`](cartesian_product_view/size.md)                     | 要素数を取得する                 | C++23          |
 
 ## 継承しているメンバ関数
 
@@ -117,7 +117,7 @@ namespace std::ranges {
 
 | 名前                                                  | 説明                         | 対応バージョン |
 |-------------------------------------------------------|------------------------------|----------------|
-| [`(deduction_guide)`](cartesian_product_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++23          |
+| [`(deduction_guide)`](cartesian_product_view/op_deduction_guide.md) | クラステンプレートの推論補助 | C++23          |
 
 ## 例
 ```cpp example
@@ -151,8 +151,7 @@ int main() {
 ### 処理系
 - [Clang](/implementation.md#clang): 16.0 [mark verified]
 - [GCC](/implementation.md#gcc): 13.2 [mark verified]
-- [ICC](/implementation.md#icc): ??
-- [Visual C++](/implementation.md#visual_cpp): ??
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 7 [mark verified]
 
 ## 参照
 - [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges)

reference/ranges/cartesian_product_view/begin.md

@@ -0,0 +1,65 @@
+# begin
+* ranges[meta header]
+* std::ranges[meta namespace]
+* cartesian_product_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr iterator<false> begin()
+  requires (!simple-view<First> || ... || !simple-view<Vs>); // (1) C++23
+
+constexpr iterator<true> begin() const; // (2) C++23
+```
+* iterator[italic]
+
+## 概要
+
+先頭要素を指すイテレータを取得する。
+
+## 効果
+
+- (1), (2) : 以下と等価
+    ```cpp
+    return iterator<Const>(*this, tuple-transform(ranges::begin, bases_));
+    ```
+
+ここで、`iterator`は説明専用のイテレータクラスであり、`tuple-transform`は説明専用の関数で、tupleの各要素に関数を適用する。`Const`は各オーバーロードに応じて`false`または`true`となる。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <print>
+
+int main() {
+  std::vector<int> v = {1, 2};
+  std::list<char> l = {'a', 'b'};
+  
+  std::ranges::cartesian_product_view cv{v, l};
+  
+  auto it = cv.begin();
+  
+  // 最初の要素を出力
+  std::println("first element: {}", *it);
+}
+```
+* begin[color ff0000]
+
+### 出力
+```
+first element: (1, 'a')
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 16.0 [mark verified]
+- [GCC](/implementation.md#gcc): 13.2 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 7 [mark verified]
+
+## 参照
+- [N4950 26.7.33 Cartesian product view](https://timsong-cpp.github.io/cppwp/n4950/range.cartesian)

reference/ranges/cartesian_product_view/end.md

@@ -0,0 +1,83 @@
+# end
+* ranges[meta header]
+* std::ranges[meta namespace]
+* cartesian_product_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr iterator<false> end()
+  requires ((!simple-view<First> || ... || !simple-view<Vs>) &&
+            cartesian-product-is-common<First, Vs...>); // (1) C++23
+
+constexpr default_sentinel_t end() const noexcept; // (2) C++23
+
+constexpr iterator<true> end() const
+  requires cartesian-product-is-common<const First, const Vs...>; // (3) C++23
+```
+* iterator[italic]
+* cartesian-product-is-common[italic]
+
+## 概要
+
+番兵またはイテレータを取得する。
+
+## 効果
+
+- (1) : 以下と等価
+    ```cpp
+    auto end_tuple = tuple-transform([](auto& r) { return cartesian-common-arg-end(r); }, bases_);
+    return iterator<false>(*this, std::move(end_tuple));
+    ```
+
+- (2) : `return default_sentinel;`
+
+- (3) : 以下と等価
+    ```cpp
+    auto end_tuple = tuple-transform([](auto& r) { return cartesian-common-arg-end(r); }, bases_);
+    return iterator<true>(*this, std::move(end_tuple));
+    ```
+
+ここで、`iterator`は説明専用のイテレータクラス、`tuple-transform`は説明専用の関数で、tupleの各要素に関数を適用する。`cartesian-common-arg-end`は説明専用の関数である。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <print>
+
+int main() {
+  std::vector<int> v = {1, 2};
+  std::list<char> l = {'a', 'b'};
+  
+  std::ranges::cartesian_product_view cv{v, l};
+  
+  // イテレータ範囲で全要素を出力
+  for (auto it = cv.begin(); it != cv.end(); ++it) {
+    std::println("{}", *it);
+  }
+}
+```
+* end[color ff0000]
+* begin[link begin.md]
+
+### 出力
+```
+(1, 'a')
+(1, 'b')
+(2, 'a')
+(2, 'b')
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 16.0 [mark verified]
+- [GCC](/implementation.md#gcc): 13.2 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 7 [mark verified]
+
+## 参照
+- [N4950 26.7.33 Cartesian product view](https://timsong-cpp.github.io/cppwp/n4950/range.cartesian)

reference/ranges/cartesian_product_view/op_constructor.md

@@ -0,0 +1,66 @@
+# コンストラクタ
+* ranges[meta header]
+* std::ranges[meta namespace]
+* cartesian_product_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+cartesian_product_view() = default; // (1) C++23
+
+constexpr explicit
+cartesian_product_view(First first_base, Vs... bases); // (2) C++23
+```
+
+## 概要
+
+`cartesian_product_view`オブジェクトを構築する。
+
+- (1) : デフォルトコンストラクタ。各Rangeを値初期化する。
+- (2) : 複数のRangeを受け取るコンストラクタ。
+
+## 効果
+
+- (1) : 各メンバを値初期化する。
+- (2) : `bases_`を`std::tuple<First, Vs...>(std::move(first_base), std::move(bases)...)`で初期化する。
+
+ここで、`bases_`は複数のRangeを保持するメンバ変数である。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <print>
+
+int main() {
+  std::vector<int> v = {1, 2};
+  std::list<char> l = {'a', 'b'};
+  
+  // デフォルトコンストラクタ
+  std::ranges::cartesian_product_view<std::views::all_t<std::vector<int>>, std::views::all_t<std::list<char>>> cv1{};
+  
+  // Rangeを指定
+  std::ranges::cartesian_product_view cv2{v, l};
+  
+  std::println("{}", cv2);
+}
+```
+* std::ranges::cartesian_product_view[color ff0000]
+
+### 出力
+```
+[(1, 'a'), (1, 'b'), (2, 'a'), (2, 'b')]
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 16.0 [mark verified]
+- [GCC](/implementation.md#gcc): 13.2 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 7 [mark verified]
+
+## 参照
+- [N4950 26.7.33 Cartesian product view](https://timsong-cpp.github.io/cppwp/n4950/range.cartesian)

reference/ranges/cartesian_product_view/op_deduction_guide.md

@@ -0,0 +1,55 @@
+# 推論補助
+* ranges[meta header]
+* std::ranges[meta namespace]
+* cartesian_product_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+namespace std::ranges {
+  template<class... Rs>
+  cartesian_product_view(Rs&&...) -> cartesian_product_view<views::all_t<Rs>...>;
+}
+```
+
+## 概要
+`cartesian_product_view`クラステンプレートの型推論補助。
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <type_traits>
+
+int main() {
+  std::vector<int> v = {1, 2};
+  std::list<char> l = {'a', 'b'};
+  
+  // cartesian_product_viewの型を明示的に指定する必要がない
+  std::ranges::cartesian_product_view cv{v, l};
+  
+  // 推論された型を確認
+  static_assert(std::same_as<
+    decltype(cv),
+    std::ranges::cartesian_product_view<
+      std::ranges::ref_view<std::vector<int>>,
+      std::ranges::ref_view<std::list<char>>
+    >
+  >);
+}
+```
+* std::ranges::cartesian_product_view[color ff0000]
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 16.0 [mark verified]
+- [GCC](/implementation.md#gcc): 13.2 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 7 [mark verified]

reference/ranges/cartesian_product_view/size.md

@@ -0,0 +1,74 @@
+# size
+* ranges[meta header]
+* std::ranges[meta namespace]
+* cartesian_product_view[meta class]
+* function[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+constexpr 以下参照 size()
+  requires cartesian-product-is-sized<First, Vs...>; // (1) C++23
+
+constexpr 以下参照 size() const
+  requires cartesian-product-is-sized<const First, const Vs...>; // (2) C++23
+```
+* cartesian-product-is-sized[italic]
+
+## 概要
+
+要素数を取得する。
+
+## 効果
+
+以下と等価：
+
+```cpp
+return apply([](auto... sizes) {
+    using CT = make-unsigned-like-t<common_type_t<decltype(sizes)...>>;
+    return (static_cast<CT>(sizes) * ...);
+}, tuple-transform(ranges::size, bases_));
+```
+* make-unsigned-like-t[italic]
+* tuple-transform[italic]
+
+ここで、`tuple-transform`は説明専用の関数で、tupleの各要素に関数を適用する。
+
+## 備考
+- 直積の要素数は、すべてのRangeの要素数の積となる。
+
+
+## 例
+```cpp example
+#include <ranges>
+#include <vector>
+#include <list>
+#include <iostream>
+
+int main() {
+  std::vector<int> v = {1, 2, 3}; // 3要素
+  std::list<char> l = {'a', 'b'}; // 2要素
+  
+  std::ranges::cartesian_product_view cv{v, l};
+  
+  // 直積の要素数は 3 * 2 = 6
+  std::cout << "cartesian product size: " << cv.size() << std::endl;
+}
+```
+* size[color ff0000]
+
+### 出力
+```
+cartesian product size: 6
+```
+
+## バージョン
+### 言語
+- C++23
+
+### 処理系
+- [Clang](/implementation.md#clang): 16.0 [mark verified]
+- [GCC](/implementation.md#gcc): 13.2 [mark verified]
+- [Visual C++](/implementation.md#visual_cpp): 2022 Update 7 [mark verified]
+
+## 参照
+- [N4950 26.7.33 Cartesian product view](https://timsong-cpp.github.io/cppwp/n4950/range.cartesian)