std::is_layout_compatible

template< class T, class U >
struct is_layout_compatible;

Если T и U являются совместимыми по расположению типами, предоставляет член-константу value равную true. В противном случае value имеет значение false.

Каждый тип совместим по расположению со своими любыми квалифицированными версиями, даже если это не тип объекта.

T и U должны быть полными типами (возможно, квалифицированными), void или массивом неизвестной длины. В противном случае поведение не определено.

Если экземпляр шаблона выше зависит, прямо или косвенно, от неполного типа, и этот экземпляр мог бы дать другой результат, если бы этот тип был гипотетически завершен, поведение не определено.

Поведение программы, добавляющей специализации для std::is_layout_compatible или std::is_layout_compatible_v не определено.

Вспомогательный шаблон переменной

template< class T, class U >
inline constexpr bool is_layout_compatible_v = is_layout_compatible<T, U>::value;

Примечания

Целый тип со знаком и его беззнаковый аналог не совместимы по расположению. char совместим ни с signed char, ни с unsigned char.

Похожие типы не совместимы по расположению, если они не являются одним и тем же типом после игнорирования квалификаций cv верхнего уровня.

Тип перечисления и его базовый тип не совместимы по расположению.

Типы массивов, имеющие совместимые по расположению, но разные типы элементов (после игнорирования cv-квалификаций) не совместимы по расположению, даже если они имеют одинаковую длину.

Пример

#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 // Note [1]
);
 
// [1] MSVC erroneously fails this assert
 
int main() {}

См. также