Namespaces
Variants

std::ranges:: views:: as_const, std::ranges:: as_const_view

From cppreference.net
C++
Ranges library
Range adaptors
Definiert im Header <ranges>
template < ranges:: view V >

requires ranges:: input_range < V >
class as_const_view

: public ranges:: view_interface < as_const_view < V >>
(1) (seit C++23)
namespace views {

inline constexpr /* nicht spezifiziert */ as_const = /* nicht spezifiziert */ ;

}
(2) (seit C++23)
Aufrufsignatur
template < ranges:: viewable_range R >

requires /* siehe unten */

constexpr ranges:: view auto as_const ( R && r ) ;
(seit C++23)
1) Ein Bereichsadapter, der eine Sicht auf den zugrundeliegenden view darstellt, der ebenfalls ein constant_range ist. Ein as_const_view besitzt stets schreibgeschützte Elemente (sofern nicht leer).
2) RangeAdaptorObject . Sei e ein Subausdruck, sei T gleich decltype ( ( e ) ) , und sei U gleich std:: remove_cvref_t < T > . Dann ist der Ausdruck views :: as_const ( e ) ausdrucksäquivalent zu:

as_const_view modelliert stets constant_range , und es modelliert contiguous_range , random_access_range , bidirectional_range , forward_range , borrowed_range , common_range und sized_range , wenn die zugrundeliegende View V die jeweiligen Konzepte modelliert.

Inhaltsverzeichnis

Datenmitglieder

Mitglied Beschreibung
V base_ (privat) die zugrundeliegende Ansicht
( Nur-Darstellungs-Mitgliedsobjekt* )

Memberfunktionen

konstruiert einen as_const_view
(öffentliche Elementfunktion)
gibt die zugrundeliegende Ansicht V zurück
(öffentliche Elementfunktion)
gibt den Beginn-Iterator des as_const_view zurück
(öffentliche Elementfunktion)
gibt den Ende-Iterator des as_const_view zurück
(öffentliche Elementfunktion)
gibt die Größe der Ansicht zurück, falls sie begrenzt ist
(öffentliche Elementfunktion)
(C++26)
gibt die ungefähre Größe des zugrundeliegenden approximately_sized_range zurück
(öffentliche Elementfunktion)
Geerbt von std::ranges::view_interface
gibt zurück, ob die abgeleitete Ansicht leer ist, bereitgestellt nur wenn sie sized_range oder forward_range erfüllt
(öffentliche Elementfunktion von std::ranges::view_interface<D> )
(C++23)
gibt einen konstanten Iterator zum Beginn des Bereichs zurück
(öffentliche Elementfunktion von std::ranges::view_interface<D> )
(C++23)
gibt einen Sentinel für den konstanten Iterator des Bereichs zurück
(öffentliche Elementfunktion von std::ranges::view_interface<D> )
gibt zurück, ob die abgeleitete Ansicht nicht leer ist, bereitgestellt nur wenn ranges::empty darauf anwendbar ist
(öffentliche Elementfunktion von std::ranges::view_interface<D> )
ruft die Adresse der Daten der abgeleiteten Ansicht ab, bereitgestellt nur wenn ihr Iteratortyp contiguous_iterator erfüllt
(öffentliche Elementfunktion von std::ranges::view_interface<D> )
gibt das erste Element in der abgeleiteten Ansicht zurück, bereitgestellt wenn sie forward_range erfüllt
(öffentliche Elementfunktion von std::ranges::view_interface<D> )
gibt das letzte Element in der abgeleiteten Ansicht zurück, bereitgestellt nur wenn sie bidirectional_range und common_range erfüllt
(öffentliche Elementfunktion von std::ranges::view_interface<D> )
gibt das n te Element in der abgeleiteten Ansicht zurück, bereitgestellt nur wenn sie random_access_range erfüllt
(öffentliche Elementfunktion von std::ranges::view_interface<D> )

std::ranges::as_const_view:: as_const_view

as_const_view ( ) requires std:: default_initializable < V > = default ;
(1) (seit C++23)
constexpr explicit as_const_view ( V base ) ;
(2) (seit C++23)
1) Wertinitialisiert base_  über seinen Standard-Member-Initialisierer ( = V ( ) ).
2) Initialisiert base_  mit std :: move ( base ) .

