std::ranges::views::zip_transform, std::ranges::zip_transform_view
在头文件 <ranges> 中定义 |
||
template< std::move_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
th 元素是将可调用对象应用于所有视图的 i
th 元素的结果。如果且仅当
T&
是一个有效类型时,类型 T
才会模拟仅供说明的概念 /*can-reference*/。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
符合概念 random_access_range
、bidirectional_range
、forward_range
、input_range
、common_range
和 sized_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
符合以下模型:
- 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
的任何函数调用运算符都不参与重载解析。
[edit] 成员函数
构造 zip_transform_view (公有成员函数) | |
返回指向开头的迭代器 (公有成员函数) | |
返回指向结尾的迭代器或哨兵 (公有成员函数) | |
返回元素数量。仅在每个底层(适配的)范围都满足 sized_range 时提供。(公有成员函数) | |
继承自 std::ranges::view_interface | |
返回派生视图是否为空。仅在它满足 sized_range 或 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> 的公有成员函数) | |
返回派生视图中的第一个元素。仅在它满足 forward_range 时提供。( std::ranges::view_interface<D> 的公有成员函数) | |
返回派生视图中的最后一个元素。仅在它满足 bidirectional_range 和 common_range 时提供。( std::ranges::view_interface<D> 的公有成员函数) | |
返回派生视图中的第 n 个元素。仅在它满足 random_access_range 时提供。( std::ranges::view_interface<D> 的公有成员函数) |
[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] 参见
(C++23) |
由适配视图的对应元素的引用元组组成的 view (类模板) (自定义点对象) |
将转换函数应用于每个元素的序列的 view (类模板) (范围适配器对象) | |
接受一个由视图 组成的类似元组值和一个数字 N,并生成一个包含每个元组的第 N 个元素的视图 (类模板) (范围适配器对象) |