Namespaces
Variants

    std::ranges::views::reverse, std::ranges::reverse_view

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    定义于头文件 <ranges> 
    template< ranges::view V >
    requires ranges::bidirectional_range<V>
class reverse_view
    : public ranges::view_interface<reverse_view<V>>
    		(1) (C++20 起) 
    namespace views {
    inline constexpr /* unspecified */ reverse = /* unspecified */;
}
    		(2) (C++20 起)
    调用签名
    		 
    template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto reverse( R&& r );
    		(C++20 起)
    1) 一种范围适配器，表示底层 view 的顺序反转后的视图。
    2) RangeAdaptorObject。表达式 views::reverse(e) 与以下表达式之一表达式等价，但 e 仅求值一次：
    • e.base()，如果 e 的类型是（可能有 cv 限定符的）reverse_view 的特化；
    • 否则，如果 e 的类型是（可能有 cv 限定符的）ranges::subrange<std::reverse_iterator<I>, std::reverse_iterator<I>, K>，其中迭代器类型为 I，且值 K 的类型为 ranges::subrange_kind：
    • ranges::subrange<I, I, K>(e.end().base(), e.begin().base(), e.size())，如果 K 是 ranges::subrange_kind::sized；
    • 否则 ranges::subrange<I, I, K>(e.end().base(), e.begin().base())；
    • 否则 ranges::reverse_view{e}。
    换句话说，views::reverse 会在可能的情况下解开反转视图。

    一个 reverse_view 始终符合 bidirectional_range 和 common_range，并且如果底层视图类型 符合相应的概念，则它符合 borrowed_range、sized_range 或 random_access_rangeV。

    数据成员

    成员 描述
    V base_ (私有) 底层视图
    ( 仅用于说明的成员对象* )
    non-propagating-cache < ranges:: iterator_t < V >> cached_end_ (私有)
    (仅当 V 不满足 common_range 时存在)     		用于缓存对 begin() 调用结果的对象
    ( 仅用于说明的成员对象* )

    成员函数

    		构造一个 reverse_view
    (公开成员函数)
    		返回底层视图 V
    (公开成员函数)
    		返回 reverse_view 的起始迭代器
    (公开成员函数)
    		返回 reverse_view 的结束迭代器
    (公开成员函数)
    		在视图有界时返回其大小
    (公开成员函数)
    (C++26)
    		返回底层 approximately_sized_range 的近似大小
    (公开成员函数)
    继承自 ranges::view_interface
    		返回派生视图是否为空，仅当该视图满足 sized_range 或 forward_range
    时提供（std::ranges::view_interface<D> 的公开成员函数）
    (C++23)
    		 返回指向范围起始的常量迭代器
    （std::ranges::view_interface<D> 的公开成员函数）
    (C++23)
    		 返回指向范围常量迭代器的哨位
    （std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图是否非空，仅当 ranges::empty 可应用于该视图时提供
    （std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中的首个元素，当该视图满足 forward_range
    时提供（std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中的最后一个元素，仅当该视图满足 bidirectional_range 和 common_range
    时提供（std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中第 n个 元素，仅当该视图满足 random_access_range
    时提供（std::ranges::view_interface<D> 的公开成员函数）

    std::ranges::reverse_view:: reverse_view

    reverse_view ( ) requires std:: default_initializable < V > = default ;
    		(1) (since C++20)
    constexpr reverse_view ( V r ) ;
    		(2) (since C++20)
    1) 通过默认成员初始化器（ = V ( ) ）值初始化 base_ 。
    2) 使用 std :: move ( r ) 初始化 base_ 。

    参数

    r - 要反转的范围

    std::ranges::reverse_view:: base

    constexpr V base ( ) const & requires std:: copy_constructible < V > ;
    		(1) (since C++20)
    constexpr V base ( ) && ;
    		(2) (since C++20)

    返回底层视图。

    1) 通过复制构造从底层视图返回结果。等价于 return base_  ; 。
    2) 通过移动构造从底层视图返回结果。等价于 return std :: move ( base_  ) ; 。

    std::ranges::reverse_view:: begin

    constexpr std:: reverse_iterator < ranges:: iterator_t < V >> begin ( ) ;
    		(1) (since C++20)
    (2) (since C++20)
    constexpr auto begin ( ) const requires ranges:: common_range < const V > ;
    		(3) (since C++20)
    1) 返回 std:: make_reverse_iterator ( ranges:: next ( ranges:: begin ( base_  ) ,
    ranges:: end ( base_  ) ) )     。
    为满足 range 概念所要求的均摊常数时间复杂度，此函数会在缓存对象中缓存结果以供后续调用使用。
    2,3) 等价于 return std:: make_reverse_iterator ( ranges:: end ( base_  ) ) ; 。

    std::ranges::reverse_view:: end

    (1) (since C++20)
    constexpr auto end ( ) const requires ranges:: common_range < const V > ;
    		(2) (since C++20)

    等价于 return std:: make_reverse_iterator ( ranges:: begin ( base_  ) ) ; 。

    std::ranges::reverse_view:: size

    constexpr auto size ( ) requires ranges:: sized_range < V > ;
    		(1) (since C++20)
    constexpr auto size ( ) const requires ranges:: sized_range < const V > ;
    		(2) (since C++20)

    当视图为有界范围时返回其大小。等价于 return ranges:: size ( base_  ) ; 。

    std::ranges::as_rvalue_view:: reserve_hint

    constexpr auto reserve_hint ( )
    requires ranges :: approximately_sized_range < V > ;
    		(1) (since C++26)
    constexpr auto reserve_hint ( ) const
    requires ranges :: approximately_sized_range < const V > ;
    		(2) (since C++26)

    返回 ranges :: reserve_hint ( base_  ) 。

    推导指引

    template < class R >
    reverse_view ( R && ) - > reverse_view < views:: all_t < R >> ;
    		(C++20 起)

    辅助模板

    template < class T >

    constexpr bool enable_borrowed_range < std :: ranges :: reverse_view < T >> =

    ranges:: enable_borrowed_range < T > ;
    		(C++20 起)

    对 std::ranges::enable_borrowed_range 的此特化使得 reverse_view 在底层视图满足 borrowed_range 时同样满足该概念。

    注释

    功能测试 宏 值 标准 功能
    __cpp_lib_ranges_reserve_hint 202502L (C++26) ranges::approximately_sized_range 和 reserve_hint

    示例

    运行此代码 
    #include <iostream>
#include <ranges>
int main()
{
    static constexpr auto il = {3, 1, 4, 1, 5, 9};
    std::ranges::reverse_view rv{il};
    for (int i : rv)
        std::cout << i << ' ';
    std::cout << '\n';
    for (int i : il | std::views::reverse)
        std::cout << i << ' ';
    std::cout << '\n';
    // operator[] 继承自 std::view_interface
    for (auto i{0U}; i != rv.size(); ++i)
        std::cout << rv[i] << ' ';
    std::cout << '\n';
}

    输出： 

    9 5 1 4 1 3
9 5 1 4 1 3
9 5 1 4 1 3

    缺陷报告

    下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

    缺陷报告 应用于 发布时的行为 正确行为
    LWG 3494 C++20 reverse_view 从来不是 borrowed_range 当底层视图是 borrowed_range 时，它也是 borrowed_range

    参见

    		用于反向遍历的迭代器适配器
    (类模板)
    (C++20)
    		反转范围中元素的顺序
    (算法函数对象)
    (C++20)
    		创建反转范围的副本
    (算法函数对象)