namespace std::ranges {
inline namespace /*unspecified*/ {
inline constexpr /*unspecified*/ rend = /*unspecified*/;
}
}
概要
Rangeの先頭の前を指す逆イテレータもしくは番兵を取得する関数オブジェクト。
効果
部分式E
の型をT
、t
をE
を評価した値とする。
このとき、式ranges::begin(E)
の効果は以下の通り。
E
がrvalueかつenable_borrowed_range<remove_cv_t<T>>
がfalse
であれば、呼び出しは不適格。T
が配列型かつremove_all_extents_t<T>
が不完全型であれば、呼び出しは不適格(診断不要)。decay-copy(t.rend())
が有効な式でその型がsentinel_for<decltype(ranges::rbegin(E))>
のモデルであれば、decay-copy(t.rend())
と等しい。T
がクラス型または列挙体であって、rend
がADLで見つかり、decay-copy(rend(t))
が有効な式でその型がsentinel_for<decltype(ranges::rbegin(E))>
のモデルであれば、decay-copy(rend(t))
と等しい。ranges::begin(t)
とranges::end(t)
が同じ型をもつ有効な式で、その型がbidirectional_iterator
のモデルであれば、make_reverse_iterator(ranges::begin(t))
と等しい。
どれにも当てはまらないとき、呼び出しは不適格。
戻り値
Rangeの先頭の前を指す逆イテレータもしくは番兵。
カスタマイゼーションポイント
3か4の条件を満たすようにする。例えば、ユーザー定義のフリー関数rend
を定義するか、ユーザー定義のクラスにメンバ関数rend
を持たせることでカスタマイズできる。
または、5の条件を満たすようにして、ranges::begin
、ranges::end
をカスタマイズすることで、ranges::rend
をカスタマイズできる。
備考
ranges::rend(E)
が有効な式であるとき、ranges::rend(E)
の型S
、ranges::rbegin(E)
の型I
はsentinel_for<S, I>
のモデルである。
例
#include <iostream>
#include <vector>
#include <ranges>
#include <algorithm>
void print(int x)
{
std::cout << x << " ";
}
int main()
{
// コンテナ
{
std::vector<int> v = {1, 2, 3};
decltype(v)::reverse_iterator first = std::ranges::rbegin(v);
decltype(v)::reverse_iterator last = std::ranges::rend(v);
std::for_each(first, last, print);
}
std::cout << std::endl;
// 組み込み配列
{
int ar[] = {4, 5, 6};
std::reverse_iterator<int*> first = std::ranges::rbegin(ar);
std::reverse_iterator<int*> last = std::ranges::rend(ar);
std::for_each(first, last, print);
}
std::cout << std::endl;
// 初期化子リスト
{
std::initializer_list<int> init = {7, 8, 9};
std::reverse_iterator<const int*> first = std::ranges::rbegin(init);
std::reverse_iterator<const int*> last = std::ranges::rend(init);
std::for_each(first, last, print);
}
}
出力
3 2 1
6 5 4
9 8 7
バージョン
言語
- C++20
処理系
- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