Parameter

base - eine View

std::ranges::as_const_view:: base

constexpr V base ( ) const & requires std:: copy_constructible < V > ;
(1) (seit C++23)
constexpr V base ( ) && ;
(2) (seit C++23)

Gibt die zugrundeliegende Ansicht zurück.

1) Kopierkonstruiert das Ergebnis aus der zugrundeliegenden Ansicht. Entspricht return base_  ; .
2) Verschiebt das Ergebnis aus der zugrundeliegenden Ansicht. Entspricht return std :: move ( base_  ) ; .

std::ranges::as_const_view:: begin

constexpr auto begin ( ) requires ( ! /*simple_view*/ < V > ) ;
(1) (seit C++23)
constexpr auto begin ( ) const requires ranges:: range < const V > ;
(2) (seit C++23)

Gibt den konstanten Iterator der Ansicht zurück. Entspricht return ranges:: cbegin ( base_  ) ; .

std::ranges::as_const_view:: end

constexpr auto end ( ) requires ( ! /*simple_view*/ < V > ) ;
(1) (seit C++23)
constexpr auto end ( ) const requires ranges:: range < const V > ;
(2) (seit C++23)

Gibt den konstanten Sentinel der View zurück. Entspricht return ranges:: cend ( base_  ) ; .

std::ranges::as_const_view:: size

constexpr auto size ( ) requires ranges:: sized_range < V > ;
(1) (seit C++23)
constexpr auto size ( ) const requires ranges:: sized_range < const V > ;
(2) (seit C++23)

Gibt die Größe der View zurück, falls die View begrenzt ist. Entspricht return ranges:: size ( base_  ) ; .

std::ranges::as_rvalue_view:: reserve_hint

constexpr auto reserve_hint ( )
requires ranges :: approximately_sized_range < V > ;
(1) (seit C++26)
constexpr auto reserve_hint ( ) const
requires ranges :: approximately_sized_range < const V > ;
(2) (seit C++26)

Gibt ranges :: reserve_hint ( base_  ) zurück.

Deduktionsanleitungen

template < class R >
as_const_view ( R && ) - > as_const_view < views:: all_t < R >> ;
(seit C++23)

Hilfsvorlagen

template < class T >

constexpr bool enable_borrowed_range < std :: ranges :: as_const_view < T >> =

ranges:: enable_borrowed_range < T > ;
(seit C++23)

Diese Spezialisierung von ranges::enable_borrowed_range bewirkt, dass as_const_view borrowed_range erfüllt, wenn die zugrundeliegende View diese Bedingung erfüllt.

Hinweise

Feature-Test Makro Wert Standard Funktion
__cpp_lib_ranges_as_const 202207L (C++23) ranges::as_const_view , std:: const_iterator
__cpp_lib_ranges_reserve_hint 202502L (C++26) ranges::approximately_sized_range und reserve_hint

Beispiel

Diesen Code ausführen 
#include <cassert>
#include <ranges>
int main()
{
    int x[]{1, 2, 3, 4, 5};
    auto v1 = x | std::views::drop(2);
    assert(v1.back() == 5);
    v1[0]++; // OK, kann nicht-konstantes Element modifizieren
    auto v2 = x | std::views::drop(2) | std::views::as_const;
    assert(v2.back() == 5);
    // v2[0]++; // Kompilierzeitfehler, kann schreibgeschütztes Element nicht modifizieren
}

Siehe auch

(C++23)
eine view einer Sequenz, die jedes Element in einen Rvalue umwandelt
(Klassen-Template) (Range-Adapter-Objekt)
(C++20)
gibt einen Iterator zum Anfang eines schreibgeschützten Bereichs zurück
(Anpassungspunkt-Objekt)
(C++20)
gibt einen Sentinel zurück, der das Ende eines schreibgeschützten Bereichs markiert
(Anpassungspunkt-Objekt)
(C++17)
erhält eine Referenz auf const zu ihrem Argument
(Funktions-Template)
(C++23)
Iterator-Adapter, der einen Iterator in einen konstanten Iterator umwandelt
(Klassen-Template)