std:: is_empty

std::is_empty es un UnaryTypeTrait .

Si T es un tipo vacío (es decir, un tipo de clase no unión sin miembros de datos no estáticos aparte de campos de bits de tamaño 0, sin funciones virtuales, sin clases base virtuales y sin clases base no vacías), proporciona la constante miembro value igual a true . Para cualquier otro tipo, value es false .

Si T es un tipo de clase no unión incompleto, el comportamiento es indefinido.

Si el programa añade especializaciones para std::is_empty o std::is_empty_v , el comportamiento es indefinido.

Parámetros de plantilla

Plantilla de variable auxiliar

Notas

Heredar de clases base vacías generalmente no aumenta el tamaño de una clase debido a la optimización de base vacía .

std::is_empty<T> y todos los demás rasgos de tipo son clases vacías.

Ejemplo

#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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también