# std::ranges::subrange

< cpp‎ | ranges

定义于头文件 `<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 (C++20) | 用于定义 `view` 的辅助类模板，使用奇异递归模板模式 (类模板)