◐ Shell
clean mode source ↗

std::ranges::views::slide, std::ranges::slide_view - cppreference.com

来自cppreference.com

在标头 <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 /* 未指明 */ 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*/ =
    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 并产生新视图的范围适配器。其生成的视图的 第 m 个元素（“窗口”）为原视图中 [m, m + n - 1] 元素的视图。

令 s 为原视图的大小，其生成的视图大小为：

  • 如果 s >= n，则为 s - n + 1。
  • 否则为 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 时才提供
(公开成员函数) [编辑]
返回结果 approximately_sized_range 的估计大小
(公开成员函数) [编辑]
继承自 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> 的公开成员函数) [编辑]

推导指引

嵌套类

辅助模板

template< class V >
constexpr bool ranges::enable_borrowed_range<slide_view<V>> =
    ranges::enable_borrowed_range<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 <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 << "所有宽度 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]

参阅