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 起) |
调用签名 (Call signature) |
||
template< ranges::viewable_range... Rs > requires /* 见下文 */ |
(C++23 起) | |
zip_view
是一个范围适配器,它接受一个或多个 view
,并生成一个 view
,其第 i
个元素是一个类似元组的值,由所有视图的第 i
个元素组成。生成的视图的大小是所有适配视图中最小的那个。views::zip
是一个定制点对象。当不带参数调用时,views::zip() 在表达式上等价于 auto(views::empty<std::tuple<>>)。
zip_view
总是模型 input_range
,并且如果所有适配的 view
类型都模型相应的概念,则它模型 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
类类型的 const 函数对象。为了阐述目的,其 cv 不限定版本类型表示为 __zip_fn
。
所有 __zip_fn
的实例都是相等的。在相同参数上调用不同类型 __zip_fn
实例的效果是等价的,无论表示实例的表达式是左值还是右值,以及是否是 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
的任何函数调用运算符都不参与重载决议。
[编辑] 数据成员
成员 | 描述 |
std::tuple<Views...> views_ |
所有适配的视图对象 (仅用于阐释的成员对象*) |
[编辑] 成员函数
构造一个 zip_view (public 成员函数) | |
返回指向起始的迭代器 (public 成员函数) | |
返回一个迭代器或一个哨兵到末尾 (public 成员函数) | |
返回元素数量,仅在每个底层(适配)范围满足 sized_range 时提供(public 成员函数) | |
继承自 std::ranges::view_interface | |
返回派生视图是否为空,仅在它满足 sized_range 或 forward_range 时提供( std::ranges::view_interface<D> 的 public 成员函数) | |
(C++23) |
返回范围开头的常量迭代器 ( std::ranges::view_interface<D> 的 public 成员函数) |
(C++23) |
返回范围常量迭代器的哨兵 ( std::ranges::view_interface<D> 的 public 成员函数) |
返回派生视图是否非空,仅当 ranges::empty 适用于它时提供 ( std::ranges::view_interface<D> 的 public 成员函数) | |
返回派生视图中的第一个元素,如果它满足 forward_range 则提供( std::ranges::view_interface<D> 的 public 成员函数) | |
返回派生视图中的最后一个元素,仅在它满足 bidirectional_range 和 common_range 时提供( std::ranges::view_interface<D> 的 public 成员函数) | |
返回派生视图中的第 n 个元素,仅当它满足 random_access_range 时提供( std::ranges::view_interface<D> 的 public 成员函数) |
[编辑] 推导指南
[编辑] 嵌套类
迭代器类型 (仅用于说明的成员类模板*) | |
当 zip_view 不是 common_range 时使用的哨兵类型(仅用于说明的成员类模板*) |
[编辑] 辅助模板
template< class... Views > constexpr bool enable_borrowed_range<ranges::zip_view<Views...>> = |
(C++23 起) | |
zip_view
的这个 ranges::enable_borrowed_range 特化使得当每个底层视图都满足 borrowed_range
时,它也满足 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("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
[编辑] 参阅
一个由转换函数应用于适配视图中对应元素的结果组成的 view (类模板) (定制点对象) | |
接受一个由 tuple-like 值组成的 view 和一个数字 N,并生成一个由每个元组的第 N 个元素组成的 view (类模板) (范围适配器对象) |