Namespaces
Variants

std::ranges:: data

From cppreference.net
C++
Ranges library
Range adaptors
Definiert im Header <ranges>
Definiert im Header <iterator>
inline namespace /* unspecified */ {

inline constexpr /* unspecified */ data = /* unspecified */ ;

}
(seit C++20)
(Anpassungspunktobjekt)
Aufrufsignatur
template < class T >

requires /* siehe unten */
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 Lvalue ist oder ranges:: enable_borrowed_range < std:: remove_cv_t < T >> true ist, dann ist ein Aufruf von ranges::data ausdrucksäquivalent zu:

  1. decay-copy ( t. data ( ) ) (bis C++23) auto ( t. data ( ) ) (seit C++23) , falls dieser Ausdruck gültig ist und sein Typ ein Zeiger auf einen Objekttyp ist.
  2. Andernfalls, std:: to_address ( ranges:: begin ( t ) ) , falls 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 einem Substitutionsfehler führen kann, wenn ranges :: data ( e ) im unmittelbaren Kontext einer Template-Instanziierung erscheint.

Inhaltsverzeichnis

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

Diesen Code ausführen 
#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)