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) && |
(1) | (C++23 起) |
namespace views { inline constexpr /*unspecified*/ zip_transform = /*unspecified*/; |
(2) | (C++23 起) |
调用签名 |
||
template< class F, ranges::viewable_range... Rs > requires /* see below */ |
(C++23 起) | |
zip_transform_view
是范围适配器,接收一个可调用对象和一或多个 view
,并产生一个 view
,其第 i
元素是应用可调用对象到所有视图的第 i
元素的结果。类型
T
实现仅用于阐释的概念 can-reference
,当且仅当 T& 为合法类型。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
的调用非良构。
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 (公开成员函数) |
(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> 的公开成员函数) |
(C++20) |
返回派生视图是否为非空。若 ranges::empty 可应用于它则提供。 ( std::ranges::view_interface<D> 的公开成员函数) |
(C++20) |
返回派生视图中的首元素。若视图满足 forward_range 则提供。 ( std::ranges::view_interface<D> 的公开成员函数) |
(C++20) |
返回派生视图中的末元素。若视图满足 bidirectional_range 与 common_range 则提供。 ( std::ranges::view_interface<D> 的公开成员函数) |
(C++20) |
返回派生视图中的第 n 个元素。若视图满足 random_access_range 则提供。 ( std::ranges::view_interface<D> 的公开成员函数) |
推导指引
嵌套类
(C++23) |
迭代器类型 (仅用于阐述的成员类模板*) |
(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
参阅
(C++23) |
到被适配视图的对应元素的引用元组组成的 view (类模板) (定制点对象) |
对序列的每个元素应用某个变换函数的 view (类模板) (范围适配器对象) |