Namespaces
Variants

    std::ranges::views::chunk_by, std::ranges::chunk_by_view

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    std::ranges::chunk_by_view
     
    定义于头文件<ranges> 
    template< ranges::forward_range V, std::indirect_binary_predicate<iterator_t<V>,
          ranges::iterator_t<V>> Pred >
    requires ranges::view<V> && std::is_object_v<Pred>
class chunk_by_view
    : public ranges::view_interface<chunk_by_view<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 */
constexpr ranges::view auto chunk_by( R&& r, Pred&& pred );
    		(自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，并且如果被适配的view类型建模了相应的概念，则建模bidirectional_range和/或common_range。 chunk_by_view从不建模borrowed_range或sized_range。

    数据成员

    成员 定义
    V base_ 底层 view
    ( 仅用于说明的成员对象* )
    movable-box <Pred> pred_ 包装用于分割 base_ 元素谓词的对象
    ( 仅用于说明的成员对象* )
    non-propagating-cache <iterator> begin_ 缓存指向首个元素的迭代器的对象
    ( 仅用于说明的成员对象* )

    成员函数

    		构造一个 chunk_by_view
    (公开成员函数)
    		返回底层（适配的）视图的副本
    (公开成员函数)
    		返回存储的谓词的引用
    (公开成员函数)
    		返回指向起始位置的迭代器
    (公开成员函数)
    		返回指向结束位置的迭代器或哨兵
    (公开成员函数)
    		返回指向下一个子范围起始位置的迭代器
    ( (仅用于说明的成员函数*) )
    		返回指向上一个子范围起始位置的迭代器
    ( (仅用于说明的成员函数*) )
    继承自 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 对象可能产生不符合预期的行为。

    功能测试 宏 值 标准 功能
    __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 按视图分块 [range.chunk.by]

    参见

    (C++23)
    		由另一个 view 的元素组成的、大小为 N 的非重叠连续块构成的 view 范围
    (类模板) (范围适配器对象)
    (C++23)
    		其第M个元素是另一个 view 中第M到第(M + N - 1)个元素的 view
    (类模板) (范围适配器对象)
    (C++23)
    		由另一个 view 的元素组成、每次前进N个元素的 view
    (类模板) (范围适配器对象)