std::ranges::views::reverse, std::ranges::reverse_view
| ヘッダ <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以上) | |
views::reverse(e) は以下の式のいずれかと式等価です。ただし、e は1回だけ評価されます：
e.base()、もしeの型が（const/volatile修飾された）reverse_viewの特殊化である場合；- そうでない場合、
eの型が（const/volatile修飾された）あるイテレータ型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_
(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) |
ranges::view_interface | |
| empty派生ビューが空かどうかを返します。ただし、派生ビューが sized_range または forward_range std::ranges::view_interface<D> を満たす場合に限ります（
| |
cbegin |
(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) | (C++20以降) |
|
constexpr
reverse_view
(
V r
)
;
|
(2) | (C++20以降) |
パラメータ
| 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) |
基になるビューを返します。
base_
;
。
base_
)
;
。
std::ranges::reverse_view:: begin
|
constexpr
std::
reverse_iterator
<
ranges::
iterator_t
<
V
>>
begin
(
)
;
|
(1) | (C++20以降) |
|
constexpr
std::
reverse_iterator
<
ranges::
iterator_t
<
V
>>
begin
(
)
requires ranges:: common_range < V > ; |
(2) | (C++20以降) |
|
constexpr
auto
begin
(
)
const
requires
ranges::
common_range
<
const
V
>
;
|
(3) | (C++20以降) |
base_
)
,
ranges::
end
(
base_
)
)
)
を返します。
range
コンセプトで要求される償却定数時間の計算量を提供するため、この関数は結果をキャッシュオブジェクト内に保存し、後続の呼び出しで使用します。
base_
)
)
;
と等価です。
std::ranges::reverse_view:: end
|
constexpr
std::
reverse_iterator
<
ranges::
iterator_t
<
V
>>
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
>>
=
|
(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)
|
反転された範囲のコピーを作成する
(アルゴリズム関数オブジェクト) |