Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
定义于头文件 <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 /* 未指定 */ reverse = /* 未指定 */ ;

}
(2) (C++20 起)
调用签名
template < ranges:: viewable_range R >

requires /* 见下文 */

constexpr ranges:: view auto reverse ( R && r ) ;
(C++20 起)
1) 一个范围适配器，用于表示底层 view 逆序排列的视图。
2) RangeAdaptorObject 。表达式 views :: reverse ( e ) 与下列表达式之一在表达式层面等价，不同之处在于 e 仅被求值一次：
  • 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 ，并且当底层视图类型 V 建模相应概念时，它也会建模 borrowed_range 、 sized_range 或 random_access_range 。

目录

数据成员

成员 描述
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 的近似大小
(公开成员函数)
继承自 std::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)
创建反转范围的副本
(算法函数对象)