Namespaces
Variants

    std::empty

    Von de.cppreference.net
     
    C++
     
    Iterator-Bibliothek
    Iterator-Konzepte
    Iterator-Primitive
    Algorithmus-Konzepte und Dienstprogramme
    Indirekt aufrufbare Konzepte
    Allgemeine Algorithmusanforderungen
    (C++20)
    (C++20)
    (C++20)
    Dienstprogramme
    (C++20)
    Iterator-Adapter
    Bereichszugriff
    (C++11)(C++14)
    (C++14)(C++14)  
    (C++11)(C++14)
    (C++14)(C++14)  
    (C++17)(C++20)
    (C++17)
    (C++17)
     
    Definiert in Header <array>
    Definiert in Header <deque>
    Definiert in Header <flat_map>
     (seit C++23)
    Definiert in Header <flat_set>
     (seit C++23)
    Definiert in Header <forward_list>
    Definiert in Header <inplace_vector>
     (seit C++26)
    Definiert in Header <iterator>
    Definiert in Header <list>
    Definiert in Header <map>
    Definiert in Header <optional>
     (seit C++26)
    Definiert in Header <regex>
    Definiert in Header <set>
    Definiert in Header <span>
     (seit C++20)
    Definiert in Header <stacktrace>
     (seit C++23)
    Definiert in Header <string>
    Definiert in Header <string_view>
    Definiert in Header <unordered_map>
    Definiert in Header <unordered_set>
    Definiert in Header <valarray>
    Definiert in Header <vector> 
    template< class C >
constexpr auto empty( const C& c ) noexcept(noexcept(c.empty()))
    -> decltype(c.empty());
    		(1) (seit C++17) 
    template< class T, std::size_t N >
constexpr bool empty( const T (&array)[N] ) noexcept;
    		(2) (seit C++17)

    Gibt zurück, ob der angegebene Bereich leer ist.

    1) Gibt c.empty() zurück.
    2) Gibt false zurück.

    Parameter

    c - ein Container oder View mit einer empty Memberfunktion
    array - ein Array beliebigen Typs
    il - eine std::initializer_list

    Rückgabewert

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

    Exceptions

    1) Kann implementierungsdefinierte Ausnahmen werfen.

    Hinweise

    Die Überladung für std::initializer_list ist notwendig, da sie keine Memberfunktion empty besitzt.

    Feature-Test Makro Wert Standard Funktion
    __cpp_lib_nonmember_container_access 201411L (C++17) std::size() , std::data() und std::empty()

    Mögliche Implementierung

    Erste Version 
    template<class C>
[[nodiscard]] constexpr auto empty(const C& c) -> decltype(c.empty())
{
    return c.empty();
}
    Zweite Version 
    template<class T, std::size_t N>
[[nodiscard]] constexpr bool empty(const T (&array)[N]) noexcept
{
    return false;
}
    Dritte Version 
    template<class E>
[[nodiscard]] constexpr bool empty(std::initializer_list<E> il) noexcept
{
    return il.size() == 0;
}

    Beispiel

    Diesen Code ausführen 
    #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);
}

    Ausgabe: 

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

    Fehlerbericht

    Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

    DR Angewendet auf Verhalten wie veröffentlicht Korrektes Verhalten
    P3016R6 C++17 1) Nicht-Mitglied std::empty Überladung wurde für std::initializer_list
    2) std::empty war nicht erforderlich, die Ausnahmespezifikation weiterzugeben     		1) Entfernt
    2) Erforderlich

    Siehe auch

    (C++20)
    		prüft, ob ein Bereich leer ist
    (Anpassungspunktobjekt)