[tab:cpp17.destructible] (original) (raw)
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 32: Cpp17Destructible requirements [tab:cpp17.destructible]
| 🔗 | Expression | Post-condition |
|---|---|---|
| 🔗 | u.~T() | All resources owned by u are reclaimed, no exception is propagated. |
| 🔗 | [Note 3: Array types and non-object types are not Cpp17Destructible. — _end note_] |