std::ranges::view_interface<D>::empty

constexpr bool empty()
    requires ranges::sized_range<D> || ranges::forward_range<D>;

constexpr bool empty() const
    requires ranges::sized_range<const D> || ranges::forward_range<const D>;

L'implémentation par défaut de la fonction membre empty() vérifie si la taille de l'objet du type dérivé est 0 (si elle est valide), ou si l'itérateur de début et la sentinelle sont égaux.

Valeur de retour

true si la taille de l'objet du type dérivé est ​ 0 ​ (si D satisfait std::ranges::sized_range ), ou si son itérateur de début et le sentinelle sont égaux, false sinon.

Notes

Les types dérivés suivants peuvent utiliser l'implémentation par défaut de empty :

• std::ranges::common_view
• std::ranges::drop_view
• std::ranges::drop_while_view
• std::ranges::elements_view
• std::ranges::filter_view
• std::ranges::join_view
• std::ranges::lazy_split_view
• std::ranges::reverse_view
• std::ranges::single_view
• std::ranges::split_view
• std::ranges::take_view
• std::ranges::take_while_view
• std::ranges::transform_view

Bien que std::ranges::basic_istream_view hérite de std::ranges::view_interface et ne déclare pas la fonction membre empty() , elle ne peut pas utiliser l'implémentation par défaut, car elle ne satisfait jamais ni std::ranges::sized_range ni std::ranges::forward_range .

Exemple

#include <array>
#include <ranges>
int main()
{
    constexpr std::array a{0, 1, 2, 3, 4};
    static_assert(!std::ranges::single_view(a).empty());
    static_assert((a | std::views::take(0)).empty());
    static_assert(!(a | std::views::take(5)).empty());
    static_assert((a | std::views::drop(5)).empty());
    static_assert(!(a | std::views::drop(3)).empty());
    static_assert(std::views::iota(0,0).empty());
    static_assert(!std::views::iota(0).empty());
}

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