std:: is_layout_compatible

Si T y U son tipos layout-compatibles , proporciona la constante miembro value igual a true . De lo contrario, value es false .

Cada tipo es compatible de diseño con cualquiera de sus versiones calificadas cv, incluso si no es un tipo objeto.

Si T o U no es un tipo completo, (posiblemente calificado con cv) void , o un array de límite desconocido, el comportamiento es indefinido.

Si una instanciación de una plantilla anterior depende, directa o indirectamente, de un tipo incompleto, y esa instanciación podría producir un resultado diferente si ese tipo se completara hipotéticamente, el comportamiento no está definido.

Si el programa añade especializaciones para std::is_layout_compatible o std::is_layout_compatible_v , el comportamiento no está definido.

Plantilla de variable auxiliar

Notas

Un tipo entero con signo y su contraparte sin signo no son compatibles en diseño. char no es compatible en diseño ni con signed char ni con unsigned char .

Tipos similares no son compatibles en diseño si no son el mismo tipo después de ignorar la calificación cv de nivel superior.

Un tipo de enumeración y su tipo subyacente no son compatibles en diseño.

Los tipos de array que son layout-compatible pero tienen tipos de elemento diferentes (ignorando cv-qualification) no son layout-compatible, incluso si tienen la misma longitud.

Ejemplo

#include <iomanip>
#include <iostream>
#include <type_traits>
struct Foo
{
    int x;
    char y;
};
struct FooNua
{
    int x;
    [[no_unique_address]] char y;
};
class Bar
{
    const int u = 42;
    volatile char v = '*';
};
enum E0 : int {};
enum class E1 : int {};
static_assert
(
    std::is_layout_compatible_v<const void, volatile void> == true  and
    std::is_layout_compatible_v<Foo, Bar>                  == true  and
    std::is_layout_compatible_v<Foo[2], Bar[2]>            == false and
    std::is_layout_compatible_v<int, E0>                   == false and
    std::is_layout_compatible_v<E0, E1>                    == true  and
    std::is_layout_compatible_v<long, unsigned long>       == false and
    std::is_layout_compatible_v<char*, const char*>        == false and
    std::is_layout_compatible_v<char*, char* const>        == true  and
    std::is_layout_compatible_v<Foo, FooNua>               == false // Nota [1]
);
// [1] MSVC falla erróneamente en esta aserción
int main() {}

Véase también