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 modélise les concepts contiguous_range, random_access_range, bidirectional_range, forward_range, input_range, et common_range lorsque la vue sous-jacente V modélise les concepts respectifs. Elle modélise également sized_range si ranges::forward_range<V> et std::sized_sentinel_for<ranges::sentinel_t<V>, ranges::iterator_t<V>> sont modélisés.

Membres de données

Fonctions membres

Guides de déduction

Modèles d'assistance

Cette spécialisation de std :: ranges:: enable_borrowed_range permet à drop_while_view de satisfaire borrowed_range lorsque la vue sous-jacente la satisfait.

Notes

Afin de fournir la complexité temporelle amortie constante requise par le concept range , le résultat de begin est mis en cache dans l'objet drop_while_view . Si la plage sous-jacente est modifiée après le premier appel à begin() , les utilisations ultérieures de l'objet drop_while_view pourraient présenter un comportement non intuitif.

Exemple

#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

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Voir aussi