std::ranges::cbegin
| 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 */ |
(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) |
|
Sei
Ein Aufruf von |
(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
In allen anderen Fällen ist ein Aufruf von |
(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
- std::invocable<__cbegin_fn, Args...>,
- std::invocable<const __cbegin_fn, Args...>,
- std::invocable<__cbegin_fn&, Args...>, und
- std::invocable<const __cbegin_fn&, Args...>.
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
| (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
| (C++20) |
gibt einen Iterator zum Anfang eines Ranges zurück (Customization Point Objekt) |
| (C++11)(C++14) |
gibt einen Iterator zum Anfang eines Containers oder Arrays zurück (Funktionsvorlage) |