std::ranges::views::chunk, std::ranges::chunk_view
定义在头文件 <ranges> 中 |
||
template< ranges::view V > requires ranges::input_range<V> |
(1) | (自 C++23 起) |
template< ranges::view V > requires ranges::forward_range<V> |
(2) | (自 C++23 起) |
namespace views { inline constexpr /* unspecified */ chunk = /* unspecified */; |
(3) | (自 C++23 起) |
调用签名 |
||
template< ranges::viewable_range R > constexpr ranges::view auto chunk( R&& r, ranges::range_difference_t<R> n ); |
(自 C++23 起) | |
template< class DifferenceType > constexpr /*range adaptor closure*/ chunk( DifferenceType&& n ); |
(自 C++23 起) | |
辅助模板 |
||
template< class I > constexpr I /*div-ceil*/( I num, I denom ); |
(4) | (仅供说明*) |
chunk_view
接受一个 view
和一个数字 n 并生成一个范围的视图(块),使得每个块(可能除了最后一个)都具有大小 n
。这些块是非重叠的,原始视图元素的连续子范围,按顺序排列。
令 s
为原始视图的大小。如果 s
不是 n 的倍数,则生成的最后一个视图的大小恰好为 s % n(余数)。否则,每个块的大小(包括最后一个)都为 n。
生成的视图的大小为 /*div-ceil*/(s)。
如果 n 不大于 0,则行为未定义。
V
建模为forward_range
或更强的部分特化。如果底层视图V
为 forward_range
、common_range
以及 sized_range
或非 bidirectional_range
,则建模为 common_range
。I r = num / denom; if (num % denom) ++r; return r;
内容 |
[编辑] 数据成员
成员对象 | 定义 |
base_ (私有) |
类型为 V 的底层view 。(仅说明用途的成员对象*) |
n_ (私有) |
类型为 ranges::range_difference_t<V> 的“块大小”。 (仅说明用途的成员对象*) |
如果
| |
remainder_ (私有)(条件存在) |
类型为 ranges::range_difference_t<V> 的当前块中剩余元素的数量。 (仅说明用途的成员对象*) |
current_ (私有)(条件存在) |
类型为 /*non-propagating-cache*/<ranges::iterator_t<V>> 的 类似可选 对象,缓存当前底层迭代器。 (仅说明用途的成员对象*) |
[编辑] 成员函数
构造 chunk_view (公有成员函数) | |
返回底层(自适应)视图的副本 (公有成员函数) | |
返回指向开头的迭代器 (公有成员函数) | |
返回指向结尾的迭代器或哨兵 (公有成员函数) | |
返回元素数量。仅在底层(自适应)范围满足 sized_range 时提供。(公有成员函数) | |
从 std::ranges::view_interface 继承 | |
返回派生视图是否为空。如果它满足 sized_range 或 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) |
当 V 建模为 input_range (1) 时的输出(“块式”)迭代器类型(仅说明用途的成员类模板*) |
(C++23) |
当 V 建模为 input_range (1) 时的内部(“元素式”)迭代器类型(仅说明用途的成员类模板*) |
(C++23) |
当 V 建模为 forward_range (2) 时的迭代器类型(仅说明用途的成员类模板*) |
[编辑] 辅助模板
template< class V > constexpr bool ranges::enable_borrowed_range<chunk_view<V>> = |
(自 C++23 起) | |
当底层视图 V
同时满足 forward_range
和 borrowed_range
时,ranges::enable_borrowed_range 的此特化使 chunk_view
满足 borrowed_range
。
[编辑] 注释
如果 V
建模为 input_range
(1),则 chunk_view
的迭代器具有专用类型:outer_iterator::value_type
,它本身是一个输入视图。
如果 V
建模为 forward_range
或更强 (2),则 chunk_view
将其 value_type
委派给 views::take。
如果 V
模型 双向范围
或更强的范围 (2),则需要从末尾 迭代器 正确计算最后一块的大小,需要底层范围类型 V
为 大小范围
。
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_ranges_chunk |
202202L | (C++23) | std::ranges::chunk_view
|
[编辑] 示例
#include <algorithm> #include <iostream> #include <ranges> auto print_subrange = [](std::ranges::viewable_range auto&& r) { std::cout << '['; for (int pos{}; auto elem : r) std::cout << (pos++ ? " " : "") << elem; std::cout << "] "; }; int main() { const auto v = {1, 2, 3, 4, 5, 6}; for (const unsigned width : std::views::iota(1U, 2U + v.size())) { auto const chunks = v | std::views::chunk(width); std::cout << "chunk(" << width << "): "; std::ranges::for_each(chunks, print_subrange); std::cout << '\n'; } }
输出
chunk(1): [1] [2] [3] [4] [5] [6] chunk(2): [1 2] [3 4] [5 6] chunk(3): [1 2 3] [4 5 6] chunk(4): [1 2 3 4] [5 6] chunk(5): [1 2 3 4 5] [6] chunk(6): [1 2 3 4 5 6] chunk(7): [1 2 3 4 5 6]
[编辑] 参考文献
- C++23 标准 (ISO/IEC 14882:2024)
- 26.7.28 块视图 [range.chunk]
[编辑] 另请参阅
将 视图 分割成每个相邻元素对之间的子范围,对于这些元素对,给定谓词返回 false(类模板) (范围适配器对象) | |
一个 视图 ,它由对自适应视图中相邻元素的引用的元组组成(类模板) (范围适配器对象) | |
一个 视图 ,其第 M 个元素是另一个 视图 上的 视图 ,该视图涵盖从第 M 个到 (M + N - 1) 个元素(类模板) (范围适配器对象) |