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

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>>

namespace views {
    inline constexpr /* unspecified */ drop_while = /* unspecified */;
}

template< ranges::viewable_range R, class Pred >
    requires /* see below */
constexpr ranges::view auto drop_while( R&& r, Pred&& pred );

template< class Pred >
constexpr /*range adaptor closure*/ drop_while( Pred&& pred );

drop_while_view modela los conceptos contiguous_range, random_access_range, bidirectional_range, forward_range, input_range y common_range cuando la vista subyacente V modela los conceptos respectivos. También modela sized_range si se modelan ranges::forward_range<V> y std::sized_sentinel_for<ranges::sentinel_t<V>, ranges::iterator_t<V>>.

Miembros de datos

Funciones miembro

Guías de deducción

Plantillas auxiliares

Esta especialización de std :: ranges:: enable_borrowed_range hace que drop_while_view cumpla con borrowed_range cuando la vista subyacente lo satisface.

Notas

Para proporcionar la complejidad temporal amortizada constante requerida por el concepto range , el resultado de begin se almacena en caché dentro del objeto drop_while_view . Si el rango subyacente se modifica después de la primera llamada a begin() , los usos posteriores del objeto drop_while_view podrían tener un comportamiento no intuitivo.

Ejemplo

#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';
}

3 4 5

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también