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 は一度だけ評価される：
  • 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 をモデルし、基となるビュー型 V が対応するコンセプトをモデルする場合、 borrowed_range 、 sized_range または random_access_range もモデルします。

目次

データメンバ

メンバー 説明
V base_ (private) 基となるビュー
( 説明専用メンバーオブジェクト* )
non-propagating-cache < ranges:: iterator_t < V >> cached_end_ (private)
(存在するのは V が common_range を満たさない場合のみ) 		begin() の呼び出し結果をキャッシュするオブジェクト
( 説明専用メンバーオブジェクト* )

メンバー関数

reverse_view を構築する
(public member function)
基になるビュー V を返す
(public member function)
reverse_view の先頭イテレータを返す
(public member function)
reverse_view の終端イテレータを返す
(public member function)
ビューが有界の場合、そのサイズを返す
(public member function)
(C++26)
基になる approximately_sized_range の近似サイズを返す
(public member function)
std::ranges::view_interface から継承
派生ビューが空かどうかを返す（ sized_range または forward_range を満たす場合のみ提供）
( std::ranges::view_interface<D> のpublic member function)
(C++23)
範囲の先頭を指す定数イテレータを返す
( std::ranges::view_interface<D> のpublic member function)
(C++23)
範囲の定数イテレータの番兵を返す
( std::ranges::view_interface<D> のpublic member function)
派生ビューが空でないかどうかを返す（ ranges::empty が適用可能な場合のみ提供）
( std::ranges::view_interface<D> のpublic member function)
派生ビューの最初の要素を返す（ forward_range を満たす場合に提供）
( std::ranges::view_interface<D> のpublic member function)
派生ビューの最後の要素を返す（ bidirectional_range かつ common_range を満たす場合のみ提供）
( std::ranges::view_interface<D> のpublic member function)
派生ビューの n 番目 の要素を返す（ random_access_range を満たす場合のみ提供）
( std::ranges::view_interface<D> のpublic member function)

std::ranges::reverse_view:: reverse_view

reverse_view ( ) requires std:: default_initializable < V > = default ;
(1) (C++20以降)
constexpr reverse_view ( V r ) ;
(2) (C++20以降)
1) デフォルトメンバ初期化子（ = V ( ) ）を通じて base_ を値初期化します。
2) base_ を std :: move ( r ) で初期化します。

パラメータ

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) (C++20以降)
(2) (C++20以降)
constexpr auto begin ( ) const requires ranges:: common_range < const V > ;
(3) (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) (C++20以降)
constexpr auto end ( ) const requires ranges:: common_range < const V > ;
(2) (C++20以降)

以下と等価: return std:: make_reverse_iterator ( ranges:: begin ( base_  ) ) ; .

std::ranges::reverse_view:: size

constexpr auto size ( ) requires ranges:: sized_range < V > ;
(1) (C++20以降)
constexpr auto size ( ) const requires ranges:: sized_range < const V > ;
(2) (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 のこの特殊化は、基になるビューが 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[] is inherited from 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++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 3494 C++20 reverse_view は決して borrowed_range ではなかった 基になるビューが borrowed_range である場合、それも borrowed_range となる

関連項目

逆順走査のためのイテレータアダプタ
(クラステンプレート)
(C++20)
範囲内の要素の順序を反転する
(アルゴリズム関数オブジェクト)
(C++20)
反転された範囲のコピーを作成する
(アルゴリズム関数オブジェクト)