std::ranges::subrange

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

范围库

范围访问 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)

悬空迭代器处理 dangling borrowed_iterator_t borrowed_subrange_t

范围原语
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

范围概念
range borrowed_range    sized_range	common_range view viewable_range	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	constant_range (C++23)

视图
view_interface	subrange

范围工厂
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

范围适配器
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>>	(1)	(自 C++20)
辅助概念
template<class From, class To> concept /*uses-nonqualification-pointer-conversion*/ =     /* see description */;	(2)	(仅供展示*)
template<class From, class To> concept /*convertible-to-non-slicing*/ = /* see description */;	(3)	(仅供展示*)

1) subrange 类模板将迭代器和哨兵组合在一起，形成单个 view。只要最终模板参数为 subrange_kind​::​sized，它就模拟 sized_range （当 std::sized_sentinel_for<S, I> 满足或当 size 作为构造函数参数显式传递时）。

2) 确定 From 是否可转换为 To，不进行 限定转换。等效于

template<class From, class To>
concept /*uses-nonqualification-pointer-conversion*/ =
    std::is_pointer_v<From> && std::is_pointer_v<To> &&
        !std::convertible_to<std::remove_pointer_t<From>(*)[],
                             std::remove_pointer_t<To>(*)[]>;

3) 确定 From 是否可转换为 To，不进行派生类到基类转换

template<class From, class To>
concept /*convertible-to-non-slicing*/ =
    std::convertible_to<From, To> &&
        !/*uses-nonqualification-pointer-conversion*/
            <std::decay_t<From>, std::decay_t<To>>;

数据成员

成员	定义
constexpr bool StoreSize [static]	K == ranges::subrange_kind::sized &&     !std::sized_sentinel_for<S, I> (仅供展示的静态成员常量*)
I begin_	指向子范围开头的迭代器 (仅供展示的成员对象*)
S end_	表示子范围末尾的哨兵 (仅供展示的成员对象*)
make-unsigned-like-t <std::iter_difference_t<I>> size_ (仅当 StoreSize 为 true 时存在)	子范围的大小 (仅供展示的成员对象*)

成员函数

(构造函数)	创建一个新的 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("Before: {}", mm);
    uppercase_transform(mm, 4);
    std::println("After:  {}", mm);
}

输出

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

缺陷报告

以下更改行为的缺陷报告被追溯应用到之前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 3470	C++20	convertible-to-non-slicing 可能会拒绝限定转换	始终接受它们

另请参见

ranges::view_interface (C++20)

用于定义 view 的辅助类模板，使用 奇异递归模板模式 (类模板)

外部链接

在 C++20 中读取/写入具有给定键的 std::multimap 的所有值 — SO