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 /* 未指明 */ 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,而生成的视图结果为空。
2) 名字 views::slide 代表一个范围适配器对象 (RangeAdaptorObject) 。给定子表达式 enviews::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 时出现)
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_rangecommon_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>> =

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

ranges::enable_borrowed_range 的特化使得底层视图满足 borrowed_range 时,slide_view 同样满足它。

注解

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 运行时实参
功能特性测试 标准 功能特性
__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 的范围
(类模板) (范围适配器对象)