std::ranges::views::slide, std::ranges::slide_view
| 定义于头文件 <ranges>
|
||
template< ranges::forward_range V >
requires ranges::view<V>
class slide_view
: public ranges::view_interface<slide_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*/ =
ranges::random_access_range<V> && ranges::sized_range<V>;
|
(3) | (仅用于阐述*) |
template< class V >
concept /*slide-caches-last*/ =
!/*slide-caches-nothing*/<V> &&
ranges::bidirectional_range<V> && ranges::common_range<V>;
|
(4) | (仅用于阐述*) |
template< class V >
concept /*slide-caches-first*/ =
!/*slide-caches-nothing*/<V> && !/*slide-caches-last*/<V>;
|
(5) | (仅用于阐述*) |
s 为原始视图的大小。则生成的视图大小为:
s - n + 1,如果s >= n;0否则,且结果视图为空。
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。
数据成员
| 成员 | 描述 |
V
base_
|
底层视图
( 仅用于说明的成员对象* ) |
ranges::
range_difference_t
<
V
>
n_
|
“窗口”大小
( 仅用于说明的成员对象* ) |
non-propagating-cache
<
ranges::
iterator_t
<
V
>>
cached_begin_
(仅当
V
满足
slide-caches-first
概念时存在)
|
缓存
begin()
结果的对象
( 仅用于说明的成员对象* ) |
non-propagating-cache
<
ranges::
iterator_t
<
V
>>
cached_end_
(仅当
V
满足
slide-caches-last
概念时存在)
|
缓存
end()
结果的对象
( 仅用于说明的成员对象* ) |
成员函数
构造
slide_view
(公开成员函数) |
|
|
返回指向起始的迭代器
(公开成员函数) |
|
|
返回指向末尾的迭代器或哨位
(公开成员函数) |
|
返回元素数量,仅当底层(适配的)范围满足
sized_range
时提供
(公开成员函数) |
|
|
(C++26)
|
返回结果
approximately_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> 的公开成员函数)
| |
返回派生视图中第 nth 个元素,仅当它满足 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 | 运行时参数 |
| 功能测试 宏 | 值 | 标准 | 功能 |
|---|---|---|---|
__cpp_lib_ranges_slide
|
202202L
|
(C++23) |
std::ranges::slide_view
|
示例
#include <algorithm> #include <initializer_list> #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 << "所有滑动窗口的宽度:\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 滑动视图 [range.slide]
参见
由被适配视图相邻元素的引用元组组成的
view
(类模板) (范围适配器对象) |
|
|
(C++23)
|
由另一个
view
元素组成的
N
大小非重叠连续块构成的
view
s
范围
(类模板) (范围适配器对象) |