C++ named requirements: Destructible

Spécifie qu'une instance du type peut être détruite.

Exigences

Le type T satisfait Destructible si

Étant donné

• u , une expression de type T .

Les expressions suivantes doivent être valides et avoir leurs effets spécifiés.

Expression	Post-conditions
u.~T ( )	Toutes les ressources détenues par u sont récupérées, aucune exception n'est levée.

Notes

Les destructeurs sont appelés implicitement à la fin de la durée de vie de l'objet , par exemple lors de la sortie d'une portée ou par l' expression delete . L'appel explicite du destructeur comme indiqué dans le tableau des exigences de type est rare.

Grâce à l'appel au pseudo-destructeur , tous les types scalaires satisfont à l'exigence Destructible , tandis que les types tableau et les types référence ne le font pas. Notez que std::is_destructible autorise les types tableau et référence.

Voir aussi

is_destructible is_trivially_destructible is_nothrow_destructible (C++11) (C++11) (C++11)	vérifie si un type a un destructeur non supprimé (modèle de classe)
destructible (C++20)	spécifie qu'un objet du type peut être détruit (concept)