std:: destructible

Определено в заголовке <concepts>
template < class T > concept destructible = std:: is_nothrow_destructible_v < T > ;		(начиная с C++20)

Концепт destructible определяет требования ко всем типам, экземпляры которых могут быть безопасно уничтожены по окончании времени их жизни (включая ссылочные типы).

Примечания

В отличие от Destructible именованного требования, std::destructible требует, чтобы деструктор был noexcept ( true ) , а не просто не генерировал исключения при вызове, и допускает ссылочные типы и массивы.

Ссылки

Смотрите также

is_destructible is_trivially_destructible is_nothrow_destructible (C++11) (C++11) (C++11)

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