|
| 1 | +# zip_transform_view |
| 2 | +* ranges[meta header] |
| 3 | +* std::ranges[meta namespace] |
| 4 | +* class template[meta id-type] |
| 5 | +* cpp23[meta cpp] |
| 6 | + |
| 7 | +```cpp |
| 8 | +namespace std::ranges { |
| 9 | + template<move_constructible F, input_range... Views> |
| 10 | + requires (view<Views> && ...) && (sizeof...(Views) > 0) && is_object_v<F> && |
| 11 | + regular_invocable<F&, range_reference_t<Views>...> && |
| 12 | + can-reference<invoke_result_t<F&, range_reference_t<Views>...>> |
| 13 | + class zip_transform_view : public view_interface<zip_transform_view<F, Views...>> {…… }; // (1) |
| 14 | + |
| 15 | + namespace views { |
| 16 | + inline constexpr /*unspecified*/ zip_transform = /*unspecified*/; // (2) |
| 17 | + } |
| 18 | +} |
| 19 | +``` |
| 20 | +* can-reference[link /reference/iterator/dereferenceable.md] |
| 21 | +
|
| 22 | +## 概要 |
| 23 | +
|
| 24 | +`zip_transform_view`は複数のRangeから要素を1つずつ取得し、それらを引数として関数を呼び出した結果を要素とする[`view`](view.md)。 |
| 25 | +
|
| 26 | +`zip_transform_view`の要素を1つ取得するごとに、各Rangeの要素を1つずつ取得する。 |
| 27 | +
|
| 28 | +zipするRangeのサイズが異なっている場合、`zip_transform_view`のサイズはそれらの中で最小のサイズとなる。 |
| 29 | +
|
| 30 | +- (1): `zip_transform_view`のクラス定義 |
| 31 | +- (2): `zip_transform_view`を生成するカスタマイゼーションポイントオブジェクト(Rangeアダプタオブジェクトではない) |
| 32 | +
|
| 33 | +
|
| 34 | +### Rangeコンセプト |
| 35 | +
|
| 36 | +| borrowed | sized | output | input | forward | bidirectional | random_access | contiguous | common | viewable | view | |
| 37 | +|----------|-------|--------|-------|---------|---------------|---------------|------------|--------|----------|------| |
| 38 | +| | (1) | 〇 | 〇 | (2) | (3) | (4) | | (5) | ○ | ○ | |
| 39 | +
|
| 40 | +- (1): zipするすべてのRangeが[`sized_range`](sized_range.md)のとき |
| 41 | +- (2): zipするすべてのRangeが[`forward_range`](forward_range.md)のとき |
| 42 | +- (3): zipするすべてのRangeが[`bidirectional_range`](bidirectional_range.md)のとき |
| 43 | +- (4): zipするすべてのRangeが[`random_access_range`](random_access_range.md)のとき |
| 44 | +- (5): *zip-is-common*のとき |
| 45 | +
|
| 46 | +## 効果 |
| 47 | +
|
| 48 | +- (2): `F`を部分式、`Es...`を部分式のパックとする。式 `views::zip_transform(F, Es...)` の効果は以下の通り。 |
| 49 | + - `Es` が空でないとき、`zip_transform_view(F, Es...)` と等しい |
| 50 | + - `Es` が空のとき、 `FD` を [`decay_t`](/reference/type_traits/decay.md)`<decltype((F))>`として、 |
| 51 | + - `((void)F, auto(`[`views::empty`](empty_view.md)`<`[`decay_t`](/reference/type_traits/decay.md)`<`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`<FD&>>>))` と等しい |
| 52 | + - ただし、 [`move_constructible`](/reference/concepts/move_constructible.md)`<FD> && `[`regular_invocable`](/reference/concepts/invocable.md)`<FD&>` が `false`、または [`decay_t`](/reference/type_traits/decay.md)`<`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`<FD&>>` がオブジェクト型でないとき、ill-formed |
| 53 | +
|
| 54 | +
|
| 55 | +## メンバ関数 |
| 56 | +
|
| 57 | +| 名前 | 説明 | 対応バージョン | |
| 58 | +|--------------------------------------------------|----------------------------------|----------------| |
| 59 | +| [`(constructor)`](zip_transform_view/op_constructor.md.nolink) | コンストラクタ | C++23 | |
| 60 | +| [`begin`](zip_transform_view/begin.md.nolink) | 先頭を指すイテレータを取得する | C++23 | |
| 61 | +| [`end`](zip_transform_view/end.md.nolink) | 番兵を取得する | C++23 | |
| 62 | +| [`size`](take_view/size.md.nolink) | 要素数を取得する | C++23 | |
| 63 | +
|
| 64 | +## 継承しているメンバ関数 |
| 65 | +
|
| 66 | +| 名前 | 説明 | 対応バージョン | |
| 67 | +|----------------------------------------------|-----------------------------------|----------------| |
| 68 | +| [`empty`](view_interface/empty.md) | Rangeが空かどうかを判定する | C++20 | |
| 69 | +| [`operator bool`](view_interface/op_bool.md) | Rangeが空でないかどうかを判定する | C++20 | |
| 70 | +| [`front`](view_interface/front.md) | 先頭要素への参照を取得する | C++20 | |
| 71 | +| [`back`](view_interface/back.md) | 末尾要素への参照を取得する | C++20 | |
| 72 | +| [`cbegin`](view_interface/cbegin.md) | 定数イテレータを取得する | C++23 | |
| 73 | +| [`cend`](view_interface/cend.md) | 定数イテレータ（番兵）を取得する | C++23 | |
| 74 | +| [`operator[]`](view_interface/op_at.md) | 要素へアクセスする | C++20 | |
| 75 | +
|
| 76 | +## 推論補助 |
| 77 | +
|
| 78 | +| 名前 | 説明 | 対応バージョン | |
| 79 | +|-------------------------------------------------------|------------------------------|----------------| |
| 80 | +| [`(deduction_guide)`](zip_transform_view/op_deduction_guide.md.nolink) | クラステンプレートの推論補助 | C++23 | |
| 81 | +
|
| 82 | +## 例 |
| 83 | +```cpp example |
| 84 | +#include <ranges> |
| 85 | +#include <vector> |
| 86 | +#include <print> |
| 87 | +
|
| 88 | +int main() { |
| 89 | + std::vector d = {1, 2, 3}; |
| 90 | + std::vector p = {1, 10, 100, 1000}; |
| 91 | +
|
| 92 | + std::println("{}", std::views::zip_transform([](auto x, auto y){ return x * y }, d, p)); |
| 93 | +} |
| 94 | +``` |
| 95 | +* std::views::zip_transform[color ff0000] |
| 96 | + |
| 97 | +### 出力 |
| 98 | +``` |
| 99 | +[1, 20, 300] |
| 100 | +``` |
| 101 | + |
| 102 | +## バージョン |
| 103 | +### 言語 |
| 104 | +- C++23 |
| 105 | + |
| 106 | +### 処理系 |
| 107 | +- [Clang](/implementation.md#clang): ?? |
| 108 | +- [GCC](/implementation.md#gcc): ?? |
| 109 | +- [ICC](/implementation.md#icc): ?? |
| 110 | +- [Visual C++](/implementation.md#visual_cpp): ?? |
| 111 | + |
| 112 | +## 関連項目 |
| 113 | +- [`transform_view`](transform_view.md) zipする範囲が1つの場合 |
| 114 | +- [`transform`](/reference/algorithm/ranges_transform.md) 2つのRangeから要素を1つずつ取り出して関数を呼び出し、結果を出力するアルゴリズム関数 |
| 115 | + |
| 116 | +## 参照 |
| 117 | +- [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges) |
0 commit comments