std::ranges::subrange

定义于头文件 `<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> 为 false 且 K 为 subrange_kind::sized 才需要存储大小记录。

成员函数

(构造函数) (C++20)	创建新的 `subrange` (公开成员函数)
operator PairLike (C++20)	转换 `subrange` 为 pair 式类型 (公开成员函数)
观察器
begin (C++20)	获得迭代器 (公开成员函数)
end (C++20)	获得哨位 (公开成员函数)
empty (C++20)	检查 `subrange` 是否为空 (公开成员函数)
size (C++20)	获得 `subrange` 的大小 (公开成员函数)
迭代器操作
advance (C++20)	以给定距离前进迭代器 (公开成员函数)
prev (C++20)	以给定距离减少迭代器并返回原 `subrange` (公开成员函数)
next (C++20)	以给定距离前进迭代器并返回原 `subrange` (公开成员函数)
继承自 std::ranges::view_interface
operator bool (C++20)	返回派生视图是否为非空。若 ranges::empty 可应用于它则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
data (C++20)	返回派生视图的数据的地址。若视图的迭代器类型满足 `contiguous_iterator` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
front (C++20)	返回派生视图中的首元素。若视图满足 `forward_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
back (C++20)	返回派生视图中的末元素。若视图满足 `bidirectional_range` 与 `common_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
operator[] (C++20)	返回派生视图中的第 n 个元素。若视图满足 `random_access_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)

推导指引

非成员函数

get(std::ranges::subrange)

(C++20)

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

辅助类型

ranges::subrange_kind (C++20)	指定 std::ranges::subrange 是否实现 std::ranges::sized_range (枚举)
std::tuple_size<std::ranges::subrange> (C++20)	获得 std::ranges::subrange 的组分数量 (类模板特化)
std::tuple_element<std::ranges::subrange> (C++20)	获得 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,'-'} }

参阅

ranges::view_interface