Namespaces
Variants

std::ranges::data

Von de.cppreference.net
 
 
Ranges-Bibliothek
Range-Adaptoren
 
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:

  1. 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.
  2. Andernfalls std::to_address(ranges::begin(t)), wenn der Ausdruck ranges::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

erhält einen Zeiger auf den Anfang eines schreibgeschützten zusammenhängenden Bereichs
(Anpassungspunktobjekt)
gibt einen Iterator zum Anfang eines Bereichs zurück
(Anpassungspunktobjekt)
(C++17)
erhält den Zeiger auf das zugrundeliegende Array
(Funktionstemplate)