std::is_standard_layout

template< class T >
struct is_standard_layout;

std::is_standard_layout — это UnaryTypeTrait.

Если T — это тип со стандартной компоновкой, предоставляет член-константу value равную true. Для любого другого типа, value равно false.

Если std::remove_all_extents_t<T> является неполным типом и не является (возможно, с квалификаторами cv) void, поведение не определено.

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

Параметры шаблона

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

template< class T >
inline constexpr bool is_standard_layout_v = is_standard_layout<T>::value;

Примечания

Указатель на класс со стандартной компоновкой может быть преобразован (с помощью reinterpret_cast) в указатель на его первый нестатический член данных и наоборот.

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

Макрос offsetof гарантированно используется только с классами со стандартной компоновкой.

Пример

#include <type_traits>
 
struct A { int m; };
static_assert(std::is_standard_layout_v<A> == true);
 
class B: public A { int m; };
static_assert(std::is_standard_layout_v<B> == false);
 
struct C { virtual void foo(); };
static_assert(std::is_standard_layout_v<C> == false);
 
int main() {}

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также