Namespaces
Variants

std::empty

С ru.cppreference.net
 
 
Библиотека итераторов
Концепции итераторов
Примитивы итераторов
(устарело в C++17)


Концепции и утилиты алгоритмов
Концепции косвенной вызываемости
Общие требования к алгоритмам
(C++20)
(C++20)
(C++20)
Утилиты
(C++20)
Адаптеры итераторов
Доступ к диапазонам
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
Определено в заголовке <array>
Определено в заголовке <deque>
Определено в заголовке <flat_map>
 (начиная с C++23)
Определено в заголовке <flat_set>
 (начиная с C++23)
Определено в заголовке <forward_list>
Определено в заголовке <inplace_vector>
 (начиная с C++26)
Определено в заголовке <iterator>
Определено в заголовке <list>
Определено в заголовке <map>
Определено в заголовке <optional>
 (начиная с C++26)
Определено в заголовке <regex>
Определено в заголовке <set>
Определено в заголовке <span>
 (начиная с C++20)
Определено в заголовке <stacktrace>
 (начиная с C++23)
Определено в заголовке <string>
Определено в заголовке <string_view>
Определено в заголовке <unordered_map>
Определено в заголовке <unordered_set>
Определено в заголовке <valarray>
Определено в заголовке <vector>
template< class C >
constexpr auto empty( const C& c ) noexcept(noexcept(c.empty()))
    -> decltype(c.empty());
(1) (начиная с C++17)
template< class T, std::size_t N >
constexpr bool empty( const T (&array)[N] ) noexcept;
(2) (начиная с C++17)

Возвращает, пуст ли заданный диапазон.

1) Возвращает c.empty().
2) Возвращает false.

Параметры

c - контейнер или представление с функцией-членом empty
array - массив произвольного типа
il - список инициализации std::initializer_list

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

1) c. empty ( )
2) false
3) il. size ( ) == 0

Исключения

1) Может вызывать исключения, определяемые реализацией.

Примечания

Перегрузка для std::initializer_list необходима, поскольку он не имеет функции-члена empty .

Макрос тестирования возможностей Значение Стандарт Возможность
__cpp_lib_nonmember_container_access 201411L (C++17) std::size() , std::data() , и std::empty()

Возможная реализация

Первая версия
template<class C>
[[nodiscard]] constexpr auto empty(const C& c) -> decltype(c.empty())
{
    return c.empty();
}
Вторая версия
template<class T, std::size_t N>
[[nodiscard]] constexpr bool empty(const T (&array)[N]) noexcept
{
    return false;
}
Третья версия
template<class E>
[[nodiscard]] constexpr bool empty(std::initializer_list< E> il) noexcept
{
    return il.size() == 0;
}

Пример

#include <iostream>
#include <vector>
template<class T>
void print(const T& container)
{
    if (std::empty(container))
        std::cout << "Empty\n";
    else
    {
        std::cout << "Elements:";
        for (const auto& element : container)
            std::cout << ' ' << element;
        std::cout << '\n';
    }
}
int main()
{
    std::vector<int> c = {1, 2, 3};
    print(c);
    c.clear();
    print(c);
    int array[] = {4, 5, 6};
    print(array);
    auto il = {7, 8, 9};
    print(il);
}

Вывод:

Elements: 1 2 3
Empty
Elements: 4 5 6
Elements: 7 8 9

Отчёт о дефектах

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

DR Применено к Поведение в опубликованной версии Корректное поведение
P3016R6 C++17 1) не являющаяся членом перегрузка std::empty была предоставлена для std::initializer_list
2) std::empty не требовалось распространять спецификацию исключений
1) удалена
2) требуется

Смотрите также

проверяет, является ли диапазон пустым
(объект точки кастомизации)