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

在标头 `<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 起)

调用签名
template< ranges::viewable_range... Rs > requires /* see below */ constexpr 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_range、 bidirectional_range、 random_access_range 或 sized_range 时实现对应的概念。

zip_view 实现 common_range ，若

sizeof...(Views) 等于，且适配的唯一的视图类型实现 common_range ，或
至少一个适配的视图类型不实现 bidirectional_range ，且每个适配的视图类型均实现 common_range ，或
每个适配的视图类型均实现 random_access_range 与 sized_range 。

定制点对象

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

__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 的函数调用运算符不会参与重载决议。

表达式等价

表达式 e 表达式等价于表达式 f ，若 e 与 f 拥有相同效果，均为潜在抛出或均非潜在抛出（即 noexcept(e) == noexcept(f) ），且均为常量子表达式或均非常量子表达式。

数据成员

zip_view 的典型实现仅保有一个非静态数据成员：保有所有适配的视图对象的 std::tuple<Views...> 。

为阐释目的，此处将该 std::tuple 中的视图对象显示为 vs_... 。

成员函数

(构造函数) (C++23)	构造 `zip_view` (公开成员函数)
begin (C++23)	返回指向起始的迭代器 (公开成员函数)
end (C++23)	返回指向末尾的迭代器或哨位 (公开成员函数)
size (C++23)	返回元素数，只要底层（适配的）范围满足 `sized_range` (公开成员函数)
继承自 std::ranges::view_interface
empty (C++20)	返回视图是否为空。若视图满足 `forward_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
cbegin (C++23)	返回指向范围起始的常量迭代器。 (`std::ranges::view_interface<D>` 的公开成员函数)
cend (C++23)	返回对应于范围常量迭代器的哨位。 (`std::ranges::view_interface<D>` 的公开成员函数)
operator bool (C++20)	返回派生视图是否为非空。若 ranges::empty 可应用于它则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
front (C++20)	返回派生视图中的首元素。若视图满足 `forward_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
back (C++20)	返回派生视图中的末元素。若视图满足 `bidirectional_range` 与 `common_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
operator[] (C++20)	返回派生视图中的第 n 个元素。若视图满足 `random_access_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)

推导指引

嵌套类

iterator (C++23)	迭代器类型 (仅用于阐述的成员类模板*)
sentinel (C++23)	`zip_view` 非 `common_range` 时使用的哨位类型 (仅用于阐述的成员类模板*)

示例

运行此代码

#include <list>
#include <array>
#include <tuple>
#include <ranges>
#include <vector>
#include <string>
#include <iostream>
 
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

参阅

ranges::zip_transform_viewviews::zip_transform

(C++23)

由应用变换函数到被适配视图的对应元素的结果的元组组成的 view
(类模板) (定制点对象)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

成员函数
zip_view::zip_view (C++23)
zip_view::begin (C++23)
zip_view::end (C++23)
zip_view::size (C++23)
推导指引
迭代器
zip_view::iterator::iterator (C++23)
zip_view::iterator::operator* (C++23)
zip_view::iterator::operator[] (C++23)
zip_view::iterator::operator++ zip_view::iterator::operator++(int) zip_view::iterator::operator-- zip_view::iterator::operator--(int) zip_view::iterator::operator+= zip_view::iterator::operator-= (C++23)(C++23)(C++23)(C++23)(C++23)(C++23)
operator==(zip_view::iterator) operator<(zip_view::iterator) operator>(zip_view::iterator) operator<=(zip_view::iterator) operator>=(zip_view::iterator) operator<=>(zip_view::iterator) (C++23)(C++23)(C++23)(C++23)(C++23)(C++23)
operator+(zip_view::iterator) operator-(zip_view::iterator) (C++23)(C++23)
iter_move(zip_view::iterator) (C++23)
iter_swap(zip_view::iterator) (C++23)
哨位
zip_view::sentinel::sentinel (C++23)
operator==(zip_view::sentinel) (C++23)
operator-(zip_view::sentinel) (C++23)