Namensräume
Varianten
Aktionen

std::ranges::cdata

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

    inline constexpr /*unspecified*/ cdata = /*unspecified*/;

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

    requires /* siehe unten */

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

Gibt einen Zeiger auf das erste Element eines zusammenhängenden Bereichs zurück, der durch ein const-qualifiziertes(bis C++23) Argument bezeichnet wird, des konstanten Typs(seit C++23).

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::cdata ist ausdrucksäquivalent zu ranges::data(static_cast<CT&&>(t)).

Der Rückgabetyp ist äquivalent zu std::remove_reference_t<ranges::range_reference_t<CT>>*.

(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::cdata ausdrucksäquivalent zu

Der Rückgabetyp ist äquivalent zu std::remove_reference_t<ranges::range_const_reference_t<T>>*.

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

(seit C++23)

Wenn ranges::cdata(t) gültig ist, gibt er einen Zeiger auf ein Objekt von konstantem Typ(seit C++23) zurück.

Customization Point Objects

Der Name ranges::cdata bezeichnet ein Customization Point Object, das ein konstantes Funktionsobjekt eines literalen semiregular-Klassentyps ist. Zu Auslegungszwecken wird die cv-unqualifizierte Version seines Typs als __cdata_fn bezeichnet.

Alle Instanzen von __cdata_fn sind gleich. Die Effekte der Invokation unterschiedlicher Instanzen vom Typ __cdata_fn mit denselben Argumenten 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 invokabel sein). Daher kann ranges::cdata frei kopiert werden und seine Kopien können austauschbar verwendet werden.

Gegeben sei eine Menge von Typen Args.... Wenn std::declval<Args>()... die obigen Anforderungen für Argumente an ranges::cdata erfüllen, modelliert __cdata_fn

Andernfalls nimmt kein Operator des Funktionsaufrufs von __cdata_fn an der Überladungsauflösung teil.

[edit] Beispiel

#include <cstring>
#include <iostream>
#include <ranges>
#include <string>
 
int main()
{
    std::string src {"hello world!\n"};
 
//  std::ranges::cdata(src)[0] = 'H'; // error, src.data() is treated as read-only
    std::ranges::data(src)[0] = 'H'; // OK, src.data() is a non-const storage
 
    char dst[20]; // storage for a C-style string
    std::strcpy(dst, std::ranges::cdata(src));
    // [data(src), data(src) + size(src)] is guaranteed to be an NTBS
 
    std::cout << dst;
}

Ausgabe

Hello world!

[edit] Siehe auch

ruft einen Zeiger auf den Anfang eines zusammenhängenden Ranges ab
(Customization Point Objekt)[edit]
(C++17)
erhält den Zeiger auf das zugrundeliegende Array
(function template) [bearbeiten]