#
The
destructible
concept specifies properties of all types, instances of which can be destroyed at the end of their lifetime, or reference types
.
🔗
template
<
class
T
>
concept
destructible
=
is_
nothrow_
destructible_
v
<
T
>
;
2
#
[
Note
1
:
Unlike the
Cpp17Destructible
requirements (Table
35
), this concept forbids destructors that are potentially throwing, even if a particular invocation of the destructor does not actually throw
.
—
end note
]