std::ranges::subrange

来自cppreference.com
< cpp‎ | ranges
 
 
范围库
范围访问
范围转换器
(C++23)
范围原语



悬垂迭代器处理
范围概念
视图
subrange

范围工厂
适配器
范围生成器
范围适配器对象
范围适配器闭包对象
辅助项
 
std::ranges::subrange
成员函数
观察器
迭代器操作
推导指引
非成员函数
(C++20)
辅助类型
(C++20)
 
在标头 <ranges> 定义
template<

  std::input_or_output_iterator I,
  std::sentinel_for<I> S = I,
  ranges::subrange_kind K = std::sized_sentinel_for<S, I> ?
    ranges::subrange_kind::sized : ranges::subrange_kind::unsized
>
  requires (K == ranges::subrange_kind::sized || !std::sized_sentinel_for<S, I>)

class subrange : public ranges::view_interface<subrange<I, S, K>>
(C++20 起)

subrange 类模板组合一个迭代器与一个哨位到单个 view 中。

另外, subrange 凡在最后的模板形参为 subrange_kind​::​sized 时(在 sized_sentinel_for<S, I> 得到满足或显式传递大小为构造函数参数时发生)为 sized_range 。当且仅当 std::sized_sentinel_for<S, I>falseKsubrange_kind::sized 才需要存储大小记录。

成员函数

创建新的 subrange
(公开成员函数)
subrange 转换到 pair-like 类型
(公开成员函数)
观察器
(C++20)
获得迭代器
(公开成员函数)
(C++20)
获得哨位
(公开成员函数)
(C++20)
检查 subrange 是否为空
(公开成员函数)
(C++20)
获得 subrange 的大小
(公开成员函数)
迭代器操作
(C++20)
以给定距离前进迭代器
(公开成员函数)
(C++20)
以给定距离减少迭代器并返回原 subrange
(公开成员函数)
(C++20)
以给定距离前进迭代器并返回原 subrange
(公开成员函数)
继承自 std::ranges::view_interface
(C++23)
返回指向范围起始的常量迭代器。
(std::ranges::view_interface<D> 的公开成员函数)
(C++23)
返回对应于范围常量迭代器的哨位。
(std::ranges::view_interface<D> 的公开成员函数)
返回派生视图是否为非空。若 ranges::empty 可应用于它则提供。
(std::ranges::view_interface<D> 的公开成员函数)
(C++20)
返回派生视图的数据的地址。若视图的迭代器类型满足 contiguous_iterator 则提供。
(std::ranges::view_interface<D> 的公开成员函数)
(C++20)
返回派生视图中的首元素。若视图满足 forward_range 则提供。
(std::ranges::view_interface<D> 的公开成员函数)
(C++20)
返回派生视图中的末元素。若视图满足 bidirectional_rangecommon_range 则提供。
(std::ranges::view_interface<D> 的公开成员函数)
返回派生视图中的第 n 个元素。若视图满足 random_access_range 则提供。
(std::ranges::view_interface<D> 的公开成员函数)

推导指引

非成员函数

std::ranges::subrange 获得迭代器或哨位
(函数模板)

辅助类型

指定 std::ranges::subrange 是否实现 std::ranges::sized_range
(枚举)
获得 std::ranges::subrange 的组分数量
(类模板特化)
获得 std::ranges::subrange 的迭代器或哨位的类型
(类模板特化)

辅助模板

template<class I, class S, ranges::subrange_kind K>
inline constexpr bool enable_borrowed_range<ranges::subrange<I, S, K>> = true;

std::ranges::enable_borrowed_range 的此特化使得 subrange 满足 borrowed_range

示例

#include <iostream>
#include <map>
#include <ranges>
#include <string_view>
 
template<class V>
void mutate(V& v)
{
    v += 'A' - 'a';
}
 
template<class K, class V>
void mutate_map_values(std::multimap<K, V>& m, K k)
{
    auto [first, last] = m.equal_range(k);
    for (auto& [_, v] : std::ranges::subrange(first, last))
        mutate(v);
}
 
int main()
{
    auto print = [](std::string_view rem, auto const& mm)
    {
        std::cout << rem << "{ ";
        for (const auto& [k, v] : mm)
            std::cout << "{" << k << ",'" << v << "'} ";
        std::cout << "}\n";
    };
 
    std::multimap<int, char> mm{ {4,'a'}, {3,'-'}, {4,'b'}, {5,'-'}, {4,'c'} };
    print("Before: ", mm);
    mutate_map_values(mm, 4);
    print("After:  ", mm);
}

输出:

Before: { {3,'-'} {4,'a'} {4,'b'} {4,'c'} {5,'-'} }
After:  { {3,'-'} {4,'A'} {4,'B'} {4,'C'} {5,'-'} }

参阅

用于定义 view 的辅助类模板,使用奇特重现模板模式
(类模板)