std::ranges::views::zip, std::ranges::zip_view
<ranges>
requires (ranges::view <Views> && ...) && (sizeof...(Views) > 0)
class zip_view
inline constexpr /*unspecified*/ zip = /*unspecified*/;
requires /* see below */
zip_view
is a range adaptor that takes one or more view
s, and produces a view
whose i
th element is a tuple-like value consisting of the i
th elements of all views. The size of produced view is the minimum of sizes of all adapted views.views::zip
is a customization point object.When calling with no argument, views::zip() is expression-equivalent to auto(views::empty <std::tuple <>>).
zip_view
always models input_range
, and models forward_range
, bidirectional_range
, random_access_range
, or sized_range
if all adapted view
types model the corresponding concept.
zip_view
models common_range
if
- sizeof...(Views) is equal to 1, and the only adapted view type models
common_range
, or - at least one adapted view type does not model
bidirectional_range
, and every adapted view type modelscommon_range
, or - every adapted view type models both
random_access_range
andsized_range
.
Contents
Customization point objects
The name views::zip
denotes a customization point object, which is a const function object of a literal semiregular
class type. See CustomizationPointObject for details.
[edit] Data members
[edit] Member functions
sized_range
(public member function) [edit]
Inherited from std::ranges::view_interface
sized_range
or forward_range
(public member function of
std::ranges::view_interface<D>
) [edit]
(public member function of
std::ranges::view_interface<D>
) [edit]
(public member function of
std::ranges::view_interface<D>
) [edit]
(public member function of
std::ranges::view_interface<D>
) [edit]
forward_range
(public member function of
std::ranges::view_interface<D>
) [edit]
bidirectional_range
and common_range
(public member function of
std::ranges::view_interface<D>
) [edit]
n
th element in the derived view, provided only if it satisfies random_access_range
(public member function of
std::ranges::view_interface<D>
) [edit]
[edit] Deduction guides
[edit] Nested classes
[edit] Helper templates
constexpr bool enable_borrowed_range<ranges::zip_view<Views...>> =
This specialization of ranges::enable_borrowed_range makes zip_view
satisfy borrowed_range
when each underlying view satisfies it.
[edit] Notes
Feature-test macro | Value | Std | Feature |
---|---|---|---|
__cpp_lib_ranges_zip |
202110L |
(C++23) | ranges::zip_view ,ranges::zip_transform_view , ranges::adjacent_view , ranges::adjacent_transform_view |
[edit] Example
#include <array> #include <iostream> #include <list> #include <ranges> #include <string> #include <tuple> #include <vector> void print(auto const rem, auto const& range) { for (std::cout << rem; auto const& elem : range) std::cout << elem << ' '; std::cout << '\n'; } int main() { auto x = std::vector {1, 2, 3, 4}; auto y = std::list <std::string >{"α", "β", "γ", "δ", "ε"}; auto z = std::array {'A', 'B', 'C', 'D', 'E', 'F'}; print("Source views:", ""); print("x: ", x); print("y: ", y); print("z: ", z); print("\nzip(x,y,z):", ""); for (std::tuple <int&, std::string &, char&> elem : std::views::zip(x, y, z)) { std::cout << std::get<0>(elem) << ' ' << std::get<1>(elem) << ' ' << std::get<2>(elem) << '\n'; std::get<char&>(elem) += ('a' - 'A'); // modifies the element of z } print("\nAfter modification, z: ", z); }
Output:
Source views: x: 1 2 3 4 y: α β γ δ ε z: A B C D E F zip(x,y,z): 1 α A 2 β B 3 γ C 4 δ D After modification, z: a b c d E F
[edit] See also
view
consisting of results of application of a transformation function to corresponding elements of the adapted views(class template) (customization point object)[edit]
view
consisting of tuple-like values and a number N and produces a view
of Nth element of each tuple(class template) (range adaptor object)[edit]