命名空间
变体
操作

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

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
 
定义在头文件 <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 /*未指定*/ zip = /*未指定*/;

}
(2) (自 C++23 起)
调用签名
template< ranges::viewable_range... Rs >

    requires /* 见下文 */

constexpr ranges::view auto zip( Rs&&... rs );
(自 C++23 起)
1) zip_view 是一个范围适配器,它接受一个或多个 view,并产生一个 view,其第 i 个元素是一个元组类值,包含所有视图的第 ith 个元素。所产生的视图的大小是所有适配视图大小的最小值。
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_rangebidirectional_rangerandom_access_rangesized_range,如果所有适配的 view 类型都模拟了相应的概念。

zip_view 模拟 common_range,如果

内容

定制点对象

名称 views::zip 表示一个 定制点对象,它是一个 const 函数对象,其类型为 字面量 semiregular 类类型。为了说明目的,其类型的 cv 无限定版本表示为 __zip_fn

所有 __zip_fn 实例都是相等的。无论表示该实例的表达式是左值还是右值,以及是否为 const 限定,调用 __zip_fn 类型的不同实例对相同参数的影响都是等效的(但是,不需要调用 volatile 限定的实例)。因此,views::zip 可以自由复制,并且其副本可以互换使用。

给定一组类型 Args...,如果 std::declval<Args>()... 满足上述 views::zip 参数的要求,则 __zip_fn 符合

否则,__zip_fn 的任何函数调用运算符都不会参与重载解析。

[edit] 数据成员

成员 描述
std::tuple<Views...> views_ 所有适配的视图对象
(仅供说明的成员对象*)

[edit] 成员函数

构造一个 zip_view
(公共成员函数) [edit]
返回指向开头的迭代器
(公共成员函数) [edit]
返回指向结尾的迭代器或哨兵
(公共成员函数) [edit]
返回元素数量。仅当每个底层(适配)范围满足 sized_range 时提供。
(公共成员函数) [edit]
std::ranges::view_interface 继承
返回派生视图是否为空。如果它满足 sized_rangeforward_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
(C++23)
返回指向范围开头的常量迭代器。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
(C++23)
返回范围常量迭代器的哨兵。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图是否不为空。如果 ranges::empty 对其适用,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图中的第一个元素。如果它满足 forward_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图中的最后一个元素。如果它满足 bidirectional_rangecommon_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]
返回派生视图中的第 n 个元素。如果它满足 random_access_range,则提供。
(std::ranges::view_interface<D> 的公共成员函数) [edit]

[edit] 推导指南

[edit] 嵌套类

迭代器类型
(仅供说明的成员类模板*)
zip_view 不是 common_range 时使用的哨兵类型
(仅供说明的成员类模板*)

[edit] 辅助模板

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,当每个底层视图都满足它时。

[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,它由将转换函数应用于适配视图的对应元素的结果组成
(类模板) (定制点对象)[edit]
接受一个由 元组状 值组成的 view 和一个数字 N,并生成每个元组的第 N 个元素的 view
(类模板) (范围适配器对象)[edit]