最終更新日時(UTC): 2026年02月24日 07時56分31秒
Akira Takahashi が更新

履歴 編集

customization point object
<ranges>

# std::ranges::rend(C++20)

    namespace std::ranges {
      inline namespace /*unspecified*/ {
        inline constexpr /*unspecified*/ rend = /*unspecified*/;
      }
    }

## 概要

Rangeの先頭の前を指す逆イテレータもしくは番兵を取得する関数オブジェクト。

## 効果

部分式`E`の型を`T`、`t`を`E`を評価した値とする。 このとき、式`ranges::begin(E)`の効果は以下の通り。

1. `E`がrvalueかつ`enable_borrowed_range<remove_cv_t<T>>`が`false`であれば、呼び出しは不適格。
2. `T`が配列型かつ`remove_all_extents_t<T>`が不完全型であれば、呼び出しは不適格(診断不要)。
3. `decay-copy(t.rend())`が有効な式でその型が`sentinel_for<decltype(ranges::rbegin(E))>`のモデルであれば、`decay-copy(t.rend())`と等しい。
4. `T`がクラス型または列挙体であって、`rend(t)`の`rend`の意味がADLのみによって決まるコンテキストで、`decay-copy(rend(t))`が有効な式でその型が`sentinel_for<decltype(ranges::rbegin(E))>`のモデルであれば、`decay-copy(rend(t))`と等しい。
5. `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 ✅

## 関連項目

- `std::rend`

## 参照

- N4861 24 Ranges library
- C++20 ranges
- P2602R2 Poison Pills are Too Toxic