C++ именованные требования:StandardLayoutType(начиная с C++11)

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Именованные требования в C++

Основные
DefaultConstructible CopyAssignable	CopyConstructible MoveAssignable (C++11)	MoveConstructible (C++11) Destructible
Свойства типа
ScalarType TriviallyCopyable (C++11)	StandardLayoutType (C++11) PODType	TrivialType (C++11) ImplicitLifetimeType
В масштабах библиотеки
EqualityComparable LessThanComparable Swappable ValueSwappable (C++11)	NullablePointer (C++11) Hash (C++11) Allocator FunctionObject	Callable Predicate BinaryPredicate Compare
Контейнер
Container SequenceContainer ContiguousContainer (C++17)	ReversibleContainer AssociativeContainer AllocatorAwareContainer	UnorderedAssociativeContainer (C++11)
Элементы контейнера
DefaultInsertable (C++11) CopyInsertable (C++11)	MoveInsertable (C++11) EmplaceConstructible (C++11)	Erasable (C++11)
Итератор
LegacyIterator LegacyOutputIterator LegacyInputIterator	LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator	LegacyContiguousIterator (C++17) ConstexprIterator (C++20)
Потоковый Ввод/Вывод
FormattedInputFunction UnformattedInputFunction	FormattedOutputFunction	UnformattedOutputFunction
Форматтеры
BasicFormatter (C++20)	Formatter (C++20)
Случайные Числа
SeedSequence (C++11) RandomNumberEngine (C++11)	RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11)	RandomNumberEngineAdaptor (C++11)
Конкуренция
BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11)	SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11)	TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14)
Диапазоны
RangeAdaptorObject (C++20)	RangeAdaptorClosureObject (C++20)
Другое
CharTraits RegexTraits (C++11) BitmaskType LiteralType (C++11)	NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11)	Clock (C++11) TrivialClock (C++11)

 

Указывает, что тип имеет стандартную компоновку. Типы со стандартной компоновкой удобны при взаимодействии с кодом, написанном на другом языке.

Примечание: стандарт не определяет именованное требование с таким именем. Это категория типов, определяемая базовым языком. Оно включено здесь как именованное требование только для согласованности.

Требования

• Все нестатичные методы класса имеют одинаковый контроль доступа
• Не имеет виртуальных функций и виртуального базового класса
• Не имеет нестатичных членов - ссылок.
• Все нестатичные члены и базовые классы сами по себе имеют стандартную компоновку
• Не имеет двух (возможно непрямых) базовых классов наследующих от одного и того-же типа

struct Q {};struct S : Q {};struct T : Q {};struct U : S, T {};// класс с нестандартной компоновкой: два базовых класса типа Q

• Все нестатические элементы данных и битовые поля объявлены в одном классе (либо все в производном, либо все в некотором базовом)

struct B {int i;};// класс со стандартной компоновкойstruct C : B {};// класс со стандартной компоновкойstruct D : C {};// класс со стандартной компоновкойstruct E : D {char:4;};// класс с нестандартной компоновкой

• Ни один из наследников базового класса не имеет того же типа, что

• для не объединенных типов в качестве первого нестатического элемента данных (см. cpp/language/ebo) и, рекурсивно, первого нестатического элемента данных этого элемента данных, если он имеет тип класса, не являющийся объединением, или все нестатические элементы данных этого члена данных, если он имеет тип объединения, или элемент этого члена данных, если он имеет тип массива и т. д.
• для типов объединения, как любые нестатические элементы данных, и, рекурсивно, первый нестатический элемент данных каждого члена типа класса, не являющегося объединением, и все нестатические элементы данных всех членов типа объединения, и тип элемента всех нестатических членов данных типа массива и т. д.
• для типов массивов, как тип элемента массива и, рекурсивно, первый нестатический элемент данных элемента массива, если он имеет тип класса, не являющийся объединением, или как любой нестатический член данных элемента массива если он имеет тип объединения или как тип элемента элемента массива, если он имеет тип массива и т. д.

Свойства

Смотри Стандартная компоновка.

Отчеты о неисправностях

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
CWG 1672	C++11	first non-static data member rule ignored existence of empty base classes	first non-static data member rule made recursive
CWG 1813	C++11	класс, с членом, определенном в непрямом базовом классе технически не имеют стандартной компоновки	все объявления типов должны быть в одном классе
CWG 2120	C++11	массив как первый член класса не подразумевался когда сравнительно с первым элементом с типом базового класса	члены массива подразумеваются

Смотри также

is_standard_layout (C++11)

проверяет, является ли тип типом со стандартной компоновкой (шаблон класса)