std::ranges:: views:: slide, std::ranges:: slide_view
|
定义于头文件
<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 - n + 1 ,当 s >= n 时,
- 0 否则,此时生成的视图为空。
如果 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
的近似大小
(公开成员函数) |
继承自 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
个元素,仅当它满足
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
范围
(类模板) (范围适配器对象) |