std::ranges::views::stride, std::ranges::stride_view
来自cppreference.com
在标头 <ranges> 定义
|
||
template< ranges::input_range V > requires ranges::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,否则其行为未定义。stride_view
始终实现 input_range
,如果被适配的 view
类型 V 实现 forward_range
,bidirectional_range
,random_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_range 与 common_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>> = |
(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]
参阅
第 M 个元素是另一 view 从第 M 到第 (M + N - 1) 个元素的 view 构成的 view (类模板) (范围适配器对象) | |
另一个视图元素的 N 大小不重叠的连续块组成的 view 的范围 (类模板) (范围适配器对象) | |
由到被适配视图的相邻元素的引用的元组组成的 view (类模板) (范围适配器对象) | |
由 range 中满足某个谓词的元素构成的 view (类模板) (范围适配器对象) |