std::is_standard_layout

std::is_standard_layout es un UnaryTypeTrait.

Si T es un tipo con diseño estándar (es decir, un tipo escalar, una clase con diseño estándar, o un array de tal tipo o clase, posiblemente calificado-cv), proporciona la constante miembro value igual a true. Para cualquier otro tipo, value es false.

Una clase con diseño estándar es una clase que satisface a StandardLayoutType.

El comportamiento está indefinido si std::remove_all_extents_t<T> es un tipo incompleto y no (posiblemente calificado-cv) void.

El comportamiento de un programa que añade especializaciones para is_standard_layout o is_standard_layout_v (desde C++17) no está definido.

Parámetros de plantilla

Plantilla de variable auxiliar

Notas

Un puntero a una clase con diseño estándar puede convertirse (con reinterpret_cast) a un puntero a su primer dato miembro no estático y viceversa.

Si una unión con diseño estándar alberga dos o más estructuras con diseño estándar, se le permite inspeccionar la parte inicial común de ellas.

Se garantiza que la macro offsetof sea utilizable solamente con clases con diseño estándar.

Ejemplo

#include <iostream>
#include <type_traits>

struct A {
    int m;
};

struct B {
    int m1;
private:
    int m2;
};

struct C {
    virtual void foo();
};

int main()
{
    std::cout << std::boolalpha;
    std::cout << std::is_standard_layout<A>::value << '\n';
    std::cout << std::is_standard_layout<B>::value << '\n';
    std::cout << std::is_standard_layout<C>::value << '\n';
}

true
false
false

Véase también