std::ranges::views::zip_transform, std::ranges::zip_transform_view

在标头 `<ranges>` 定义
template< std::copy_constructible F, ranges::input_range... Views > requires (ranges::view<Views> && ...) && (sizeof...(Views) > 0) && std::is_object_v<F> && std::regular_invocable< F&, ranges::range_reference_t<Views>...> && /can-reference/<std::invoke_result_t< F&, ranges::range_reference_t<Views>...>> class zip_transform_view : public ranges::view_interface<zip_transform_view<F, Views...>>	(1)	(C++23 起)
namespace views { inline constexpr /unspecified/ zip_transform = /unspecified/; }	(2)	(C++23 起)

调用签名
template< class F, ranges::viewable_range... Rs > requires /* see below */ constexpr auto zip_transform( F&& f, Rs&&... rs );		(C++23 起)

1) zip_transform_view 是范围适配器，接收一个可调用对象和一或多个 view ，并产生一个 view ，其第 i 元素是应用可调用对象到所有视图的第 i 元素的结果。
类型 T 实现仅用于阐释的概念 can-reference ，当且仅当 T& 为合法类型。

2) views::zip_transform 是定制点对象。

当以一个实参 f 调用时，令 FD 为 std::decay_t<decltype(f)> ，若

FD 实现 copy_constructible ，
FD& 实现 regular_invocable ，且
std::invoke_result_t<FD&> 为对象类型，

则 views::zip_transform(f) 表达式等价于 ((void)f, auto(views::empty<std::decay_t<std::invoke_result_t<FD&>>>)) 。否则，对 views::zip_transform 的调用非良构。

当以多于一个实参 f 与 rs... 调用时， views::zip_transform(f, rs...) 表达式等价于 ranges::zip_transform_view(f, rs...) 。

zip_transform_view 在底层 ranges::zip_view<Views...> 分别实现概念 random_access_range、 bidirectional_range、 forward_range、 input_range、 common_range 及 sized_range 时实现对应的概念。

定制点对象

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

__zip_transform_fn 的所有实例均相等。在相同参数上调用类型 __zip_transform_fn 的不同实例的效果是等价的，与指代该实例的表达式是左值还是右值，以及是否为 const 限定无关（然而不要求 volatile 限定的实例可调用）。从而能自由地复制 views::zip_transform 并且能彼此替代地使用它的副本。

给定类型集合 Args...，如果 std::declval<Args>()... 满足上面对于 views::zip_transform 的参数要求，那么 __zip_transform_fn 实现

std::invocable<__zip_transform_fn, Args...>、
std::invocable<const __zip_transform_fn, Args...>、
std::invocable<__zip_transform_fn&, Args...> 和
std::invocable<const __zip_transform_fn&, Args...>。

否则，__zip_transform_fn 的函数调用运算符不会参与重载决议。

表达式等价

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

数据成员

zip_transform_view 的典型实现保有二个非静态数据成员：

ranges::zip_view<Views...> 类型的底层视图对象（此处仅为阐释示为 zip_ ），及
copyable-box<F> 类型的包装的可调用对象（此处仅为阐释示为 fun_ ）。

成员函数

(构造函数) (C++23)	构造 `zip_transform_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 <ranges>
#include <vector>
#include <iostream>
 
void print(auto const rem, auto const& r) {
    for (std::cout << rem; auto const& e : r)
        std::cout << e << ' ';
    std::cout << '\n';
}
 
int main() {
    auto v1 = std::vector<float>{1, 2, 3};
    auto v2 = std::list<short>{1, 2, 3, 4};
    auto v3 = std::to_array({1, 2, 3, 4, 5});
 
    auto add = [](auto a, auto b, auto c) { return a + b + c; };
 
    auto sum = std::views::zip_transform(add, v1, v2, v3);
 
    print("v1:  ", v1);
    print("v2:  ", v2);
    print("v3:  ", v3);
    print("sum: ", sum);
}

输出：

v1:  1 2 3 
v2:  1 2 3 4 
v3:  1 2 3 4 5 
sum: 3 6 9

参阅

ranges::zip_viewviews::zip (C++23)	到被适配视图的对应元素的引用元组组成的 `view` (类模板) (定制点对象)
ranges::transform_viewviews::transform (C++20)	对序列的每个元素应用某个变换函数的 `view` (类模板) (范围适配器对象)

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

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