std:: is_empty

std::is_empty est un UnaryTypeTrait .

Si T est un type vide (c'est-à-dire un type classe non-union sans membres de données non statiques autres que des champs de bits de taille 0, sans fonctions virtuelles, sans classes de base virtuelles et sans classes de base non vides), fournit la constante membre value égale à true . Pour tout autre type, value est false .

Si T est un type de classe non-union incomplet, le comportement est indéfini.

Si le programme ajoute des spécialisations pour std::is_empty ou std::is_empty_v , le comportement est indéfini.

Paramètres du modèle

Modèle de variable d'assistance

Notes

L'héritage de classes de base vides n'augmente généralement pas la taille d'une classe grâce à l'optimisation des classes de base vides .

std::is_empty<T> et tous les autres traits de type sont des classes vides.

Exemple

#include <iostream>
#include <type_traits>
struct A {};
static_assert(std::is_empty_v<A> == true);
struct B { int m; };
static_assert(std::is_empty_v<B> == false);
struct C { static int m; };
static_assert(std::is_empty_v<C> == true);
struct D { virtual ~D(); };
static_assert(std::is_empty_v<D> == false);
union E {};
static_assert(std::is_empty_v<E> == false);
struct F { [[no_unique_address]] E e; };
struct G
{
    int:0;
    // C++ standard allow "as a special case, an unnamed bit-field with a width of zero
    // specifies alignment of the next bit-field at an allocation unit boundary.
    // Only when declaring an unnamed bit-field may the width be zero."
};
static_assert(std::is_empty_v<G>); // holds only unnamed bit-fields of zero width
int main()
{
    std::cout << std::boolalpha;
    std::cout << "F: " << std::is_empty_v<F> << '\n'; // the result is ABI-dependent
}

F: true

Rapports de défauts

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

Voir aussi