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 views, and produces a view whose ith element is a tuple-like value consisting of the ith 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_rangeandsized_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]
nth 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]