|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||
Defined in header <concepts> | ||
template<class T> concept destructible=std::is_nothrow_destructible_v<T>; | (since C++20) | |
The conceptdestructible specifies the concept of all types whose instances can safely be destroyed at the end of their lifetime (including reference types).
Unlike theDestructible named requirement,std::destructible requires the destructor to benoexcept(true), not merely non-throwing when invoked, and allows reference types and array types.
destructible [concept.destructible] destructible [concept.destructible] (C++11)(C++11)(C++11) | checks if a type has a non-deleted destructor (class template)[edit] |