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

来自cppreference.com
< cpp‎ | ranges
 
 
范围库
范围访问
范围转换器
(C++23)
范围原语



悬垂迭代器处理
范围概念
视图

范围工厂
适配器
范围生成器
范围适配器对象
范围适配器闭包对象
辅助项
 
 
在标头 <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 调用时,令 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 在底层 ranges::zip_view<Views...> 分别实现概念 random_access_rangebidirectional_rangeforward_rangeinput_rangecommon_rangesized_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 实现

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

表达式等价

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

数据成员

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

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

成员函数

构造 zip_transform_view
(公开成员函数)
(C++23)
返回指向起始的迭代器
(公开成员函数)
(C++23)
返回指向末尾的迭代器或哨位
(公开成员函数)
(C++23)
返回元素数,只要底层(适配的)范围满足 sized_range
(公开成员函数)
继承自 std::ranges::view_interface
(C++20)
返回视图是否为空。若视图满足 forward_range 则提供。
(std::ranges::view_interface<D> 的公开成员函数)
(C++23)
返回指向范围起始的常量迭代器。
(std::ranges::view_interface<D> 的公开成员函数)
(C++23)
返回对应于范围常量迭代器的哨位。
(std::ranges::view_interface<D> 的公开成员函数)
返回派生视图是否为非空。若 ranges::empty 可应用于它则提供。
(std::ranges::view_interface<D> 的公开成员函数)
(C++20)
返回派生视图中的首元素。若视图满足 forward_range 则提供。
(std::ranges::view_interface<D> 的公开成员函数)
(C++20)
返回派生视图中的末元素。若视图满足 bidirectional_rangecommon_range 则提供。
(std::ranges::view_interface<D> 的公开成员函数)
返回派生视图中的第 n 个元素。若视图满足 random_access_range 则提供。
(std::ranges::view_interface<D> 的公开成员函数)

推导指引

嵌套类

(C++23)
迭代器类型
(仅用于阐述的成员类模板*)
(C++23)
底层 zip_viewcommon_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

参阅

到被适配视图的对应元素的引用元组组成的 view
(类模板) (定制点对象)
对序列的每个元素应用某个变换函数的 view
(类模板) (范围适配器对象)