名前付き要件: Destructible

その型のインスタンスが破棄可能であることを指定します。

以下の内容を満たす場合、型 T は Destructible を満たします。

が与えられたとき、以下の式が有効でなければならず、指定された効果を持たなければなりません。

式	事後条件
`u.~T()`	`u` の所有するすべてのリソースが回収され、例外を投げない。

デストラクタはスコープを抜けるときや delete 式などでオブジェクトの生存期間が終了するときに暗黙に呼ばれます。この型要件の表で示されているような明示的なデストラクタ呼び出しは稀です。

擬似デストラクタ呼び出しのおかげで、すべてのスカラー型は Destructible の要件を満たしますが、配列型や参照型はそうではありません。 std::is_destructible は配列や参照型を許容することに注意してください。