std::ranges::views::chunk, std::ranges::chunk_view

来自cppreference.com
 
C++
 
范围库
范围适配器
 
std::ranges::chunk_view
成员函数
(C++26)
用于 input_range 的类
推导指引
outer-iterator
outer-iterator::value_type
inner-iterator
 
<tbody> </tbody>
在标头 <ranges> 定义
template< ranges::view V > requires ranges::input_range<V> class chunk_view : public ranges::view_interface<chunk_view<V>>
 (1) (C++23 起)
template< ranges::view V > requires ranges::forward_range<V> class chunk_view<V> : public ranges::view_interface<chunk_view<V>>
 (2) (C++23 起)
namespace views { inline constexpr /* 未指明 */ chunk = /* 未指明 */; }
 (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) (仅用于阐述*)
See More

chunk_view 接收单个视图 view 与数值 n 并基于原视图产生一系列视图（区块 ），除了最后一个区块，每个区块 的大小都为 n。这些区块是原视图元素按顺序排列的，非重叠，连续的子范围。

令 s 为原视图的大小，如果 s 不是 n 的倍数，则最后一个生成的视图（最后区块）大小正好为 s % n（余数）。否则，包括最后一个的每个区块 大小都为 n。

生成视图的大小为 /*div-ceil*/(s)。

如果 n 不大于 0 则其行为未定义。

1) 支持仅实现了 input_range 的底层视图 V 的实现。
2) 支持实现了 forward_range 或更强的底层视图 V 的部分特化。仅当底层视图 V 实现 forward_range、common_range、sized_range 或非 bidirectional_range 时实现 common_range。
3) views::chunk 指代一个 范围适配器对象 (RangeAdaptorObject) 。给定子表达式 e 和 n， views::chunk(e, n) 表达式等价于 chunk_view(e, n)。
4) 计算大于等于 num 除以 denom 的商的最小整数值，等价于： 
I r = num / denom;
if (num % denom)
    ++r;
return r;

数据成员

成员 说明
V base_ 底层视图
(仅用于阐述的成员对象*)
ranges::range_difference_t<V> n_ “区块大小”
(仅用于阐述的成员对象*)
如果 V 严格仅实现了 input_range (1)
ranges::range_difference_t<V> remainder_
(有条件提供) 		当前“区块”中剩余元素的数量
(仅用于阐述的成员对象*)
non-propagating-cache<ranges::iterator_t<V>> current_
(有条件提供) 		缓存当前底层迭代器的对象
(仅用于阐述的成员对象*)

成员函数

 构造 chunk_view
(公开成员函数) [编辑]
返回底层（适配的）视图的副本
(公开成员函数) [编辑]
返回指向起始的迭代器
(公开成员函数) [编辑]
返回 指向末尾的迭代器或哨位
(公开成员函数) [编辑]
返回元素数，仅当底层（适配的）范围满足 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)
 当 V 实现 input_range (1) 时的输出（“逐区块的”）迭代器类型
(仅用于阐述的成员类*)
(C++23)
 当 V 实现 input_range (1) 时的内部（“逐元素的”）迭代器类型
(仅用于阐述的成员类*)
(C++23)
 当 V 实现 forward_range (2) 时的迭代器类型
(仅用于阐述的成员类模板*)

辅助模板

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

ranges::enable_borrowed_range 的这项特化使得当底层视图 V 同时满足 forward_range 和 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 实现 bidirectional_range 或更强的范围 (2)，那么由于需要正确计算最后一个块的大小（从尾迭代器开始），因此底层范围类型 V 必须为 sized_range。

功能特性测试宏 值 标准 功能特性
__cpp_lib_ranges_chunk 202202L (C++23) std::ranges::chunk_view

示例

运行此代码
#include <algorithm>
#include <initializer_list>
#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 Chunk view [range.chunk]

参阅

(C++23)
 在给定谓词返回 false 的每一对相邻元素处，将 view 切分为子范围
(类模板) (范围适配器对象) [编辑]
(C++23)
 由到被适配视图的相邻元素的引用的元组组成的 view
(类模板) (范围适配器对象) [编辑]
(C++23)
 第 M 个元素是另一 view 从第 M 到第 (M + N - 1) 个元素的 view 构成的 view
(类模板) (范围适配器对象) [编辑]