std::ranges::views::slide, std::ranges::slide_view
来自 cppreference.com
在头文件 <ranges> 中定义 |
||
template< ranges::forward_range V > requires ranges::view<V> |
(1) | (自 C++23 起) |
namespace views { inline constexpr /* unspecified */ slide = /* unspecified */; |
(2) | (自 C++23 起) |
调用签名 |
||
template< ranges::viewable_range R > constexpr ranges::view auto slide( R&& r, ranges::range_difference_t<R> n ); |
(自 C++23 起) | |
template< class DifferenceType > constexpr /* range adaptor object */ slide( DifferenceType&& n ); |
(自 C++23 起) | |
辅助概念 |
||
template< class V > concept /*slide-caches-nothing*/ = |
(3) | (仅供说明*) |
template< class V > concept /*slide-caches-last*/ = |
(4) | (仅供说明*) |
template< class V > concept /*slide-caches-first*/ = |
(5) | (仅供说明*) |
令 s 为原始视图的大小。那么生成的视图的大小为
- s - n + 1,如果 s >= n,
- 0 否则,生成的视图为空。
2) 名称 views::slide 表示一个 RangeAdaptorObject。给定子表达式 e 和 n,表达式 views::slide(e, n) 与 slide_view(e, n) 表达式等价。
如果 n 不大于 0,则行为未定义。
slide_view
始终模拟 forward_range
,如果适配的 view
类型模拟了相应的概念,则它也模拟 bidirectional_range
、random_access_range
或 sized_range
。
内容 |
[编辑] 数据成员
成员对象 | 定义 |
base_ (私有) |
类型为 V 的底层 view 。(仅供说明的成员对象*) |
n_ (私有) |
类型为 ranges::range_difference_t<V> 的“窗口大小”。 (仅供说明的成员对象*) |
cached_begin_ (私有)(仅当 V 模拟 slide-caches-first 时存在)
|
一个 类似可选 的对象。 (仅供说明的成员对象*) |
cached_end_ (私有)(仅当 V 模拟 slide-caches-last 时存在)
|
一个 类似可选 的对象。 (仅供说明的成员对象*) |
[编辑] 成员函数
构造一个 slide_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> 的公有成员函数) |
[编辑] 推断指南
[编辑] 嵌套类
(C++23) |
迭代器类型 (仅供说明的成员类模板*) |
(C++23) |
当 slide_view 不是 common_range 时使用的哨兵类型(仅供说明的成员类模板*) |
[编辑] 辅助模板
template< class V > constexpr bool ranges::enable_borrowed_range<slide_view<V>> = |
(自 C++23 起) | |
此 ranges::enable_borrowed_range 的特化使 slide_view
当底层视图满足时满足 borrowed_range
。
[编辑] 注释
ranges::adjacent_view 和 ranges::slide_view 之间存在相似之处
- 两者都创建大小为
N
的“滑动窗口”。 - 两者的大小相同
S - N + 1
,其中S
是适配的view
的大小,使得S >= N > 0
。
下表显示了这些适配器之间的区别
视图适配器 | value_type |
窗口大小 N |
---|---|---|
ranges::adjacent_view | std::tuple | 模板参数 |
ranges::slide_view | ranges::range | 运行时参数 |
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_ranges_slide |
202202L | (C++23) | std::ranges::slide_view
|
[编辑] 示例
运行此代码
#include <algorithm> #include <iostream> #include <ranges> auto print_subrange = [](std::ranges::viewable_range auto&& r) { std::cout << '['; for (char space[]{0,0}; auto elem : r) std::cout << space << elem, *space = ' '; std::cout << "] "; }; int main() { const auto v = {1, 2, 3, 4, 5, 6}; std::cout << "All sliding windows of width:\n"; for (const unsigned width : std::views::iota(1U, 1U + v.size())) { auto const windows = v | std::views::slide(width); std::cout << "W = " << width << ": "; std::ranges::for_each(windows, print_subrange); std::cout << '\n'; } }
输出
All sliding windows of width W: W = 1: [1] [2] [3] [4] [5] [6] W = 2: [1 2] [2 3] [3 4] [4 5] [5 6] W = 3: [1 2 3] [2 3 4] [3 4 5] [4 5 6] W = 4: [1 2 3 4] [2 3 4 5] [3 4 5 6] W = 5: [1 2 3 4 5] [2 3 4 5 6] W = 6: [1 2 3 4 5 6]
[编辑] 参考文献
- C++23 标准 (ISO/IEC 14882:2024)
- 26.7.29 滑动视图 [range.slide]
[编辑] 另请参阅
一个由适配视图的相邻元素的引用组成的元组组成的 view (类模板) (范围适配器对象) | |
一个 view 范围,它们是另一个 view 的元素的 N 大小的非重叠连续块(类模板) (范围适配器对象) |