std::ranges::views::adjacent_transform, std::ranges::adjacent_transform_view, std::ranges::views::pairwise_transform
来自 cppreference.com
在头文件 <ranges> 中定义 |
||
template< ranges::forward_range V, std::move_constructible F, std::size_t N > requires ranges::view<V> && (N > 0) && std::is_object_v<F> && |
(1) | (自 C++23 起) |
namespace views { template< std::size_t N > |
(2) | (自 C++23 起) |
namespace views { inline constexpr auto pairwise_transform = adjacent_transform<2>; |
(3) | (自 C++23 起) |
调用签名 |
||
template< ranges::viewable_range R, class F > requires /* see below */ |
(自 C++23 起) | |
template< class F > constexpr /*range adaptor closure*/ adjacent_transform<N>( F&& fun ); |
(自 C++23 起) | |
1)
adjacent_transform_view
是一个范围适配器,它接受一个 view
和一个可调用对象 fun,并产生一个 view
,其 i
th 元素是将 fun 应用于原始视图中 [
i,
i + N)
中每个元素的结果。F
始终具有 arity N
。 假设原始视图的大小为
S
。那么产生的视图的大小为- S - N + 1,如果 S >= N,
- 0 否则,生成的视图为空。
2) 名称 views::adjacent_transform<N> 表示一个 RangeAdaptorObject。给定子表达式 e 和 f,以及一个常量表达式
N
,表达式 views::adjacent_transform<N>(e, f) 与以下表达式 表达式等价
- ((void)e, views::zip_transform(f)), 如果 `N` 等于 0 且 decltype((e)) 符合
forward_range
(除了 e 和 f 的求值是 无序的), - adjacent_transform_view<views::all_t<decltype((e))>, std::decay_t<decltype((f))>, N>(e, f) 否则。
3) 名字 views::pairwise_transform 代表一个 RangeAdaptorObject,其行为与 views::adjacent_transform<2> 完全相同。特别是,
F
的元数也是 2,而 fun 是一个二元可调用对象。adjacent_transform_view
始终符合 forward_range
,并且如果被适配的 view
类型符合相应的概念,则符合 bidirectional_range
、random_access_range
或 sized_range
。
内容 |
[edit] 成员函数
构造一个 adjacent_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 th 个元素。如果它满足 random_access_range ,则提供。( std::ranges::view_interface<D> 的公有成员函数) |
[edit] 推导指南
(无)
[edit] 成员类型
成员类型 | 定义 |
InnerView (私有) |
ranges::adjacent_view<V, N>. (仅用于说明目的的成员类型*) |
inner_iterator (私有) |
|
inner_sentinel (私有) |
|
[edit] 数据成员
成员名称 | 定义 |
fun_ (私有) |
/*movable-box*/<F> (仅用于说明目的的成员对象*) |
inner_ (私有) |
ranges::adjacent_view<V,N> (仅用于说明目的的成员对象*) |
[edit] 嵌套类
迭代器类型 (仅用于说明目的的成员类模板*) | |
当 adjacent_transform_view 不是 common_range 时使用的哨兵类型(仅用于说明目的的成员类模板*) |
[edit] 注意事项
views::adjacent_transform 即使 N
为 0
,也只能接受前向范围。
功能测试 宏 | 值 | Std | 功能 |
---|---|---|---|
__cpp_lib_ranges_zip |
202110L | (C++23) | ranges::zip_view, ranges::zip_transform_view, ranges::adjacent_view, ranges::adjacent_transform_view
|
[edit] 示例
运行此代码
#include <array> #include <iostream> #include <ranges> int main() { constexpr static std::array data{1, 2, 3, 4, 5, 6}; constexpr int window{3}; auto Fun = [](auto... ints) { return (... + ints); }; // Alternatively, the Fun could be any ternary (if window == 3) callable, e.g.: // auto Fun = [](int x, int y, int z) { return x + y + z; }; constexpr auto view = data | std::views::adjacent_transform<window>(Fun); static_assert( view.size() == (data.size() - window + 1) && std::array{6, 9, 12, 15} == std::array{view[0], view[1], view[2], view[3]} && view[0] == Fun(data[0], data[1], data[2]) && view[1] == Fun(data[1], data[2], data[3]) && view[2] == Fun(data[2], data[3], data[4]) && view[3] == Fun(data[3], data[4], data[5]) ); for (int x : view) std::cout << x << ' '; std::cout << '\n'; }
输出
6 9 12 15
[edit] 缺陷报告
以下行为更改缺陷报告被追溯应用于之前发布的 C++ 标准。
DR | 应用于 | 发布的行为 | 正确行为 |
---|---|---|---|
LWG 4098 | C++23 | views::adjacent_transform<0> 以前接受输入范围 | 被拒绝 |
[编辑] 参考文献
- C++23 标准 (ISO/IEC 14882:2024)
- 26.7.27 邻近变换视图 [range.adjacent.transform]
[编辑] 另请参阅
一个 视图 ,它由对适配视图中相邻元素的引用的元组组成(类模板) (范围适配器对象) | |
一个 视图 ,它对序列中的每个元素应用一个转换函数(类模板) (范围适配器对象) | |
一个 视图 ,它由将转换函数应用于适配视图中对应元素的结果组成(类模板) (定制点对象) | |
(C++20) |
将函数应用于一系列元素 (非阻塞函数) |