命名空间
变体
操作

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

来自 cppreference.cn
< cpp‎ | ranges
 
 
范围库 (Ranges library)
范围适配器 (Range adaptors)
 
 
定义于头文件 <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 起)
调用签名 (Call signature)
template< ranges::viewable_range... Rs >

    requires /* 见下文 */

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

zip_view 模型 common_range,如果:

目录

自定义点对象

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

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

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

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

[编辑] 数据成员

成员 描述
std::tuple<Views...> views_ 所有适配的视图对象
(仅用于阐释的成员对象*)

[编辑] 成员函数

构造一个 zip_view
(public 成员函数) [编辑]
返回指向起始的迭代器
(public 成员函数) [编辑]
返回一个迭代器或一个哨兵到末尾
(public 成员函数) [编辑]
返回元素数量,仅在每个底层(适配)范围满足 sized_range 时提供
(public 成员函数) [编辑]
继承自 std::ranges::view_interface
返回派生视图是否为空,仅在它满足 sized_rangeforward_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_rangecommon_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...>> =

    (ranges::enable_borrowed_range<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
(类模板) (范围适配器对象)[编辑]