16
Library introduction
[library]
16.4
Library-wide requirements
[requirements]
16.4.4
Requirements on types and expressions
[utility.requirements]
16.4.4.2
Template argument requirements
[utility.arg.requirements]
Table 35 —
Cpp17Destructible
requirements
[tab:cpp17.destructible]
🔗
Expression
Post-condition
🔗
a
.
~
T
(
)
No exception is propagated
.
🔗
[
Note
3
:
Array types and non-object types are not
Cpp17Destructible
.
—
end note
]