std::ranges::begin

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

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

Gibt einen Iterator auf das erste Element des Arguments zurück.

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

1. t + 0 wenn t einen Array-Typ hat.
   • Wenn std::remove_all_extents_t<std::remove_reference_t<T>> unvollständig ist, dann ist der Aufruf von ranges::begin ungültig, keine Diagnose erforderlich.
2. Andernfalls, decay-copy(t.begin())(bis C++23)auto(t.begin())(seit C++23), falls dieser Ausdruck gültig ist und sein Typ std::input_or_output_iterator modelliert.
3. Andernfalls, decay-copy(begin(t))(bis C++23)auto(begin(t))(seit C++23), wenn 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 begin so festgestellt wird, als ob nur argumentabhängige Suche durchgeführt würde.

In allen anderen Fällen ist ein Aufruf von ranges::begin ungültig, was zu einem Substitutionsfehler führen kann, wenn der Aufruf im unmittelbaren Kontext einer Template-Instantiierung auftritt.

Customization Point Objects

Der Name ranges::begin 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::begin ungültig, was ebenfalls zu einem Substitutionsfehler führt.

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

Der C++20-Standard verlangt, dass, wenn der zugrundeliegende begin -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 wird durch den nach-C++20-Vorschlag P0849R8 korrigiert, um mit den Implementierungen übereinzustimmen.

Beispiel

#include <cassert>
#include <ranges>
#include <vector>
int main() 
{
    std::vector v{3, 1, 4};
    auto vi = std::ranges::begin(v);
    auto vci = std::ranges::cbegin(v);
    assert(*vi == 3 and *vi == *vci);
    ++vi;
    ++vci; // OK: vci ist ein modifizierbares Objekt
    *vi = 42; // OK: vi zeigt auf veränderbares Element
    // *vci = 13; // Fehler: vci zeigt auf unveränderliches Element
    int a[]{-5, 10, 15};
    auto ai = std::ranges::begin(a); // funktioniert auch mit C-Arrays
    assert(*ai == -5);
    *ai = 42; // OK
}

Fehlerberichte

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

Siehe auch