C++ concepts: Destructible
From cppreference.com
Specifies that an instance of the type can be destructed.
[edit] Requirements
The type T satisfies Destructible if
Given
-
u, a expression of typeT
The following expressions must be valid and have their specified effects
| Expression | Post-conditions |
|---|---|
| u.~T() | All resources owned by u are reclaimed, no exceptions are thrown.
|
[edit] Notes
Destructors are called implicitly at the end of object lifetime such as when leaving scope or by the delete-expression. Explicit destructor call as shown in the type requirement table is rare.
[edit] See also
| (C++11)(C++11)(C++11) |
checks if a type has a non-deleted destructor (class template) |