Namespaces
Variants

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

Из ru.cppreference.net
 
 
Библиотека диапазонов
Адаптеры диапазонов
 
 
Определён в заголовке <ranges>
template< ranges::input_range... Views >
    requires (ranges::view<Views> && ...) && (sizeof...(Views) > 0)
class zip_view
    : public ranges::view_interface<zip_view<Views...>>
(1) (начиная с C++23)
namespace views {
    inline constexpr /*unspecified*/ zip = /*unspecified*/;
}
(2) (начиная с C++23)
Сигнатура вызова
template< ranges::viewable_range... Rs >
    requires /* see below */
constexpr ranges::view auto zip( Rs&&... rs );
(начиная с C++23)
1) zip_view — это адаптер диапазона, который принимает одно или несколько представлений и создаёт представление, i-й элемент которого является кортежеподобным значением, состоящим из i-х элементов всех представлений. Размер созданного представления равен минимуму из размеров всех адаптированных представлений.
2) views::zip — это объект точки настройки.

При вызове без аргументов, views::zip() является выражением-эквивалентом для auto(views::empty<std::tuple<>>).
В противном случае, views::zip(rs...) является выражением-эквивалентом для ranges::zip_view<views::all_t<decltype((rs))>...>(rs...).

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

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

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

Объекты точек кастомизации

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

Члены данных

Участник Описание
std:: tuple < Views... > views_ все адаптированные объекты представлений
( объект-участник только для демонстрации* )

Функции-члены

создает zip_view
(публичная функция-член)
возвращает итератор на начало
(публичная функция-член)
возвращает итератор или страж на конец
(публичная функция-член)
возвращает количество элементов, предоставляется только если каждый базовый (адаптированный) диапазон удовлетворяет sized_range
(публичная функция-член)
Унаследовано из ranges::view_interface
возвращает, пусто ли производное представление, доступно только если оно удовлетворяет sized_range или forward_range
(открытая функция-элемент из std::ranges::view_interface<D>)
(C++23)
возвращает константный итератор на начало диапазона
(открытая функция-элемент из std::ranges::view_interface<D>)
(C++23)
возвращает ограничитель для константного итератора диапазона
(открытая функция-элемент из std::ranges::view_interface<D>)
возвращает, не пусто ли производное представление, доступно только если ranges::empty применимо к нему
(открытая функция-элемент из std::ranges::view_interface<D>)
возвращает первый элемент в производном представлении, доступно если оно удовлетворяет forward_range
(открытая функция-элемент из std::ranges::view_interface<D>)
возвращает последний элемент в производном представлении, доступно только если оно удовлетворяет bidirectional_range и common_range
(открытая функция-элемент из std::ranges::view_interface<D>)
возвращает n-й элемент в производном представлении, доступно только если оно удовлетворяет random_access_range
(открытая функция-элемент из std::ranges::view_interface<D>)

Руководства по выводу

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

тип итератора
( демонстрационный шаблон класса-члена* )
тип сторожа, используемый когда zip_view не является common_range
( демонстрационный шаблон класса-члена* )

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

template < class ... Views >

constexpr bool enable_borrowed_range < ranges :: zip_view < Views... >> =

( ranges:: enable_borrowed_range < Views > && ... ) ;
(начиная с C++23)

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

Примечания

Макрос тестирования возможностей Значение Стандарт Возможность
__cpp_lib_ranges_zip 202110L (C++23) ranges::zip_view ,
ranges:: zip_transform_view ,
ranges:: adjacent_view ,
ranges:: adjacent_transform_view

Пример

#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("Исходные представления:", "");
    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("\nПосле модификации, 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

Смотрите также

представление, view состоящее из результатов применения функции преобразования к соответствующим элементам адаптированных представлений
(шаблон класса) (объект точки кастомизации)
принимает view состоящий из tuple-like значений и число N, и создаёт view N -го элемента каждого кортежа
(шаблон класса) (объект адаптера диапазона)