Namespaces
Variants

std::empty

De fr.cppreference.net
 
 
Bibliothèque d'itérateurs
Concepts d'itérateur
Primitives d'itérateur
Concepts et utilitaires d'algorithme
Concepts d'appel indirect
Exigences d'algorithme communes
(C++20)
(C++20)
(C++20)
Utilitaires
(C++20)
Adaptateurs d'itérateur
Accès aux plages
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
Défini dans l'en-tête <array>
Défini dans l'en-tête <deque>
Défini dans l'en-tête <flat_map>
 (depuis C++23)
Défini dans l'en-tête <flat_set>
 (depuis C++23)
Défini dans l'en-tête <forward_list>
Défini dans l'en-tête <inplace_vector>
 (depuis C++26)
Défini dans l'en-tête <iterator>
Défini dans l'en-tête <list>
Défini dans l'en-tête <map>
Défini dans l'en-tête <optional>
 (depuis C++26)
Défini dans l'en-tête <regex>
Défini dans l'en-tête <set>
Défini dans l'en-tête <span>
 (depuis C++20)
Défini dans l'en-tête <stacktrace>
 (depuis C++23)
Défini dans l'en-tête <string>
Défini dans l'en-tête <string_view>
Défini dans l'en-tête <unordered_map>
Défini dans l'en-tête <unordered_set>
Défini dans l'en-tête <valarray>
Défini dans l'en-tête <vector>
template< class C >
constexpr auto empty( const C& c ) noexcept(noexcept(c.empty()))
    -> decltype(c.empty());
(1) (depuis C++17)
template< class T, std::size_t N >
constexpr bool empty( const T (&array)[N] ) noexcept;
(2) (depuis C++17)

Retourne si la plage donnée est vide.

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

Paramètres

c - un conteneur ou une vue avec une fonction membre empty
array - un tableau de type arbitraire
il - un std::initializer_list

Valeur de retour

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

Exceptions

1) Peut lever des exceptions définies par l'implémentation.

Notes

La surcharge pour std::initializer_list est nécessaire car elle ne possède pas de fonction membre empty .

Macro de test de fonctionnalité Valeur Std Fonctionnalité
__cpp_lib_nonmember_container_access 201411L (C++17) std::size() , std::data() , et std::empty()

Implémentation possible

Première version
template<class C>
[[nodiscard]] constexpr auto empty(const C& c) -> decltype(c.empty())
{
    return c.empty();
}
Deuxième version
template<class T, std::size_t N>
[[nodiscard]] constexpr bool empty(const T (&array)[N]) noexcept
{
    return false;
}
Troisième version
template<class E>
[[nodiscard]] constexpr bool empty(std::initializer_list<E> il) noexcept
{
    return il.size() == 0;
}

Exemple

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

Sortie :

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

Rapport de défaut

Les rapports de défaut suivants modifiant le comportement ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Appliqué à Comportement tel que publié Comportement correct
P3016R6 C++17 1) une surcharge non membre de std::empty était fournie pour std::initializer_list
2) std::empty n'était pas tenu de propager la spécification d'exception
1) supprimé
2) requis

Voir aussi

vérifie si une plage est vide
(objet de point de personnalisation)