std::ranges:: views:: zip, std::ranges:: zip_view
|
Определено в заголовочном файле
<ranges>
|
||
|
template
<
ranges::
input_range
...
Views
>
requires
(
ranges::
view
<
Views
>
&&
...
)
&&
(
sizeof...
(
Views
)
>
0
)
|
(1) | (начиная с C++23) |
|
namespace
views
{
inline
constexpr
/*unspecified*/
zip
=
/*unspecified*/
;
|
(2) | (начиная с C++23) |
|
Сигнатура вызова
|
||
|
template
<
ranges::
viewable_range
...
Rs
>
requires
/* see below */
|
(начиная с C++23) | |
zip_view
— это адаптер диапазонов, который принимает один или несколько
view
s
и создаёт
view
, чей
i
-й элемент является кортежеподобным значением, состоящим из
i
-х
элементов всех представлений. Размер результирующего представления равен минимальному из размеров всех адаптированных представлений.
views::zip
является объектом точки кастомизации.
При вызове без аргументов,
views
::
zip
(
)
является
эквивалентным выражением
для
auto
(
views::
empty
<
std::
tuple
<>>
)
.
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
класса. Для подробностей см.
CustomizationPointObject
.
Члены данных
| Участник | Описание |
std::
tuple
<
Views...
>
views_
|
все адаптированные объекты представлений
( объект-участник только для демонстрации* ) |
Функции-члены
создает
zip_view
(публичная функция-член) |
|
|
возвращает итератор на начало
(публичная функция-член) |
|
|
возвращает итератор или страж на конец
(публичная функция-член) |
|
возвращает количество элементов, предоставляется только если каждый базовый (адаптированный) диапазон удовлетворяет
sized_range
(публичная функция-член) |
|
Наследуется от std::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
-го
элемента каждого кортежа
(шаблон класса) (объект адаптера диапазона) |