Namespaces
Variants

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

    Von de.cppreference.net
     
    C++
     
    Bereichsbibliothek
    Bereichsadaptoren
     
    Definiert in 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 /* unspecified */ as_const = /* unspecified */;
}
    		(2) (seit C++23)
    Aufrufsignatur
    		 
    template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto as_const( R&& r );
    		(seit C++23)
    1) Ein Bereichsadaptor, der eine view der zugrunde liegenden view darstellt, die ebenfalls eine constant_range ist. Ein as_const_view hat immer schreibgeschützte Elemente (wenn nicht leer).
    2) RangeAdaptorObject. Sei e ein Teilausdruck, 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:
    • views::all(e), falls es ein wohlgeformter Ausdruck ist und views::all_t<T> das Konzept constant_range modelliert;
    • andernfalls, std::span<const X, Extent>(e) für einen Typ X und eine Ausdehnung Extent, falls U auf std::span<X, Extent> verweist;
    • andernfalls, ranges::ref_view(static_cast<const X&>(e.base())) falls U auf ranges::ref_view<X> für einen Typ X verweist und const X das Konzept constant_range modelliert;
    • andernfalls, ranges::ref_view(static_cast<const U&>(e)) falls e ein lvalue ist, const U das Konzept constant_range modelliert und U nicht das Konzept view modelliert.
    • andernfalls, as_const_view{e}.

    as_const_view modelliert immer constant_range, und es modelliert contiguous_range, random_access_range, bidirectional_range, forward_range, borrowed_range, common_range und sized_range, wenn die zugrunde liegende view V die entsprechenden Konzepte modelliert.

    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 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 Anfang 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>)
    		gibt die Adresse der Daten der abgeleiteten Ansicht zurück, 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 es 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 es bidirectional_range und common_range
    erfüllt (öffentliche Elementfunktion von std::ranges::view_interface<D>)
    		gibt das nte Element in der abgeleiteten Ansicht zurück, bereitgestellt nur, wenn es 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)