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

 

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)

 

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

Требования

Тип T удовлетворяет DefaultConstructible если

Дан

• u, произвольный идентификатор

Следующие выражения должны быть допустимыми и иметь указанные эффекты

Выражение	Постусловие
T u	Объект u является default-initialized
T u{}	Объект u является value-initialized или aggregate-initialized.
T() T{}	Временный объект типа T является value-initialized или aggregate-initialized.

===Заметки

=

Для объектов, принадлежащих классу не агрегатного типа, публичный default constructor должен быть определен (либо определяемый пользователем, либо неявно определенный) чтобы удовлетворить DefaultConstructible.

Не константные объекты типа non-class object type всегда DefaultConstructible.

Константные типы не относящиеся к классам не являются DefaultConstructible.

Константные агрегатные типы не являются DefaultConstructible если любой из их членов является объектом не относящимся к классам.

Не объектные типы (функции, ссылки, и (возможно cv-квалифицированный) тип void) так-же как и константные не объектные типы никогда не являются DefaultConstructible

Смотри также

is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)	проверяет, есть ли у типа конструктор по умолчанию (шаблон класса)
default_initializable (C++20)	указывает, что объект типа может быть сконструирован по умолчанию (концепт)