命名空间
变体
操作

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

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
std::ranges::chunk_view
成员函数
用于 input_ranges 的类
推导指南
outer-iterator
outer-iterator::value_type
inner-iterator
 
定义在头文件 <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 /* 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,则行为未定义。

1) 支持底层视图V,该视图仅建模为input_range 的实现。
2) 支持底层视图V 建模为forward_range 或更强的部分特化。如果底层视图Vforward_rangecommon_range 以及 sized_range 或非 bidirectional_range,则建模为 common_range
3) 名称 views::chunk 表示 RangeAdaptorObject。给定子表达式 en,表达式 views::chunk(e, n)chunk_view(e, n) 表达式等价
4) 计算不小于将 num 除以 denom 的商的最小整数。等效于
I r = num / denom;
if (num % denom)
    ++r;
return r;

内容

[编辑] 数据成员

成员对象 定义
base_ (私有) 类型为 V 的底层view
(仅说明用途的成员对象*)
n_ (私有) 类型为 ranges::range_difference_t<V> 的“块大小”。
(仅说明用途的成员对象*)
如果 V 精确地建模为input_range (1)
remainder_ (私有)
(条件存在)
类型为 ranges::range_difference_t<V> 的当前块中剩余元素的数量。
(仅说明用途的成员对象*)
current_ (私有)
(条件存在)
类型为 /*non-propagating-cache*/<ranges::iterator_t<V>>类似可选 对象,缓存当前底层迭代器。
(仅说明用途的成员对象*)

[编辑] 成员函数

构造 chunk_view
(公有成员函数) [编辑]
返回底层(自适应)视图的副本
(公有成员函数) [编辑]
返回指向开头的迭代器
(公有成员函数) [编辑]
返回指向结尾的迭代器或哨兵
(公有成员函数) [编辑]
返回元素数量。仅在底层(自适应)范围满足 sized_range 时提供。
(公有成员函数) [编辑]
std::ranges::view_interface 继承
返回派生视图是否为空。如果它满足 sized_rangeforward_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_rangecommon_range,则提供。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]
返回派生视图中的第 n 个元素。如果它满足 random_access_range,则提供。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]

[编辑] 推导指南

[编辑] 嵌套类

V 建模为 input_range (1) 时的输出(“块式”)迭代器类型
(仅说明用途的成员类模板*)
V 建模为 input_range (1) 时的内部(“元素式”)迭代器类型
(仅说明用途的成员类模板*)
(C++23)
V 建模为 forward_range (2) 时的迭代器类型
(仅说明用途的成员类模板*)

[编辑] 辅助模板

template< class V >

constexpr bool ranges::enable_borrowed_range<chunk_view<V>> =

    ranges::forward_range<V> && ranges::enable_borrowed_range<V>;
(自 C++23 起)

当底层视图 V 同时满足 forward_rangeborrowed_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) 个元素
(类模板) (范围适配器对象)[编辑]