std::ranges::views::stride, std::ranges::stride_view

来自cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
 
在标头 <ranges> 定义
template< ranges::input_range V >

    requires ranges::view<V>
class stride_view

    : public ranges::view_interface<stride_view<V>>
(1) (C++23 起)
namespace views {

    inline constexpr /* 未指明 */ stride = /* 未指明 */;

}
(2) (C++23 起)
调用签名
template< ranges::viewable_range R >
constexpr ranges::view auto stride( R&& r, ranges::range_difference_t<R> n );
(C++23 起)
template< class DifferenceType >
constexpr /* 范围适配器闭包 */ stride( DifferenceType&& n );
(C++23 起)
辅助模板
1) stride_view 是接收单个视图 view 与数字 n 的范围适配器。其生成的视图由原视图每次前进 n 个元素组成。这意味着,对非负索引 i,生成视图的第 m 个元素为原视图第 (n * i) 个元素。原视图的元素的索引若不是 n 的倍数,不会出现在生成视图中。
S 为原视图的大小,那么生成视图的大小为:
  • 如果 S >= n;为 (S / n) + (S % n ? 1 : 0)
  • 如果 S > 0;为 1
  • 否则为 0,而生成的视图为空。
2) 名字 views::stride 代表一个范围适配器对象 (RangeAdaptorObject) ,给定子表达式 enviews::stride(e, n)表达式等价stride_view(e, n)
n 必须大于 0,否则其行为未定义。

stride_view 始终实现 input_range,如果被适配的 view 类型 V 实现 forward_rangebidirectional_rangerandom_access_range,和/或 sized_range,则它也实现对应概念。 只要底层视图 V 实现 common_range,则 stride_view<V> 也实现它。

数据成员

成员对象 定义
base_ (私有) V 类型的底层 view
(仅用于阐述的成员对象*)
stride_ (私有) ranges::range_difference_t<V> 类型的大小(“步长”)
(仅用于阐述的成员对象*)

成员函数

构造 stride_view
(公开成员函数)
(C++23)
返回存储的步长值
(公开成员函数)
返回底层(适配的)视图的副本
(公开成员函数)
返回指向起始的迭代器
(公开成员函数)
返回 指向末尾的迭代器或哨位
(公开成员函数)
返回元素数。仅当底层(适配的)范围满足 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)
迭代器类型
(仅用于阐述的成员类模板*)

辅助模板

template< class V >

constexpr bool ranges::enable_borrowed_range<stride_view<V>> =

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

ranges::enable_borrowed_range 的特化使得底层视图满足 borrowed_rangestride_view 同样满足。

注解

功能特性测试 标准 功能特性
__cpp_lib_ranges_stride 202207L (C++23) std::ranges::stride_view

示例

#include <algorithm>
#include <iostream>
#include <ranges>
#include <string_view>
using namespace std::literals;
 
void print(std::ranges::viewable_range auto&& v, std::string_view separator = " ")
{
    for (auto const& x : v)
        std::cout << x << separator;
    std::cout << '\n';
}
 
int main()
{
    print(std::views::iota(1, 13) | std::views::stride(3));
    print(std::views::iota(1, 13) | std::views::stride(3) | std::views::reverse);
    print(std::views::iota(1, 13) | std::views::reverse | std::views::stride(3));
 
    print("0x0!133713337*x//42/A$@"sv | std::views::stride(0B11) |
          std::views::transform([](char O) -> char { return 0100 | O; }),
          "");
}

输出:

1 4 7 10
10 7 4 1
12 9 6 3
password

引用

  • C++23 标准(ISO/IEC 14882:2024):
  • 26.7.31 Stride view [range.stride]

参阅

第 M 个元素是另一 view 从第 M 到第 (M + N - 1) 个元素的 view 构成的 view
(类模板) (范围适配器对象)
另一个视图元素的 N 大小不重叠的连续块组成的 view 的范围
(类模板) (范围适配器对象)
由到被适配视图的相邻元素的引用的元组组成的 view
(类模板) (范围适配器对象)
range 中满足某个谓词的元素构成的 view
(类模板) (范围适配器对象)