std::ranges::views::chunk_by,std::ranges::chunk_by_view
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< ranges::forward_range V, std::indirect_binary_predicate<iterator_t<V>, ranges::iterator_t<V>> Pred > |
(1) | (自 C++23 起) |
namespace views { inline constexpr /* unspecified */ chunk_by = /* unspecified */ ; |
(2) | (自 C++23 起) |
调用签名 |
||
template< ranges::viewable_range R, class Pred > requires /* see below */ |
(自 C++23 起) | |
template< class Pred > constexpr /*range adaptor closure*/ chunk_by( Pred&& pred ); |
(自 C++23 起) | |
1)
chunk_by_view
是一个范围适配器,它接受一个 view
和一个可调用对象 pred(二元谓词),并生成一个 view
的子范围(块),通过在每个 pred 返回 false 的相邻元素对之间拆分底层视图。此类对的第一个元素属于前一个块,而第二个元素属于下一个块。2) 名称 views::chunk_by 表示一个 RangeAdaptorObject。给定一个子表达式 e 和 f,表达式 views::chunk_by(e, f) 与 chunk_by_view(e, f) 表达式等价。
chunk_by_view
始终模拟 forward_range
,并且模拟 bidirectional_range
和/或 common_range
,如果适应的 view
类型模拟了相应的概念。chunk_by_view
从未模拟 borrowed_range
或 sized_range
。
内容 |
[编辑] 数据成员
成员 | 定义 |
V base_ |
底层 view ((仅作说明,实现不需要以这种方式定义实体。该实体的名称未指定。)) |
movable-box<Pred> pred_ |
一个包装用于拆分 base_ 元素的谓词的对象((仅作说明,实现不需要以这种方式定义实体。该实体的名称未指定。)) |
non-propagating-cache <iterator> begin_ |
一个缓存第一个元素迭代器的对象 ((仅作说明,实现不需要以这种方式定义实体。该实体的名称未指定。)) |
[编辑] 成员函数
构造一个 chunk_by_view (公有成员函数) | |
返回底层(适配的)视图的副本 (公有成员函数) | |
返回对存储的谓词的引用 (公有成员函数) | |
返回指向开头的迭代器 (公有成员函数) | |
返回指向结尾的迭代器或哨兵 (公有成员函数) | |
返回指向下一个子范围开头的迭代器 (仅供说明的成员函数*) | |
返回指向先前子范围开头的迭代器 (仅供说明的成员函数*) | |
继承自 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> 的公有成员函数) |
[编辑] 推导指南
[编辑] 嵌套类
迭代器类型 (仅供说明的成员类模板*) |
[编辑] 备注
为了提供 range
概念所需的摊销常数时间复杂度,begin()
的结果会在 chunk_by_view
对象中缓存。如果底层范围在第一次调用 begin()
后被修改,则随后对 chunk_by_view
对象的使用可能会产生不直观的行为。
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_ranges_chunk_by |
202202L | (C++23) | std::ranges::chunk_by_view
|
[编辑] 示例
运行此代码
#include <functional> #include <iostream> #include <ranges> #include <string_view> void print_chunks(auto view, std::string_view separator = ", ") { for (auto const subrange : view) { std::cout << '['; for (std::string_view prefix; auto const& elem : subrange) std::cout << prefix << elem, prefix = separator; std::cout << "] "; } std::cout << '\n'; } int main() { std::initializer_list v1 = {1, 2, 3, 1, 2, 3, 3, 3, 1, 2, 3}; auto fn1 = std::ranges::less{}; auto view1 = v1 | std::views::chunk_by(fn1); print_chunks(view1); std::initializer_list v2 = {1, 2, 3, 4, 4, 0, 2, 3, 3, 3, 2, 1}; auto fn2 = std::ranges::not_equal_to{}; auto view2 = v2 | std::views::chunk_by(fn2); print_chunks(view2); std::string_view v3 = "__cpp_lib_ranges_chunk_by"; auto fn3 = [](auto x, auto y) { return not(x == '_' or y == '_'); }; auto view3 = v3 | std::views::chunk_by(fn3); print_chunks(view3, ""); std::string_view v4 = "\u007a\u00df\u6c34\u{1f34c}"; // "zß水🍌" auto fn4 = [](auto, auto ß) { return 128 == ((128 + 64) & ß); }; auto view4 = v4 | std::views::chunk_by(fn4); print_chunks(view4, ""); }
输出
[1, 2, 3] [1, 2, 3] [3] [3] [1, 2, 3] [1, 2, 3, 4] [4, 0, 2, 3] [3] [3, 2, 1] [_] [_] [cpp] [_] [lib] [_] [ranges] [_] [chunk] [_] [by] [z] [ß] [水] [🍌]
[编辑] 参考文献
- C++23 标准(ISO/IEC 14882:2024)
- 26.7.30 Chunk by view [range.chunk.by]
[编辑] 参见
一个 view 的范围,这些 view 是另一个 view 的元素的 N 大小、不重叠的连续块(类模板) (范围适配器对象) | |
一个 view ,其第 M 个元素是另一个 view 的第 M 个到 (M + N - 1) 个元素上的 view (类模板) (范围适配器对象) | |
一个 view ,它由另一个 view 的元素组成,每次前进 N 个元素(类模板) (范围适配器对象) |