Namespaces
Variants

std:: empty

From cppreference.net
C++
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
empty
(C++17)
(C++17)
Определено в заголовке <array>
Определено в заголовке <deque>
Определено в заголовке <flat_map>
Определено в заголовке <flat_set>
Определено в заголовке <forward_list>
Определено в заголовке <inplace_vector>
Определено в заголовке <iterator>
Определено в заголовке <list>
Определено в заголовке <map>
Определено в заголовке <regex>
Определено в заголовке <set>
Определено в заголовке <span>
Определено в заголовке <string>
Определено в заголовке <string_view>
Определено в заголовке <unordered_map>
Определено в заголовке <unordered_set>
Определено в заголовке <vector>
template < class C >
constexpr auto empty ( const C & c ) - > decltype ( c. empty ( ) ) ;
(1) (начиная с C++17)
template < class T, std:: size_t N >
constexpr bool empty ( const T ( & array ) [ N ] ) noexcept ;
(2) (начиная с C++17)
template < class E >
constexpr bool empty ( std:: initializer_list < E > il ) noexcept ;
(3) (начиная с C++17)

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

1) Возвращает c. empty ( ) .
2) Возвращает false .
3) Возвращает il. size ( ) == 0 .

Содержание

Параметры

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++20)
проверяет, является ли диапазон пустым
(объект точки кастомизации)