std:: is_layout_compatible

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

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

Если T или U не являются полными типами, (возможно, cv-квалифицированным) void , или массивом неизвестной границы, поведение не определено.

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

Если программа добавляет специализации для std::is_layout_compatible или std::is_layout_compatible_v , поведение не определено.

Шаблон вспомогательной переменной

Примечания

Знаковый целочисленный тип и его беззнаковый аналог не являются совместимыми по размещению. char не является совместимым по размещению ни с signed char , ни с unsigned char .

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

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

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

Пример

#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 // Примечание [1]
);
// [1] MSVC ошибочно не проходит эту проверку
int main() {}

Смотрите также