命名空间
变体
操作

std::ranges::views::slide, std::ranges::slide_view

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
 
在头文件 <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) (仅供说明*)
1) slide_view 是一个范围适配器,它接受一个 view 和一个数字 n,并生成一个视图,其 mth 元素(一个“窗口”)是原始视图中 mth(m + n - 1)th 元素的视图。
s 为原始视图的大小。那么生成的视图的大小为
  • s - n + 1,如果 s >= n
  • 0 否则,生成的视图为空。
2) 名称 views::slide 表示一个 RangeAdaptorObject。给定子表达式 en,表达式 views::slide(e, n)slide_view(e, n) 表达式等价

如果 n 不大于 0,则行为未定义。

slide_view 始终模拟 forward_range,如果适配的 view 类型模拟了相应的概念,则它也模拟 bidirectional_rangerandom_access_rangesized_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_rangeforward_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_rangecommon_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>> =

    ranges::enable_borrowed_range<V>;
(自 C++23 起)

ranges::enable_borrowed_range 的特化使 slide_view 当底层视图满足时满足 borrowed_range

[编辑] 注释

ranges::adjacent_viewranges::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 大小的非重叠连续块
(类模板) (范围适配器对象)[编辑]