std::ranges::rbegin

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

template< class T >
    requires /* see below */
constexpr std::input_or_output_iterator auto rbegin( T&& t );

Gibt einen Iterator zum letzten Element des Arguments zurück.

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

Falls das Argument ein Lvalue ist oder ranges::enable_borrowed_range<std::remove_cv_t<T>> true ist, dann ist ein Aufruf von ranges::rbegin ausdrucksäquivalent zu:

1. decay-copy(t.rbegin())(bis C++23)auto(t.rbegin())(seit C++23), falls dieser Ausdruck gültig ist und sein Typ std::input_or_output_iterator modelliert.
2. Andernfalls decay-copy(rbegin(t))(bis C++23)auto(rbegin(t))(seit C++23), falls T ein Klassen- oder Aufzählungstyp ist, dieser Ausdruck gültig ist und sein Typ std::input_or_output_iterator modelliert, wobei die Bedeutung von rbegin wie durch eine argumentabhängige Namenssuche ermittelt festgelegt wird.
3. Andernfalls std::make_reverse_iterator(ranges::end(t)), falls 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::rbegin fehlerhaft, was zu einem Substitutionsfehler führen kann, wenn ranges::rbegin(t) im unmittelbaren Kontext einer Template-Instantiierung auftritt.

Customization Point Objects

Der Name ranges::rbegin bezeichnet ein Customization Point Object , welches ein konstantes Funktionsobjekt 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, ist der Aufruf von ranges::rbegin ungültig, was ebenfalls zu einem Substitutionsfehler führt.

Der Rückgabetyp modelliert in allen Fällen std::input_or_output_iterator .

Der C++20-Standard verlangt, dass wenn der zugrundeliegende rbegin -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 <iostream>
#include <ranges>
#include <span>
#include <vector>
int main()
{
    std::vector<int> v = {3, 1, 4};
    auto vi = std::ranges::rbegin(v);
    std::cout << *vi << '\n';
    *vi = 42; // OK
    int a[] = {-5, 10, 15};
    auto ai = std::ranges::rbegin(a);
    std::cout << *ai << '\n';
    *ai = 42; // OK
    // auto x_x = std::ranges::rbegin(std::vector{6, 6, 6});
    // nicht wohlgeformt: das Argument ist ein R-Wert (siehe Hinweise ↑)
    auto si = std::ranges::rbegin(std::span{a}); // OK
    static_assert(std::ranges::enable_borrowed_range<
        std::remove_cv_t<decltype(std::span{a})>>);
    *si = 42; // OK
}

4
15

Fehlerberichte

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

Siehe auch