Namensräume
Varianten
Aktionen

std::ranges::views::drop_while, std::ranges::drop_while_view

Von cppreference.com
< cpp‎ | ranges
 
 
Bereichsbibliothek
Range-Adaptoren
 
 
Definiert in der Header-Datei <ranges>
template< ranges::view V, class Pred >

    requires ranges::input_range<V> &&
             std::is_object_v<Pred> &&
             std::indirect_unary_predicate<const Pred, ranges::iterator_t<V>>
class drop_while_view

    : public ranges::view_interface<drop_while_view<V, Pred>>
(1) (seit C++20)
namespace views {

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

}
(2) (seit C++20)
Aufruf-Signatur
template< ranges::viewable_range R, class Pred >

    requires /* siehe unten */

constexpr ranges::view auto drop_while( R&& r, Pred&& pred );
(seit C++20)
template< class Pred >
constexpr /* Bereichsadapter-Closure */ drop_while( Pred&& pred );
(seit C++20)
1) Ein Bereichsadapter, der eine view von Elementen aus einer zugrundeliegenden Sequenz darstellt, beginnend mit dem ersten Element, für das der Prädikat false zurückgibt.
2) RangeAdaptorObject. Der Ausdruck views::drop_while(e, f) ist ausdrucksäquivalent zu drop_while_view(e, f) für beliebige geeignete Unterausdrücke e und f.

drop_while_view modelliert die Konzepte contiguous_range, random_access_range, bidirectional_range, forward_range, input_range und common_range, wenn die zugrundeliegende View V die entsprechenden Konzepte modelliert. Sie modelliert auch sized_range, wenn ranges::forward_range<V> und std::sized_sentinel_for<ranges::sentinel_t<V>, ranges::iterator_t<V>> modelliert werden.

Inhalt

[bearbeiten] Datenmember

Mitglied Beschreibung
V base_ (privat) die zugrunde liegende Ansicht
((exposition-only member object*)
copyable-box<Pred>(bis C++23)movable-box<Pred>(seit C++23) pred_ (privat) das zugrunde liegende Funktions-Objekt
((exposition-only member object*)
non-propagating-cache<ranges::iterator_t<V>> cache_ (privat)
(nur vorhanden, wenn V forward_range erfüllt)
ein Objekt, das das Ergebnis von begin() zwischenspeichert
((exposition-only member object*)

[bearbeiten] Member-Funktionen

konstruiert eine drop_while_view
(öffentliche Member-Funktion) [edit]
gibt eine Kopie der zugrunde liegenden (angepassten) View zurück
(public member function) [edit]
gibt eine Referenz auf die gespeicherte Prädikatfunktion zurück
(public member function) [edit]
gibt einen Iterator zum Anfang zurück
(öffentliche Member-Funktion) [edit]
gibt einen Iterator oder Sentinel zum Ende zurück
(öffentliche Member-Funktion) [edit]
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
(public member function of std::ranges::view_interface<D>) [edit]
(C++23)
gibt einen konstanten Iterator zum Anfang des Bereichs zurück
(public member function of std::ranges::view_interface<D>) [edit]
(C++23)
gibt ein Sentinel für den konstanten Iterator des Bereichs zurück
(public member function of std::ranges::view_interface<D>) [edit]
gibt zurück, ob die abgeleitete Ansicht nicht leer ist, bereitgestellt nur, wenn ranges::empty darauf anwendbar ist
(public member function of std::ranges::view_interface<D>) [edit]
gibt die Adresse der Daten der abgeleiteten Ansicht zurück, nur bereitgestellt, wenn ihr Iteratortyp contiguous_iterator erfüllt
(öffentliche Memberfunktion von std::ranges::view_interface<D>) [edit]
gibt die Anzahl der Elemente in der abgeleiteten View zurück. Bereitgestellt, wenn sie forward_range erfüllt und ihr Sentinel- und Iteratortyp sized_sentinel_for erfüllen.
(public member function of std::ranges::view_interface<D>) [bearbeiten]
gibt das erste Element in der abgeleiteten View zurück, bereitgestellt, wenn sie forward_range erfüllt
(öffentliche Member-Funktion von std::ranges::view_interface<D>) [edit]
gibt das letzte Element in der abgeleiteten View zurück, nur bereitgestellt, wenn sie bidirectional_range und common_range erfüllt
(öffentliche Member-Funktion von std::ranges::view_interface<D>) [edit]
gibt das n-te Element in der abgeleiteten View zurück, nur bereitgestellt, wenn sie random_access_range erfüllt
(öffentliche Member-Funktion von std::ranges::view_interface<D>) [edit]

[bearbeiten] Deduktionshilfen

[bearbeiten] Hilfsvorlagen

template< class T, class Pred >

constexpr bool enable_borrowed_range<std::ranges::drop_while_view<T, Pred>> =

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

Diese Spezialisierung von std::ranges::enable_borrowed_range lässt drop_while_view borrowed_range erfüllen, wenn die zugrundeliegende View dies tut.

[bearbeiten] Anmerkungen

Um die für das range-Konzept erforderliche amortisierte konstante Zeitkomplexität zu bieten, wird das Ergebnis von begin im drop_while_view-Objekt zwischengespeichert. Wenn der zugrundeliegende Bereich nach dem ersten Aufruf von begin() modifiziert wird, können nachfolgende Verwendungen des drop_while_view-Objekts unerwartete Ergebnisse liefern.

[bearbeiten] Beispiel

#include <iostream>
#include <ranges>
#include <string>
#include <string_view>
 
using std::operator""sv;
 
[[nodiscard]]
constexpr bool is_space(char p) noexcept
{
    auto ne = [p](auto q) { return p != q; };
    return !!(" \t\n\v\r\f" | std::views::drop_while(ne));
};
 
[[nodiscard("trims the output")]]
constexpr std::string_view trim_left(std::string_view const in) noexcept
{
    auto view = in | std::views::drop_while(is_space);
    return {view.begin(), view.end()};
}
 
[[nodiscard("trims the output")]]
constexpr std::string trim(std::string_view const in)
{
    auto view = in
              | std::views::drop_while(is_space)
              | std::views::reverse
              | std::views::drop_while(is_space)
              | std::views::reverse
              ;
    return {view.begin(), view.end()};
}
 
int main()
{
    static_assert(trim_left(" \n C++23") == "C++23"sv);
 
    constexpr auto src{" \f\n\t\r\vHello, C++20!\f\n\t\r\v "sv};
    static_assert(trim(src) == "Hello, C++20!");
 
    static constexpr auto v = {0, 1, 2, 3, 4, 5};
    for (int n : v | std::views::drop_while([](int i) { return i < 3; }))
        std::cout << n << ' ';
    std::cout << '\n';
}

Ausgabe

3 4 5

[bearbeiten] Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
LWG 3494 C++20 drop_while_view war nie ein borrowed_range sie ist eine borrowed_range, wenn ihre zugrundeliegende View es ist

[bearbeiten] Siehe auch

ein view, der aus Elementen eines anderen view besteht, wobei die ersten N Elemente übersprungen werden
(Klassen-Template) (Range-Adaptor-Objekt)[edit]