std::ranges::views::zip_transform, std::ranges::zip_transform_view
来自 zh.cppreference.net
| 定义于头文件 <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 是一个范围适配器，它接受一个可调用对象以及一个或多个 views，并生成一个 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 满足概念 random_access_range、bidirectional_range、forward_range、input_range、common_range 和 sized_range 当底层 ranges::zip_view<Views...> 满足相应概念时。
定制点对象
名称
views::zip_transform
表示一个
定制点对象
，这是一个常量
函数对象
，属于字面量
semiregular
类类型。详见
CustomizationPointObject
说明。
成员函数
构造一个
zip_transform_view
(公开成员函数) |
|
|
返回指向起始位置的迭代器
(公开成员函数) |
|
|
返回指向末尾位置的迭代器或哨兵
(公开成员函数) |
|
返回元素数量，仅当每个底层（适配的）范围满足
sized_range
时提供
(公开成员函数) |
|
继承自 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>)
| |
推导指引
成员类型
| 类型 | 定义 |
InnerView (私有)
|
ranges::zip_view<Views...>.(仅用于阐述的成员类型*) |
ziperator (私有)
|
|
zentinel (私有)
|
|
数据成员
| 成员 | 描述 |
InnerView zip_ (私有)
|
一个底层视图对象 (仅用于阐释的成员对象*) |
可移动盒子<F> fun_ (私有)
|
一个包装的可调用对象 (仅用于阐释的成员对象*) |
嵌套类
|
迭代器类型
( 仅用于说明的成员类模板* ) |
|
当底层
zip_view
不是
common_range
时使用的哨兵类型
( 仅用于说明的成员类模板* ) |
注释
| 功能测试 宏 | 值 | 标准 | 功能特性 |
|---|---|---|---|
__cpp_lib_ranges_zip
|
202110L
|
(C++23) |
ranges::
zip_view
,
std::ranges::zip_transform_view
,
ranges:: adjacent_view , ranges:: adjacent_transform_view |
示例
运行此代码
#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}
参阅
(C++23) |
一个视图，由指向被适配视图中对应元素的引用元组组成 (类模板) (定制点对象) |
| 一个视图，对序列中每个元素应用变换函数 (类模板) (范围适配器对象) | |
| 获取一个由元组类值组成的视图和一个数字 N，并生成一个包含每个元组中第 N 个元素的视图 (类模板) (范围适配器对象) |