std::ranges::subrange

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

范围库

范围访问
begin cbegin end cend	rbegin crbegin rend crend	size ssize data cdata	empty
范围转换
std::from_range_t std::from_range (C++23)(C++23)	to (C++23)
范围原语
range_size_trange_difference_trange_value_trange_reference_t	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)	elements_of (C++23)
悬垂迭代器处理
dangling	borrowed_iterator_t	borrowed_subrange_t
范围概念
range borrowed_range sized_range constant_range (C++23)	common_range view viewable_range	input_range output_range forward_range	bidirectional_range random_access_range contiguous_range
视图
view_interface	subrange
范围工厂
empty_viewviews::empty single_viewviews::single	iota_viewviews::iota repeat_viewviews::repeat (C++23)(C++23)	basic_istream_viewviews::istream
范围适配器
views::all_tviews::all ref_view owning_view as_rvalue_viewviews::as_rvalue (C++23)(C++23) filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while concat_viewviews::concat (C++26)(C++26)	drop_viewviews::drop drop_while_viewviews::drop_while join_viewviews::join join_with_viewviews::join_with (C++23)(C++23) lazy_split_viewviews::lazy_split split_viewviews::split views::counted common_viewviews::common	reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)
范围生成器
std::generator (C++23)
范围适配器对象
范围适配器闭包对象
range_adaptor_closure (C++23)
辅助项
copyable-box movable-box (C++23 前)(C++23)	simple-view non-propagating-cache

 

std::ranges::subrange

成员函数

subrange::subrange

subrange::operator PairLike

观察器

subrange::begin

subrange::end

subrange::empty

subrange::size

迭代器操作

subrange::advance

subrange::next

subrange::prev

推导指引

非成员函数

get(std::ranges::subrange)

辅助类型

subrange_kind

tuple_size<std::ranges::subrange>

tuple_element<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 时，需要存储大小记录。

成员函数

(构造函数)	创建新的 subrange (公开成员函数)
operator PairLike	将 subrange 转换到 pair-like 类型 (公开成员函数)
观察器
begin	获得迭代器 (公开成员函数)
end	获得哨位 (公开成员函数)
empty	检查 subrange 是否为空 (公开成员函数)
size	获得 subrange 的大小 (公开成员函数)
迭代器操作
advance	以给定距离推进迭代器 (公开成员函数)
prev	获得 subrange 的副本并以给定距离减少其迭代器 (公开成员函数)
next	获得 subrange 的副本并以给定距离推进其迭代器 (公开成员函数)
继承自 std::ranges::view_interface
cbegin (C++23)	返回指向范围起始的常量迭代器。 (std::ranges::view_interface<D> 的公开成员函数)
cend (C++23)	返回对应于范围常量迭代器的哨位。 (std::ranges::view_interface<D> 的公开成员函数)
operator bool	返回派生视图是否为非空。仅当 ranges::empty 可应用于它时提供。 (std::ranges::view_interface<D> 的公开成员函数)
data	返回派生视图的数据的地址。若视图的迭代器类型满足 contiguous_iterator 则提供。 (std::ranges::view_interface<D> 的公开成员函数)
front	返回派生视图中的首元素。仅当视图满足 forward_range 时提供。 (std::ranges::view_interface<D> 的公开成员函数)
back	返回派生视图中的末元素。仅当视图满足 bidirectional_range 与 common_range 时提供。 (std::ranges::view_interface<D> 的公开成员函数)
operator[]	返回派生视图中的第 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 > constexpr bool ranges::enable_borrowed_range<ranges::subrange<I, S, K>> = true;		(C++20 起)

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

示例

运行此代码

#include <map>
#include <print>
#include <ranges>
 
void make_uppercase(char& v)
{
    v += 'A' - 'a';
}
 
void uppercase_transform(std::multimap<int, char>& m, int k)
{
    auto [first, last] = m.equal_range(k);
    for (auto& [_, v] : std::ranges::subrange(first, last))
        make_uppercase(v);
}
 
int main()
{
    std::multimap<int, char> mm{{4, 'a'}, {3, '-'}, {4, 'b'}, {5, '-'}, {4, 'c'}};
    std::println("前: {}", mm);
    uppercase_transform(mm, 4);
    std::println("后: {}", mm);
}

输出：

前: {3: '-', 4: 'a', 4: 'b', 4: 'c', 5: '-'}
后: {3: '-', 4: 'A', 4: 'B', 4: 'C', 5: '-'}

参阅

ranges::view_interface (C++20)

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

外部链接

Read/write all values of a std::multimap with a given key in C++20 — SO