std::is_standard_layout
| Определено в заголовочном файле <type_traits>
|
||
template< class T > struct is_standard_layout; |
(начиная с C++11) | |
Если T тип со стандартной компоновкой (скалярные типы, классы со стандартной компоновкой или массивы с такими объектами, включая их варианты с возможными cv-квалификаторами), то предоставляет константу-член value, которая будет равна true. Для всех остальных типов она будет равна false.
Класс со стандартной компоновкой - это такой класс, который удовлетворяет требованиям концепта StandardLayoutType.
Поведение будет не определено, если std::remove_all_extents_t<T> является неполным типом и не (с возможными cv-квалификаторами) void.
Аргументы шаблона
| T | — | Тип для проверки |
Вспомогательная шаблонная переменная
<tbody> </tbody> template< class T > constexpr bool is_standard_layout_v = is_standard_layout<T>::value; |
(начиная с C++17) | |
Унаследован от std::integral_constant
Константы элементы
value [static] |
true, если T является типом со стандартной компоновкой , false иначе (public static константа-элемент) |
Функции-элементы
operator bool |
преобразует объект в bool, возвращает value (public функция-элемент) |
operator() (C++14) |
возвращает value (public функция-элемент) |
Типы элементы
| Тип | Определение |
value_type
|
bool
|
type
|
std::integral_constant<bool, value>
|
Примечание
Указатель на класс со стандартной компоновкой может быть преобразован (с помощью reinterpret_cast) в указатель на его первый нестатический член с данными и наоборот.
Если объединение со стандартной компоновкой содержит в себе два или более структур со стандартной компоновкой, то разрешено получить доступ к общей для них начальной части.
Макрос offsetof может быть применён только для классов со стандартной компоновкой.
Пример
#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
См. также
(C++11) |
проверяет, можно ли тривиально скопировать тип (шаблон класса) |
(C++11)(устарело в C++20) |
проверяет, является ли тип типом данных с простой структурой (POD) (шаблон класса) |
| смещение в байтах от начала типа со стандартной компоновкой до указанного элемента (функция-макрос) | |
(ТС основ библиотеки) |
Шаблонная переменная, являющая псевдонимом для std::is_standard_layout::value (шаблонная переменная) |