Namespaces
Variants

std::empty

De es.cppreference.net
 
 
Biblioteca de iteradores
Conceptos de iteradores
Primitivas de iterador
Conceptos y utilidades de algoritmos
Conceptos invocables indirectos
Requisitos comunes de algoritmos
(C++20)
(C++20)
(C++20)
Utilidades
(C++20)
Adaptadores de iterador
Acceso a rangos
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
Definido en el encabezado <array>
Definido en el encabezado <deque>
(since C++23)<flat_map>
 Definido en el encabezado
(since C++23)<flat_set>
 Definido en el encabezado
Definido en el encabezado <forward_list>
Definido en el encabezado <inplace_vector>
 (since C++26)
Definido en el encabezado <iterator>
Definido en el encabezado <list>
Definido en el encabezado <map>
Definido en el encabezado <optional>
 (since C++26)
Definido en el encabezado <regex>
Definido en el encabezado <set>
Definido en el encabezado <span>
 (since C++20)
Definido en el encabezado <stacktrace>
 (since C++23)
Definido en el encabezado <string>
Definido en el encabezado <string_view>
Definido en el encabezado <unordered_map>
Definido en el encabezado <unordered_set>
Definido en el encabezado <valarray>
Definido en el encabezado <vector>
template< class C >
constexpr auto empty( const C& c ) noexcept(noexcept(c.empty()))
    -> decltype(c.empty());
(1) (since C++17)
template< class T, std::size_t N >
constexpr bool empty( const T (&array)[N] ) noexcept;
(2) (since C++17)

Devuelve si el rango dado está vacío.

1) Devuelve c.empty().
2) Devuelve false.

Parámetros

c - un contenedor o vista con una función miembro empty
array - un array de tipo arbitrario
il - un std::initializer_list

Valor de retorno

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

Excepciones

1) Puede lanzar excepciones definidas por la implementación.

Notas

La sobrecarga para std::initializer_list es necesaria porque no tiene una función miembro empty .

Macro de prueba de características Valor Estándar Característica
__cpp_lib_nonmember_container_access 201411L (C++17) std::size() , std::data() , y std::empty()

Implementación posible

Primera versión
template<class C>
[[nodiscard]] constexpr auto empty(const C& c) -> decltype(c.empty())
{
    return c.empty();
}
Segunda versión
template<class T, std::size_t N>
[[nodiscard]] constexpr bool empty(const T (&array)[N]) noexcept
{
    return false;
}
Tercera versión
template<class E>
[[nodiscard]] constexpr bool empty(std::initializer_list<E> il) noexcept
{
    return il.size() == 0;
}

Ejemplo

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

Salida:

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

Informe de defectos

Los siguientes informes de defectos que cambian el comportamiento se aplicaron retroactivamente a estándares C++ previamente publicados.

DR Aplicado a Comportamiento según se publicó Comportamiento correcto
P3016R6 C++17 1) la sobrecarga no miembro std::empty se proporcionó para std::initializer_list
2) std::empty no requería propagar la especificación de excepción
1) eliminada
2) requerida

Véase también

verifica si un rango está vacío
(objeto de punto de personalización)