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 /* 未指明 */ slide = /* 未指明 */; |
(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 /* 范围适配器对象 */ 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,则为 s - n + 1。
- 否则为 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 时出现)
|
optional 式对象。(仅用于阐述的成员对象*) |
cached_end_ (私有) (仅在 V 实现 slide-caches-last 时出现)
|
optional 式对象。(仅用于阐述的成员对象*) |
成员函数
构造 slide_view (公开成员函数) | |
返回指向起始的迭代器 (公开成员函数) | |
返回 指向末尾的迭代器或哨位 (公开成员函数) | |
返回元素数。仅当底层(适配的)范围满足 sized_range 时才提供。 (公开成员函数) | |
继承自 std::ranges::view_interface | |
返回视图是否为空。仅当视图满足 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> 的公开成员函数) |
推导指引
嵌套类
(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 的特化使得底层视图满足 borrowed_range
时,slide_view
同样满足它。
注解
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 | 运行时实参 |
功能特性测试宏 | 值 | 标准 | 功能特性 |
---|---|---|---|
__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 << "所有宽度 W 的滑窗:\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'; } }
输出:
所有宽度 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 Slide view [range.slide]
参阅
由到被适配视图的相邻元素的引用的元组组成的 view (类模板) (范围适配器对象) | |
另一个视图元素的 N 大小不重叠的连续块组成的 view 的范围 (类模板) (范围适配器对象) |