C++ concepts: Destructible

From cppreference.com
< cpp‎ | concept

Specifies that an instance of the type can be destructed.

[edit] Requirements

The type T satisfies Destructible if


  • u, a expression of type T

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

checks if a type has a non-deleted destructor
(class template)