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

 

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 удовлетворяет Destructible если

Дано

• u, выражение типа T

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

Выражение	Постусловия
u.~T()	Все ресурсы, которым владел u освобождены при это не выбрасывая исключений.

Заметки

Деструкторы вызываются неявно в конце object lifetime, а также при выходе за пределы scope или с помощьюdelete-expression. Внешний деструктор как было показано в таблице требований типа встречается редко.

Спасибо pseudo destructor call, все скалярные типы удовлетворяют требованию Destructible, в то время, как массивы и ссылки нет. Не забывайте, что выражению std::is_destructible также соответствуют массивы и ссылки.

Смотри также

is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)	проверяет, есть ли у типа неудалённый деструктор (шаблон класса)
destructible (C++20)	указывает, что объект данного типа может быть уничтожен (концепт)