std::ranges::views::zip, std::ranges::zip_view
| Определён в заголовке <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) | |
zip_view — это адаптер диапазона, который принимает одно или несколько представлений и создаёт представление, i-й элемент которого является кортежеподобным значением, состоящим из i-х элементов всех представлений. Размер созданного представления равен минимуму из размеров всех адаптированных представлений.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...
>>
=
|
(начиная с 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
-го
элемента каждого кортежа
(шаблон класса) (объект адаптера диапазона) |