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 /*未指定*/ zip = /*未指定*/; |
(2) | (自 C++23 起) |
调用签名 |
||
template< ranges::viewable_range... Rs > requires /* 见下文 */ |
(自 C++23 起) | |
zip_view
是一个范围适配器,它接受一个或多个 view
,并产生一个 view
,其第 i
个元素是一个元组类值,包含所有视图的第 i
th 个元素。所产生的视图的大小是所有适配视图大小的最小值。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
表示一个 定制点对象,它是一个 const 函数对象,其类型为 字面量 semiregular
类类型。为了说明目的,其类型的 cv 无限定版本表示为 __zip_fn
。
所有 __zip_fn
实例都是相等的。无论表示该实例的表达式是左值还是右值,以及是否为 const 限定,调用 __zip_fn
类型的不同实例对相同参数的影响都是等效的(但是,不需要调用 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
的任何函数调用运算符都不会参与重载解析。
[edit] 数据成员
成员 | 描述 |
std::tuple<Views...> views_ |
所有适配的视图对象 (仅供说明的成员对象*) |
[edit] 成员函数
构造一个 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> 的公共成员函数) |
[edit] 推导指南
[edit] 嵌套类
迭代器类型 (仅供说明的成员类模板*) | |
当 zip_view 不是 common_range 时使用的哨兵类型(仅供说明的成员类模板*) |
[edit] 辅助模板
template< class... Views > constexpr bool enable_borrowed_range<ranges::zip_view<Views...>> = |
(自 C++23 起) | |
此 ranges::enable_borrowed_range 的专门化使 zip_view
满足 borrowed_range
,当每个底层视图都满足它时。
[edit] 说明
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_ranges_zip |
202110L | (C++23) | ranges::zip_view ,ranges::zip_transform_view, ranges::adjacent_view, ranges::adjacent_transform_view |
[edit] 示例
#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
[edit] 另请参阅
一个 view ,它由将转换函数应用于适配视图的对应元素的结果组成(类模板) (定制点对象) | |
接受一个由 元组状 值组成的 view 和一个数字 N,并生成每个元组的第 N 个元素的 view (类模板) (范围适配器对象) |