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

Реализация по умолчанию функции-члена empty() проверяет, является ли размер объекта производного типа 0 (если это допустимо), или сравниваются ли итератор начала и сторожевой объект как равные.

Возвращаемое значение

true, если размер объекта производного типа равен 0 (если D удовлетворяет требованиям std::ranges::sized_range) или его итератор начала и сторожевой объект сравниваются как равные; в противном случае — false.

Примечания

Следующие производные типы могут использовать реализацию 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

Хотя std::ranges::basic_istream_view наследуется от std::ranges::view_interface и не объявляет функцию-член empty(), он не может использовать реализацию по умолчанию, поскольку никогда не удовлетворяет ни std::ranges::sized_range, ни std::ranges::forward_range.

Пример

#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());
}

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

См. также