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

来自cppreference.com
 
C++
 
范围库
范围适配器
 
std::ranges::stride_view
成员函数
(C++26)
推导指引
迭代器
成员函数
非成员函数
 
<tbody> </tbody>
在标头 <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) ，给定子表达式 e 和 n，views::stride(e, n)表达式等价于 stride_view(e, n)。
n 必须大于 0，否则其行为未定义。
See More

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

数据成员

成员 说明
V base_ 底层视图
(仅用于阐述的成员对象*)
ranges::range_difference_t<V> stride_ 大小对象（“步长”）
(仅用于阐述的成员对象*)

成员函数

 构造 stride_view
(公开成员函数) [编辑]
(C++23)
 返回存储的步长值
(公开成员函数)
返回底层（适配的）视图的副本
(公开成员函数) [编辑]
返回指向起始的迭代器
(公开成员函数) [编辑]
返回 指向末尾的迭代器或哨位
(公开成员函数) [编辑]
返回元素数，仅当底层（适配的）范围满足 sized_range 时才提供
(公开成员函数) [编辑]
(C++26)
 返回结果 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> 的公开成员函数) [编辑]

推导指引

嵌套类

(C++23)
 迭代器类型
(仅用于阐述的成员类模板*)

辅助模板

<tbody> </tbody>
template< class V > constexpr bool ranges::enable_borrowed_range<stride_view<V>> = ranges::enable_borrowed_range<V>;
 (C++23 起)

ranges::enable_borrowed_range 的特化使得底层视图满足 borrowed_range 时 stride_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]

参阅

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