std::ranges::rend

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ rend = /* unspecified */;
}

template< class T >
    requires /* see below */
constexpr std::sentinel_for<
    decltype(ranges::rbegin(std::declval<T>()))> auto rend( T&& t );

Gibt eine Sentinel zurück, die das Ende eines umgekehrten Bereichs angibt.

Wenn T ein Array-Typ ist und std::remove_all_extents_t<std::remove_reference_t<T>> unvollständig ist, ist der Aufruf von ranges::rend fehlerhaft, keine Diagnose erforderlich.

Wenn das Argument ein L-Wert ist oder ranges::enable_borrowed_range<std::remove_cv_t<T>> true ist, dann ist ein Aufruf von ranges::rend ausdrucksäquivalent zu:

1. decay-copy(t.rend())(bis C++23)auto(t.rend())(seit C++23), wenn dieser Ausdruck gültig ist und sein Typ std::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))> modelliert.
2. Andernfalls: decay-copy(rend(t))(bis C++23)auto(rend(t))(seit C++23), wenn T ein Klassen- oder Aufzählungstyp ist, dieser Ausdruck gültig ist und sein Typ std::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))> modelliert, wobei die Bedeutung von rend wie durch eine argumentabhängige Suche ermittelt festgelegt wird.
3. Andernfalls: std::make_reverse_iterator(ranges::begin(t)) wenn sowohl ranges::begin(t) als auch ranges::end(t) gültige Ausdrücke sind, denselben Typ haben und dieser Typ std::bidirectional_iterator modelliert.

In allen anderen Fällen ist ein Aufruf von ranges::rend fehlerhaft, was zu einem Substitutionsfehler führen kann, wenn ranges::rend(t) im unmittelbaren Kontext einer Template-Instantiierung auftritt.

Customization Point Objects

Der Name ranges::rend bezeichnet ein Customization Point Object , welches ein konstantes Function Object eines Literal semiregular -Klassentyps ist. Weitere Details finden Sie unter CustomizationPointObject .

Hinweise

Wenn das Argument ein R-Wert ist (d.h. T ist ein Objekttyp) und ranges:: enable_borrowed_range < std:: remove_cv_t < T >> false ist, oder wenn es sich um einen Array-Typ unbekannter Größe handelt, ist der Aufruf von ranges::rend fehlerhaft, was ebenfalls zu einem Substitutionsfehler führt.

Wenn ranges :: rend ( std:: forward < T > ( t ) ) gültig ist, dann modellieren decltype ( ranges :: rend ( std:: forward < T > ( t ) ) ) und decltype ( ranges:: begin ( std:: forward < T > ( t ) ) ) in allen Fällen std::sentinel_for , während T std::ranges::range modelliert.

Der C++20-Standard verlangt, dass wenn der zugrundeliegende rend Funktionsaufruf einen Prvalue zurückgibt, der Rückgabewert aus dem materialisierten temporären Objekt move-konstruiert wird. Alle Implementierungen geben stattdessen direkt den Prvalue zurück. Die Anforderung wurde durch den Post-C++20-Vorschlag P0849R8 korrigiert, um mit den Implementierungen übereinzustimmen.

Beispiel

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>
int main()
{
    std::vector<int> v = {3, 1, 4};
    namespace ranges = std::ranges;
    if (ranges::find(ranges::rbegin(v), ranges::rend(v), 5) != ranges::rend(v))
        std::cout << "found a 5 in vector v!\n";
    int a[] = {5, 10, 15};
    if (ranges::find(ranges::rbegin(a), ranges::rend(a), 5) != ranges::rend(a))
        std::cout << "found a 5 in array a!\n";
}

found a 5 in array a!

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch