std::ranges::data
| Definiert in Header <ranges>
|
||
| Definiert in Header <iterator>
|
||
inline namespace /* unspecified */ {
inline constexpr /* unspecified */ data = /* unspecified */;
}
|
(seit C++20) (Customization-Point-Objekt) |
|
| Aufrufsignatur |
||
template< class T >
requires /* see below */
constexpr std::remove_reference_t<
ranges::range_reference_t<T>>* data( T&& t );
|
(seit C++20) | |
Gibt einen Zeiger auf das erste Element eines zusammenhängenden Bereichs zurück.
Wenn T ein Array-Typ ist und std::remove_all_extents_t<std::remove_reference_t<T>> unvollständig ist, dann ist der Aufruf von ranges::data fehlerhaft, keine Diagnose erforderlich.
Wenn das Argument ein L-Wert ist oder ranges::enable_borrowed_range<std::remove_cv_t<T>> true ist, ist ein Aufruf von ranges::data ausdrucksäquivalent zu:
- decay-copy
(t.data())(bis C++23)auto(t.data())(seit C++23), wenn dieser Ausdruck gültig ist und sein Typ ein Zeiger auf einen Objekttyp ist. - Andernfalls
std::to_address(ranges::begin(t)), wenn der Ausdruckranges::begin(t)gültig ist und sein Typ std::contiguous_iterator modelliert.
In allen anderen Fällen ist ein Aufruf von ranges::data fehlerhaft, was zu Substitutionsfehler führen kann, wenn ranges::data(e) im unmittelbaren Kontext einer Template-Instantiierung erscheint.
Customization Point Objects
Der Name
ranges::data
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, ist der Aufruf von
ranges::data
fehlerhaft, was ebenfalls zu einem Substitutionsfehler führt.
Wenn ranges :: data ( e ) für einen Ausdruck e gültig ist, dann gibt es einen Zeiger auf ein Objekt zurück.
Der C++20-Standard verlangt, dass wenn der zugrundeliegende
data
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 <cstring> #include <iostream> #include <ranges> #include <string> int main() { std::string s{"Hello world!\n"}; char a[20]; // Speicher für einen C-String std::strcpy(a, std::ranges::data(s)); // [data(s), data(s) + size(s)] ist garantiert ein NTBS std::cout << a; }
Ausgabe:
Hello world!
Siehe auch
|
(C++20)
|
erhält einen Zeiger auf den Anfang eines schreibgeschützten zusammenhängenden Bereichs
(Anpassungspunktobjekt) |
|
(C++20)
|
gibt einen Iterator zum Anfang eines Bereichs zurück
(Anpassungspunktobjekt) |
|
(C++17)
|
erhält den Zeiger auf das zugrundeliegende Array
(Funktionstemplate) |