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

。views::zip()否则， 表达式等价于 。auto(views::empty<std::tuple<>>)
views::zip(rs...)expression-equivalent to 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) 等于 1，并且唯一被适配的视图类型满足 common_range，或
• 至少有一个被适配的视图类型不满足 bidirectional_range，并且所有被适配的视图类型都满足 common_range，或
• 所有被适配的视图类型同时满足 random_access_range 和 sized_range。

定制点对象

名称 views::zip 表示一个 定制点对象 ，它是一个常量 函数对象 ，具有 字面量 类型的 semiregular 类类型。有关详细信息，请参阅 定制点对象 。

数据成员

成员函数

推导指引

嵌套类

辅助模板

对 ranges::enable_borrowed_range 的此特化使得 zip_view 在每一个底层视图满足 borrowed_range 时也满足该概念。

备注

示例

#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("源视图：", "");
    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'); // 修改 z 的元素
    }
    print("\n修改后，z: ", z);
}

源视图：
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
修改后，z: a b c d E F

参见