std::ranges::views::zip, std::ranges::zip_view

template< ranges::input_range... Views >
    requires (ranges::view<Views> && ...) && (sizeof...(Views) > 0)
class zip_view
    : public ranges::view_interface<zip_view<Views...>>

namespace views {
    inline constexpr /*unspecified*/ zip = /*unspecified*/;
}

template< ranges::viewable_range... Rs >
    requires /* see below */
constexpr auto zip( Rs&&... rs );

zip_view всегда моделирует input_range, и моделирует forward_range, bidirectional_range, random_access_range, или sized_range, если все адаптированные view типы моделируют соответствующий концепт.

zip_view моделирует common_range, если

• sizeof...(Views) равно 1, и единственный тип адаптированного представления моделирует common_range, или
• по крайней мере один тип адаптированного представления не моделирует bidirectional_range, и каждый тип адаптированного представления моделирует common_range, или
• каждый тип адаптированного представления моделирует и random_access_range, и sized_range.

Объекты для кастомизации

Имя views::zip обозначает объект для кастомизации, который является константным объектом-функцией литерального типа semiregular. Для целей пояснения, неквалифицированная версия его типа обозначается как __zip_fn.

Все экземпляры __zip_fn равны. Эффекты вызова разных экземпляров типа __zip_fn с одними и теми же аргументами эквивалентны, независимо от того, является ли выражение, обозначающее экземпляр, lvalue или rvalue, и является ли оно квалифицированным как const или нет (однако, не требуется, чтобы экземпляр с квалификатором volatile был вызываемым). Таким образом, views::zip можно свободно копировать, и его копии можно использовать взаимозаменяемо.

Учитывая набор типов Args..., если std::declval<Args>()... соответствуют требованиям к аргументам для views::zip выше, __zip_fn моделирует

• std::invocable<__zip_fn, Args...>,
• std::invocable<const __zip_fn, Args...>,
• std::invocable<__zip_fn&, Args...>, и
• std::invocable<const __zip_fn&, Args...>.
  

В противном случае, никакая операция вызова функции __zip_fn не участвует в разрешении перегрузки.

Члены данных

Члены-функции

Правила вывода типов

Вложенные классы

Вспомогательные шаблоны

template< class... Views >
inline constexpr bool enable_borrowed_range<ranges::zip_view<Views...>> =
    (ranges::enable_borrowed_range<Views> && ...);

Эта специализация ranges::enable_borrowed_range обеспечивает, чтобы zip_view удовлетворял borrowed_range, когда каждый базовый вид его удовлетворяет.

Примечания

Пример

#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);
}

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

См. также