命名空间
变体
操作

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

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
 
在头文件 <ranges> 中定义
template< std::move_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,其 ith 元素是将可调用对象应用于所有视图的 ith 元素的结果。
如果且仅当 T& 是一个有效类型时,类型 T 才会模拟仅供说明的概念 /*can-reference*/
2) views::zip_transform 是一个自定义点对象。

当使用一个参数 f 调用时,令 FDstd::decay_t<decltype(f)>,如果

那么 views::zip_transform(f)((void)f, auto(views::empty<std::decay_t<std::invoke_result_t<FD&>>>)) 表达式等价。否则,对 views::zip_transform 的调用将是非法的。

当使用多个参数 frs... 调用时,views::zip_transform(f, rs...)表达式等效ranges::zip_transform_view(f, rs...)

zip_transform_view 符合概念 random_access_rangebidirectional_rangeforward_rangeinput_rangecommon_rangesized_range,前提是底层 ranges::zip_view<Views...> 符合相应的概念。

内容

自定义点对象

名称 views::zip_transform 表示一个自定义点对象,它是一个 const 函数对象,属于 字面量 semiregular 类类型。为了解释说明,其类型的 cv 无限定版本表示为 __zip_transform_fn

所有 __zip_transform_fn 的实例都相等。无论表示实例的表达式是左值还是右值,以及是否具有 const 限定,调用类型 __zip_transform_fn 的不同实例在相同参数上的效果都是等效的(但是,不强制要求易变限定的实例可以调用)。因此,views::zip_transform 可以随意复制,其副本可以互换使用。

给定一组类型 Args...,如果 std::declval<Args>()... 满足上面 views::zip_transform 参数的要求,__zip_transform_fn 符合以下模型:

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

[edit] 成员函数

构造 zip_transform_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] 成员类型

成员类型 定义
InnerView (私有) ranges::zip_view<Views...>.
(仅供说明的成员类型*)
ziperator (私有)
zentinel (私有)

[edit] 数据成员

成员对象 定义
zip_ (私有) 类型为 InnerView 的底层视图对象
(仅供说明的成员对象*)
fun_ (私有) 类型为 movable-box<F> 的包装可调用对象
(仅供说明的成员对象*)

[edit] 嵌套类

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

[edit] 备注

功能测试 Std 功能
__cpp_lib_ranges_zip 202110L (C++23) ranges::zip_view,
std::ranges::zip_transform_view,
ranges::adjacent_view,
ranges::adjacent_transform_view

[edit] 示例

#include <array>
#include <iostream>
#include <list>
#include <ranges>
#include <vector>
 
void print(auto const rem, auto const& r)
{
    std::cout << rem << '{'; 
    for (char o[]{0,' ',0}; auto const& e : r)
        std::cout << o << e, *o = ',';
    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}

[edit] 参见

由适配视图的对应元素的引用元组组成的 view
(类模板) (自定义点对象)[edit]
将转换函数应用于每个元素的序列的 view
(类模板) (范围适配器对象)[编辑]
接受一个由视图组成的类似元组值和一个数字 N,并生成一个包含每个元组的第 N 个元素的视图
(类模板) (范围适配器对象)[编辑]