Namensräume
Varianten
Aktionen

std::ranges::cbegin

Von cppreference.com
< cpp‎ | ranges
 
 
Bereichsbibliothek
Range-Adaptoren
 
Definiert in der Header-Datei <ranges>
Definiert in Header <iterator>
inline namespace /* nicht spezifiziert */ {

    inline constexpr /* nicht spezifiziert */ cbegin = /* nicht spezifiziert */;

}
(seit C++20)
(Customization-Point-Objekt)
Aufruf-Signatur
template< class T >

    requires /* siehe unten */

constexpr /* siehe unten */ auto cbegin( T&& t );
(seit C++20)

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

(bis C++23)

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

(seit C++23)

range-begin-end.svg

Sei CT

  • const std::remove_reference_t<T>& wenn das Argument ein lvalue ist (d.h. T ist ein lvalue-Referenztyp),
  • const T andernfalls.

Ein Aufruf von ranges::cbegin ist ausdrucksäquivalent zu ranges::begin(static_cast<CT&&>(t)).

(bis C++23)

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

In allen anderen Fällen ist ein Aufruf von ranges::cbegin fehlerhaft, was zu einem Substitutionsfehler führen kann, wenn der Aufruf im unmittelbaren Kontext einer Template-Instanziierung erscheint.

(seit C++23)

Der Rückgabetyp modelliert in allen Fällen std::input_or_output_iterator und constant-iterator(seit C++23).

Inhalt

Customization Point Objects

Der Name ranges::cbegin bezeichnet ein Customization-Point-Objekt, welches ein const Funktionsobjekt eines Literal- und semiregular-Klassentyps ist. Zu Expositionszwecken wird die cv-unqualifizierte Version seines Typs als __cbegin_fn bezeichnet.

Alle Instanzen von __cbegin_fn sind gleich. Die Effekte des Aufrufs verschiedener Instanzen des Typs __cbegin_fn auf dieselben Argumente sind äquivalent, unabhängig davon, ob der die Instanz bezeichnende Ausdruck ein lvalue oder rvalue ist und ob er const-qualifiziert ist oder nicht (eine volatile-qualifizierte Instanz muss jedoch nicht aufrufbar sein). Daher kann ranges::cbegin frei kopiert werden und seine Kopien können austauschbar verwendet werden.

Gegeben einer Menge von Typen Args..., wenn std::declval<Args>()... die obigen Anforderungen für Argumente an ranges::cbegin erfüllen, modelliert __cbegin_fn

Andernfalls nimmt kein Funktionsaufrufoperator von __cbegin_fn an der Überladungsauflösung teil.

[bearbeiten] Hinweise

Für einen lvalue-Bereich e vom Typ T ist ranges::cbegin(e) äquivalent zu

ranges::begin(std::as_const(e)).

(bis C++23)
(seit C++23)

[bearbeiten] Beispiel

#include <cassert>
#include <ranges>
#include <vector>
 
int main()
{
    std::vector v{3, 1, 4};
    auto vi = std::ranges::cbegin(v);
    assert(3 == *vi);
    ++vi; // OK, constant-iterator object is mutable
    assert(1 == *vi);
    // *vi = 13; // Error: constant-iterator points to an immutable element
 
    int a[]{3, 1, 4};
    auto ai = std::ranges::cbegin(a); // cbegin works with C-arrays as well
    assert(3 == *ai and *(ai + 1) == 1);
    // *ai = 13; // Error: read-only variable is not assignable
}

[bearbeiten] Siehe auch

gibt einen Iterator zum Anfang eines Ranges zurück
(Customization Point Objekt)[edit]
(C++11)(C++14)
gibt einen Iterator zum Anfang eines Containers oder Arrays zurück
(Funktionsvorlage) [bearbeiten]